Advertisement

Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation

  • Klaus Bender
  • Manfred Broy
  • István Péter
  • Alexander Pretschner
  • Thomas Stauner
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 279)

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.

Keywords

State Machine Model Check Hybrid System Test Sequence Smart Card 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Klaus Bender
    • 1
  • Manfred Broy
    • 2
  • István Péter
    • 1
  • Alexander Pretschner
    • 2
  • Thomas Stauner
    • 3
  1. 1.Lehrstuhl für Informationstechnik im MaschinenwesenTechnische Universität MünchenGarchingGermany
  2. 2.Software&Systems Engineering, Institut für InformatikTechnische Universität MünchenMünchenGermany
  3. 3.BMW Car ITMünchenGermany

Personalised recommendations