Title :
Formalised specification of a test tool for safety related communication
Author :
Mühlhause, Mathias ; Diedrich, Christian ; Riedl, Matthias ; Schmidt, Daniel
Author_Institution :
Univ. of Magdeburg, Magdeburg
Abstract :
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.
Keywords :
automatic testing; formal specification; open systems; production engineering computing; PROFIBUS DP; PROFINET 10; PROFIsafe profile; automation devices; communication interfaces; continuous development process; decentralised automation systems; formalised specification; interoperability tests; reliable communication standards; safety related communication; Automatic testing; Communication standards; Communication system control; Control systems; Field buses; ISO standards; Manufacturing automation; Protocols; Safety; System testing;
Conference_Titel :
Emerging Technologies and Factory Automation, 2007. ETFA. IEEE Conference on
Conference_Location :
Patras
Print_ISBN :
978-1-4244-0825-2
Electronic_ISBN :
978-1-4244-0826-9
DOI :
10.1109/EFTA.2007.4416751
