A theoretical framework for testing cyber-physical systems

摘要

Cyber-physical systems (CPSs) are digital real-time systems embedded in analog environments. A typical example of a CPS is a control program for an industrial plant. While the program can be in any one of the finite number of discrete states, the physical quantities of the plant evolve continuously in each state according to the physical laws. Such systems are usually safety-critical and therefore their correctness is a prime concern. However verifying these systems for correctness is far from trivial. The challenge comes from the fact that the discrete-continuous combine dynamics give rise to an uncountable number of states. To this end, in this paper we suggest an approach for conformance testing of CPSs. Our approach is based on modeling the given CPS as a hybrid automaton.