Specification and Verification of Safety- related Automation Applications based on Function Blocks

摘要

The Function Block (FB) paradigm originating in automation engineering is recommended in designing safety-related automation applications, both due to its long tradition in automation practices, and the intrinsic simplicity provided, which is understood to be the very principle to cope with safety problems caused by system complexity. Compared with the object-oriented (OO] approach and the component-based paradigm (e.g., Component-Based Development, CBD in short), the current FB paradigm has many features similar or equal to those of OO and CBD. Based on that, the FB paradigm is enhanced in the V-model development lifecycle to be test-oriented, integration-friendly, and library-based. Supported by the Unified Modelling Language, the book mainly focuses on specification of safety-related applications and corresponding integration testing as an essential verification method.