KIT | KIT-Bibliothek | Impressum | Datenschutz

Generation of monitoring functions in production automation using test specifications

Cha, Suhyun; Ulewicz, Sebastian; Vogel-Heuser, Birgit; Weigl, Alexander ORCID iD icon 1; Ulbrich, Mattias ORCID iD icon 1; Beckert, Bernhard ORCID iD icon 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)

Abstract (englisch):

High quality requirements 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 make assumptions about possible situations (inputs) occurring in the aPS during runtime and often only allow the validation of specific cases. Monitoring individual functions within the control software during runtime can help to identify unspecified situations and raise warnings of the uncertainty about the suitability of a reaction. Yet, the design of reliable monitoring functions requires extensive experience and resources. For this reason, we propose a method for generating monitoring functions from available testing and verification specifications initially used for validating a control software function. Through this, it is possible to continuously assess the behavior of individual software functions and to identify and warn about a) violations of the test specification during runtime and b) unintended situations in which correct software behavior was never tested. ... mehr


Originalveröffentlichung
DOI: 10.1109/INDIN.2017.8104795
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsmonat/-jahr 07.2017
Sprache Englisch
Identifikator ISBN: 978-1-5386-0838-8
KITopen-ID: 1000122691
Erschienen in 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Germany, 24-26 July 2017 : proceedings
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 339–344
Projektinformation SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
Nachgewiesen in Scopus
Dimensions
Globale Ziele für nachhaltige Entwicklung Ziel 9 – Industrie, Innovation und Infrastruktur
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page