Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation
This paper gives an overview of our approach to the development of discrete-continuous systems in a general model based setting. This includes formalized description techniques, CASE support for modeling and simulation, and test harness as well as test case generation. HyROOM is presented, a formally founded notation for the integration of continuous activities into MaSiEd, a CASE tool prototype based on the ROOM methodology. In addition, an approach to the automated generation of test cases for discrete and also discretized hybrid systems specified within a second CASE tool, AutoFocus, is presented.
KeywordsState Machine Model Check Hybrid System Test Sequence Smart Card
Unable to display preview. Download preview PDF.