On Integrated Approach To Verification And Validation Of Hybrid Systems

Hybrid System is usually used to construct embedded system applications. It includes the continuous and discrete dynamic characteristics. With the development of embedded systems, the applications of hybrid system are more and more extensive, while its study is becoming a hotspot area. Due to its complexity, the present hybrid system design tools aim at the concrete models and algorithms generally, which is most lack of usability and expansibility.In this thesis, we present a framework to express the system model by the use of hybrid automata and integrate the simulation algorithms with the verification algorithms. The considerations are following. Firstly, the integrated development environment benefits developing efficiency. Secondly, because for the same system different means of simulation and validation have different effects, it is hoped to improve the model's commonality, which enable the designer select analytic procedure as required freely. And lastly it is propitious to optimize software structure and improve the expansibility of Hybrid System analyze tools.We have designed and implemented a prototype of the framework, called HSV2(Hybrid Systems Validation and Verification), which supports integrated verification and simulation of models of hybrid systems based on XML and hybrid automata. The experiments indicate that our approach is feasible.