Month: February 2015

News on IEC 61499 Technology from SPS/IPC/Drives, Nürnberg: IEC 61499 Booth

|

News on IEC 61499 Technology from SPS/IPC/Drives, Nürnberg: IEC 61499 Booth At the SPS/IPC/Drives automation fair, which is, probably, the largest automation related event in the world, the IEC 61499 is represented by its own booth, sponsored by the commercial vendors of this technology, such as ISaGRAF, NxtControl and Infoteam.The booth is organized and maintained … News on IEC 61499 Technology from SPS/IPC/Drives, Nürnberg: IEC 61499 Booth

Publications on Intelligent Distributed Automation

|

Paper copies are provided on this site in draft versions and for research purposes of individual researchers only. They remain the copyright of their respective copyright holders. E. Demin, S. Patil, V. Dubinin, V. Vyatkin, “IEC 61499 Distributed Control Enhanced with Cloud-based Web-Services”, 10th IEEE International Conference on Industrial Electronics and Applications (ICIEA 2015), June … Publications on Intelligent Distributed Automation

Publications on SmartGrid intelligent automation

|

Paper copies are provided on this site in draft versions and for research purposes of individual researchers only. They remain copyright of their respective copyright holders. G. Zhabelova, C.-W. Yang, V. Vyatkin , “SysGrid: IEC 61850 and IEC 61499 based engineering process for Smart Grid system design”, IEEE Conference on Industrial Informatics (INDIN’13), Bochum, July … Publications on SmartGrid intelligent automation

Selected recent publications

|

SURVEYS V. Vyatkin, Software Engineering in Industrial Automation: State of the Art Review, IEEE Transactions on Industrial Informatics, 9(4), 2013 C.-H. Yang, V. Vyatkin, C. Pang, Model-driven Development of Control Software for Distributed Automation: a Survey and an Approach, IEEE Transactions on Systems, Man and Cybernetics: Systems, 44(3), 2014, pp. 292-305 V. Vyatkin, IEC 61499 … Selected recent publications

FBench – Open Source Tool for IEC 61499 Function Block Design

|

Open Tool for IEC 61499 Function Block Engineering FBench Project is ongoing development of an open-source graphical software tool for embedded automation components and systems based on the IEC61499 standard. The project originates in the OOONEIDA Workbench pioneered by ‘the function block Guru’ Dr. James Christensen in 2005.You can download and start familiarizing yourself with the … FBench – Open Source Tool for IEC 61499 Function Block Design

Software Tools for Formal Verification (Model – checkers)

|

Model – Checkers for Net Condition/Event Systems Net Condition/Event Systems is a formal graphical language that fits well for modelling and verification of distributed embedded and control systems. The models can be formally analysed using special software tools called model-checkers. SESA SESA is a command line software tool for the analysis of Signal-Net Systems. SESA … Software Tools for Formal Verification (Model – checkers)

Visual Framework for Verification of Function Blocks

|

Visual Framework for Verification of Function Blocks Visual Verification Framework is a tool chain for automatic verification of distributed control systems. The tool chain includes: Visual Verifier – a software tool which analyses models of control systems and proves their properties. The tool includes model-checkers capable of verifying properties on the set of reachable states … Visual Framework for Verification of Function Blocks