IEEE

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams

Abstract: In the development and verification of safety-critical and safety-related Instrumentation and Control (I&C) systems, it is essential to ensure there is no deviation from the requirements of ...
GitHub

function-block-diagram

Add a description, image, and links to the function-block-diagram topic page so that developers can more easily learn about it.
IEEE

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems

Abstract: Making software dependable is one of most important aspects in safety-critical system such as a nuclear power plant. Dependable programming techniques to get rid of undependable properties, ...
GitHub

StarUML extension AWETA FSMST

FSMST is an StarUML extension that generates IEC 61131-3 Structered Text of a StarUML StateMachine diagram. The generated output is Finite-state machine in the form of a Function Block. The generated ...