TY - GEN
T1 - Engineering process for an online testing process of control software in production systems
AU - Kormann, Benjamin
AU - Vogel-Heuser, Birgit
AU - Hametner, Reinhard
AU - Zoitl, Alois
PY - 2011
Y1 - 2011
N2 - An increasing number of functionality in today's machine and plant automation is being shifted from pure mechanics or electronics into software. Therefore the system behavior must be checked for compliance with the demanded software functionality by software tests. The precondition for test case execution is a start state, the system has to take in. In order to evaluate the testability of a system, it must be verified whether the test case triggering system state is reachable. We propose a transformation approach of the control software model and the corresponding environment model (physics) to timed automata for model checking to exploit the power of the query language Timed Computation Tree Logic for start state reachability analysis. The applicability is demonstrated on a laboratory plant.
AB - An increasing number of functionality in today's machine and plant automation is being shifted from pure mechanics or electronics into software. Therefore the system behavior must be checked for compliance with the demanded software functionality by software tests. The precondition for test case execution is a start state, the system has to take in. In order to evaluate the testability of a system, it must be verified whether the test case triggering system state is reachable. We propose a transformation approach of the control software model and the corresponding environment model (physics) to timed automata for model checking to exploit the power of the query language Timed Computation Tree Logic for start state reachability analysis. The applicability is demonstrated on a laboratory plant.
UR - http://www.scopus.com/inward/record.url?scp=80655143646&partnerID=8YFLogxK
U2 - 10.1109/ETFA.2011.6059205
DO - 10.1109/ETFA.2011.6059205
M3 - Conference contribution
AN - SCOPUS:80655143646
SN - 9781457700187
T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
BT - Proceedings of 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011
T2 - 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011
Y2 - 5 September 2011 through 9 September 2011
ER -