Formalised specification of a test tool for safety related communication

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2007, Pages 38-44

  Mühlhause, Mathias ^a   Diedrich, Christian ^a   Riedl, Matthias ^b   Schmidt, Daniel ^b  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b Institut F Automation und Kommunikation Magdeburg   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION DEVICES; AUTOMATION SYSTEMS; COMMUNICATION INTERFACES; COMMUNICATION STANDARDS; CONFORMANCE TESTS; DEVELOPMENT PROCESSES; EXCHANGE OF INFORMATIONS; INDUSTRIAL COMMUNICATIONS; INTEROPERABILITY TESTS; PROFIBUS; PROFINET; RELIABLE COMMUNICATIONS; TEST TOOLS;

AUTOMATION; COMMUNICATION; FACTORY AUTOMATION; INTEROPERABILITY; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS; TESTING;

INDUSTRIAL PLANTS;

EID: 47849121010     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EFTA.2007.4416751     Document Type: Conference Paper

References (9)

1. International Standard Organisation/ International Electrotechnical Comission: ISO/IEC 9646 Information technology -Open Systems Interconnection- Conformance testing methodology and framework, 1994
2. International Standard Organisation: ISO/IEC 7498 Open Systems Interconnection Reference Model, 1994
3. PROFIBUS Nutzer Organisation e.V.: PROFIsafe -Profile for Safety Technology, Version 2.0, 2005
4. International Electrotechnical Comission: IEC 61508 Functional safety of electrical/ electronic/ programable electronic safety- related systems, 2002
5. Object Management Group: UML 2.0 Infrastructure Specification, September, 2005
6. Telelogic: http://www.telelogic.de
7. I-Logix Inc.: http://www.ilogix.com
8. Eclipse Community: http://www.eclipse.org
9. International Electrotechnical Comission: IEC 61131: Programmable Controller, 2003-2005