Abstract
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.
This work was supported with funds of the Deutsche Forschunsgemeinschaft under reference numbers Be 1055/7-1-7-3 and Br 887/9 within the priority programs KONDISK and Design and design methodology of embedded systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T. (2002). Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. In: Engell, S., Frehse, G., Schnieder, E. (eds) Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes in Control and Information Sciences, vol 279. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45426-8_3
Download citation
DOI: https://doi.org/10.1007/3-540-45426-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43812-0
Online ISBN: 978-3-540-45426-7
eBook Packages: Springer Book Archive