TU München  Informatik  Software & Systems Engineering Projects


BeQuest
Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme
(Description Techniques and Formal Quality Assurance for Embedded Systems)


Project Page People Partners Publications Related

  Summary
     

BeQuest investigates notations and refinement steps for the design of hybrid, i.e. mixed discrete and continuous, embedded systems.

  Abstract
     

Based on the observation that designing software for embedded systems usually requires to take the characteristics of the system's environment into consideration, e.g. in order to derive timing requirements, BeQuest introduced formal description techniques for hybrid, embedded systems. In the spirit of the UML, the proposed notations are visual and specify different system views, which facilitates their use in practice. They consist of architecture diagrams HyACharts (structural view), hybrid state machines HySCharts (behavioral view) and hybrid sequence diagrams HySCs (interaction view). Current work focuses on methodical guidance in the form of refinement rules supporting the transition from requirements capture to the design phase. For the software part of the system under development this in particular includes to derive timing requirements.
BeQuest is supported with funds of the Deutsche Forschungsgemeinschaft under reference number Br 887/9 within the priority program Design and Design Methodology of Embedded Systems.

Keywords. Formal methods, semantics, hybrid systems, real time, embedded systems, reactive systems, OO.

  Project Homepage

  Contact
      Thomas Stauner, Tel. +49 (0)89 289-28325

  Schedule
      1.05.1997-30.04.2001

  People
      Thomas Stauner

  Partners
      Cooperations within the priority program:

  Publications
      Key publications:
  1. Radu Grosu, Thomas Stauner, Manfred Broy. A Modular Visual Model for Hybrid Systems. In Proc. of the FTRTFT'98, 5th International School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, Sept 1998.
  2. Manfred Broy and Thomas Stauner. Requirements Engineering für eingebettete Systeme. In Informationstechnik und Technische Informatik (it+ti), 2:7-11, Oldenbourg Verlag, 1999.
  3. Radu Grosu, Ingolf Krüger and Thomas Stauner. Hybrid Sequence Charts. In Proc. of the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000), IEEE, 2000.
complete list of publications

  Related Information
     



 Thomas Stauner, 10.10.2000