Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Innerhalb dieser Seite:
Externe Seiten:
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp

Dagstuhl-Seminar 07451

Model-Based Engineering of Embedded Real-Time Systems

( 04. Nov – 09. Nov, 2007 )

(zum Vergrößern in der Bildmitte klicken)

Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:




Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution, configuration and maintenance of embedded and distributed software nowadays often are serious challenges as a drastic increase of the software complexity can be observed in practice. The application of model-based engineering technologies to embedded real-time systems seems to be a good candidate to tackle some of the resulting problems.

Model-based development strategies and automatic code generation are becoming established technologies on the functional level. However, they are mainly applied in monolithic systems. The use of similar modeling strategies on the system, technical, and configuration levels remains challenging, especially with the increasing shift to networks of systems, deepened interaction between control-engineering and reaction-oriented parts of a system, and the growing number of variants introduced by product lines. Specific domain constraints such as real-time requirements, resource limitations and specific hardware dependencies often impede the acceptance of standard high-level oriented modeling techniques and their model-based application. Much effort in industry and academia therefore goes into the adaptation and improvement of object-oriented and component-based methods and model-based engineering that promise to facilitate the development, deployment, and reuse of software components embedded in real-time environments. The model-based development approach for embedded systems and their software proposes application specific modeling techniques using domain specific concepts (e.g., time-triggered execution or synchronous data flow) to abstract from the details of the implementation such as interrupts or method calls. Furthermore, analytical techniques (like, e.g., verification of the completeness of function deployment and consistency of dynamic interface descriptions) and generative techniques (e.g., automatic schedule generation, default behavior generation) can then be applied to the resulting more abstract models to enable the efficient development of high quality software.

Our Dagstuhl seminar brought together researchers and practitioners from the field of model-based engineering of embedded real-time systems. The topics covered included: frameworks and methods, validation, model-based integration technology, formal modeling of semantics, fault management, concurrency models and models of computation, requirements modeling, formal derivation of designs from requirements, test modeling and model-based test generation, quality assurance, design management, abstractions and extensions, and development techniques and problems of application domains. The broad spectrum of presentations has clearly illustrated the prevalence of model-based techniques in the embedded systems area, as well as progress in the field.

The seminar included mostly conference-like presentations followed by short discussions, and three group discussion sessions with panels selected from the attendees. In all cases, the emphasis was on fostering interaction among the participants and on gaining new insights and better understanding. Most of the seminar participants provided abstracts and the slides for their presentations that are available on the Dagstuhl website for the seminar. We plan to compile a state-of-the-art survey on model-based development of embedded real-time systems addressing foundational issues, language engineering, domain-specific issues, and life-cycle issues. The survey will be based on contributions of the participants of the seminar and will be published in the Springer LNCS series.

  • Ted Bapty (Vanderbilt University, US)
  • Christian Buckl (TU München, DE)
  • Rance Cleaveland (Univ. of Maryland at College Park, US)
  • Mirko Conrad (The MathWorks Inc. - Natick, US) [dblp]
  • Patricia Derler (Universität Salzburg, AT)
  • Ulrich Freund (ETAS GmbH - Stuttgart, DE) [dblp]
  • Holger Giese (Universität Paderborn, DE) [dblp]
  • Susanne Graf (VERIMAG - Grenoble, FR)
  • Michaela Huhn (TU Braunschweig, DE) [dblp]
  • Hardi Hungar (OFFIS - Oldenburg, DE) [dblp]
  • Gabor Karsai (Vanderbilt University, US) [dblp]
  • Stefan Kowalewski (RWTH Aachen, DE) [dblp]
  • Ingolf Krueger (University of California - San Diego, US)
  • Peter Bernard Ladkin (Universität Bielefeld, DE)
  • Edward A. Lee (University of California - Berkeley, US) [dblp]
  • Florence Maraninchi (VERIMAG - Univ. of Grenoble, FR) [dblp]
  • Pieter J. Mosterman (The MathWorks Inc. - Natick, MA USA, US) [dblp]
  • Klaus D. Müller-Glaser (Universität Karlsruhe, DE)
  • Sandeep Neema (Vanderbilt University, US) [dblp]
  • Bernhard Rumpe (TU Braunschweig, DE) [dblp]
  • Wilhelm Schäfer (Universität Paderborn, DE) [dblp]
  • Bernhard Schätz (TU München, DE) [dblp]
  • Ina Schieferdecker (TU Berlin, DE) [dblp]
  • Andy Schürr (TU Darmstadt, DE) [dblp]
  • Jonathan Sprinkle (University of Arizona - Tucson, US) [dblp]
  • Ketil Stølen (SINTEF - Oslo, NO) [dblp]
  • Janos Sztipanovits (Vanderbilt University, US) [dblp]
  • Lothar Thiele (ETH Zürich, CH) [dblp]
  • Martin Törngren (KTH Royal Institute of Technology, SE)
  • Hans Vangheluwe (McGill University - Montreal, CA) [dblp]

  • sw-engineering
  • embedded systems
  • real-time systems

  • Models
  • model-based
  • MDD
  • embedded systems
  • real-time systems
  • validation & verification
  • tool-support
  • domain-specific languages