Formalised specification of a test tool for safety related communication

Today's plants are equipped with decentralised automation systems. In these plants, industrial communication between the devices is required. Reliable communication standards ensure the exchange of information. To guarantee the correct implementation of the underlying communication standards, the communication interfaces of automation devices have to be checked using conformance and interoperability tests. This paper describes a formalised and continuous development process of a test tool used for conformance tests for safety communication interfaces. The application of this tool implies the test of the PROFIsafe profile for PROFIBUS DP and PROFINET 10.

[1]  Ian Sommerville,et al.  A Dependability Model for Domestic Systems , 2003, SAFECOMP.

[2]  T. Novak,et al.  Architecture of a Safe Node for a Fieldbus System , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[3]  Savio N. Chau.  Fault injection boundary scan design for verification of fault tolerant systems , 1994, Proceedings., International Test Conference.

[4]  Jacob A. Abraham,et al.  Efficient Algorithms for Testing Semiconductor Random-Access Memories , 1978, IEEE Transactions on Computers.

[5]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[6]  Henrique Madeira,et al.  Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..

[7]  Daniel P. Siewiorek,et al.  FIAT-fault injection based automated testing environment , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[8]  Thomas Grechenig,et al.  Software Engineering - mit UML und dem Unified Process (2. Aufl.) , 2004 .

[9]  W. Granzer,et al.  Security in networked building automation systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.

[10]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[11]  Brian Randell,et al.  Fundamental Concepts of Dependability , 2000 .

[12]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[13]  Jonathan D. Moffett,et al.  The Integration of Safety and Security Requirements , 1999, SAFECOMP.

[14]  William Stallings,et al.  Cryptography and network security , 1998 .

[15]  Jacob A. Abraham,et al.  FERRARI: a tool for the validation of system dependability properties , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[16]  Christian Schwaiger,et al.  Smart card based security for fieldbus systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[17]  Ieee Standard Test Access Port and Boundary-scan Architecture Ieee-sa Standards Board , 2001 .

[18]  K.C. Tan,et al.  Software testing for safety critical applications , 2005, IEEE Instrumentation & Measurement Magazine.

[19]  A. Treytl,et al.  Practical issues on key distribution in power line networks , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[20]  Andrew C. Simpson,et al.  Safety through security , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[21]  Bruno Dutertre,et al.  From security to safety and back , 1998, Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).

[22]  Gary Stoneburner.  Toward a Unified Security-Safety Model , 2006, Computer.