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

被引：12

作者：

Zhang, W ^{[1
]}

Diedrich, C ^{[1
]}

Halang, WA ^{[1
]}

机构：

[1] Fernuniv, Fac Elect & Comp Engn, Hagen, Germany

来源：

2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS | 2004年

关键词：

D O I：

10.1109/INDIN.2004.1417331

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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 paper, 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.

引用

页码：210 / 215

页数：6