Loading [MathJax]/extensions/MathZoom.js
Engineering process for an online testing process of control software in production systems | IEEE Conference Publication | IEEE Xplore

Engineering process for an online testing process of control software in production systems


Abstract:

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 beha...Show More

Abstract:

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.
Published in: ETFA2011
Date of Conference: 05-09 September 2011
Date Added to IEEE Xplore: 24 October 2011
ISBN Information:

ISSN Information:

Conference Location: Toulouse, France

References

References is not available for this document.