Abstract:

Model based development of hybrid systems: specification, simulation, test case generation

K. Bender and M. Broy and I. Péter and A. Pretschner and T. Stauner


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.