Title
Formalised specification of a test tool for safety related communication.
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 IO.
Year
DOI
Venue
2007
10.1109/EFTA.2007.4416751
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA
Keywords
Field
DocType
open systems,conformance testing,formal specification,development process
Profibus,Systems engineering,Interoperability,Exchange of information,Automation,Formal specification,Industrial communication,Real-time computing,Engineering,Open system (systems theory),PROFINET
Conference
ISSN
Citations 
PageRank 
1946-0740
1
0.38
References 
Authors
0
4
Name
Order
Citations
PageRank
Mathias Mühlhause121.44
Christian Diedrich27617.15
Matthias Riedl3293.37
Daniel Schmidt410.38