On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems

  • Tim Oodes
  • Holger Krisp
  • Christian Müller-Schloer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2299)


Embedded systems for safety-critical applications need design methods, which comply with the requirements of such sensitive systems. This paper proposes a new approach to the design of such systems and presents first results. We introduce the method of Virtual Prototyping in combination with assertions for an UML-based system design. This means that we build an abstract model of a heterogeneous embedded system including functional and especially timing constraints from the very beginning. The Unified Modeling Language (UML) has been extended to model complex heterogeneous systems rather than just software. The Virtual Prototype is made executable on an open simulator platform. From the simulation we derive information about the system’s functional and timing behavior, which is fed back to the UML system level. This paper discusses the assertion-based design process and its implementation by corresponding design tools, and it shows how assertions can vastly improve the quality of embedded system design.


Unify Modeling Language Embed System Class Diagram Sequence Diagram Object Constraint Language 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [KRI01]
    Krisp, H., Müller-Schloer, C.: “Objektorientierte Modellierung und Simulation eingebetteter Systeme mit ClearSim-MultiDomain und UML”, ASIM 2001, (15. Symposium Simulationstechnik), Paderborn, September 2001, S. 79-84Google Scholar
  2. [Mey01]
    Meyer, B.: “Building bug-free O-O software: An Introduction of Design by ContractTM”,
  3. [Mey02]
    Meyer, B.: “Object-Oriented Software Construction”, 2nd Edition, Prentice Hall 2000Google Scholar
  4. [Oba01]
    Obayashi, M., Kubota, H., McCarron, S.P., Mallet, L.: "The Assertion Based Testing Tool for OOP: ADL2", ICSE 1998Google Scholar
  5. [Sch01]
    Scherber, S.: “Modellierung und Simulation software-intensiver eingebetteter Systeme”, Shaker Verlag 2001Google Scholar
  6. [War01]
    Warmer, J., Kleppe, A.: “The Object Constraint Language”, Addison-Wesley 1999Google Scholar
  7. [Wel01]
    Welge, R.: “SDL.RT basierter Entwurf und Implementierung zeit-und sicherheitskritischer Systeme”, PhD Thesis (University of Hannover) 2001Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Tim Oodes
    • 1
  • Holger Krisp
    • 1
  • Christian Müller-Schloer
    • 1
  1. 1.Institute of Computer Engineering, Architecture and Operating SystemsUniversity of HannoverHannover

Personalised recommendations