User: Guest  Login
Title:

Generation of Monitoring Functions in Production Automation Using Test Specifications

Document type:
Konferenzbeitrag
Author(s):
Cha, Suhyun; Ulewicz, Sebastian; Weigl, Alexander; Ulbrich, Mattias; Beckert, Bernhard; Vogel-Heuser, Birgit
Abstract:
High requirements regarding quality are set for automated production systems (aPS) as malfunctions can harm humans or cause severe financial loss. These malfunctions can be caused by faults in the control software of the aPS or its inability to correctly identify and handle unintended situations and errors in the technical process or hardware behavior. To achieve more dependable control software, software testing and formal verification can be used to find faults in the software, but require to...     »
Book / Congress title:
15th IEEE International Conference on Industrial Informatics (INDIN)
Publisher address:
Emden, Germany
Year:
2017
Pages:
339-344
Covered by:
Scopus; Web of Science
Reviewed:
ja
Fulltext / DOI:
doi:10.1109/INDIN.2017.8104795
 BibTeX