PEARL-Coded Function Block Diagrams — From Language Design to Verification

摘要

Highly safety-critical applications require designated development processes that foster verifiability by design. A constructive method to prevent introducing systematic errors into software is to use simple but expressive language elements. Therefore, this paper defines a fusion of function block diagrams and the real-time programming language PEARL in order to support the development and verification process of highly safety-critical programs.