Model-Based Testing of Hybrid Systems
DOI link for Model-Based Testing of Hybrid Systems
Model-Based Testing of Hybrid Systems book
Hybrid systems, that is, systems exhibiting both continuous and discrete dynamics, have proven to be a useful mathematical model for various physical phenomena and engineering systems. Due to the safety critical features of many such applications, much eﬀort has been
devoted to the development of automatic analysis methods and tools for hybrid systems, based on formal veriﬁcation. Although these methods and tools have been successfully applied to a number of interesting case studies, their applicability is still limited to systems of small size because of the complexity of formal veriﬁcation. It is thus clear that for systems of industrial size, one needs more lightweight methods. Testing is another validation approach, which can be used for much larger systems and is a standard tool in industry, although it can only reveal an error but does not permit proving its absence. A question of great interest is thus to bridge the gap between the veriﬁcation and testing approaches, by deﬁning a formal framework for testing of hybrid systems and developing methods and tools that help automate the testing process.