Module and integration verifications for function block-based safety-related system development

Safety-related system development is now standardised in some international standards such as IEC 61508, DIN V19250, ANSI/ISA s84.01. For safety-related industrial applications, we propose using function block concept to facilitate system specification and verification testing. In This work, an idea of verifying function block modules and module integration is to transform modules (basic function block) and their integration into FSMs, thus some FSM-based testing and model checking methods can be applicable.