technologies

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

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 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