Model-Based Engineering of Embedded Real-Time Systems

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

  • Holger Giese
  • Gabor Karsai
  • Edward Lee
  • Bernhard Rumpe
  • Bernhard Schätz

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6100)

Table of contents

  1. Front Matter
  2. Foundation

    1. Front Matter
      Pages 1-1
    2. Bernhard Schätz, Holger Giese
      Pages 3-15
    3. Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz
      Pages 17-54
  3. Language Engineering

    1. Front Matter
      Pages 55-55
    2. Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
      Pages 57-76
    3. Mass Soldal Lund, Atle Refsdal, Ketil Stølen
      Pages 77-103
  4. Modeling

    1. Front Matter
      Pages 105-105
    2. Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger
      Pages 107-128
    3. Sébastien Gérard, Huascar Espinoza, François Terrier, Bran Selic
      Pages 129-154
    4. Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini
      Pages 155-199
    5. Michaela Huhn, Hardi Hungar
      Pages 201-237
  5. Model Analysis

    1. Front Matter
      Pages 239-239
    2. Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
      Pages 241-270
    3. Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander
      Pages 271-293
  6. Approaches

    1. Front Matter
      Pages 295-295
    2. Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser et al.
      Pages 297-307
    3. Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
      Pages 309-315
    4. Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer
      Pages 323-328

About this book

Introduction

Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.

Keywords

Action Constraint complexity derivation design modeling quality assurance testing validation verification

Editors and affiliations

  • Holger Giese
    • 1
  • Gabor Karsai
    • 2
  • Edward Lee
    • 3
  • Bernhard Rumpe
    • 4
  • Bernhard Schätz
    • 5
  1. 1.Hasso Plattner Institute for Software Systems EngineeringPotsdamGermany
  2. 2.Institute for Software Integrated SystemsVanderbilt UniversitySta. B. NashvilleUSA
  3. 3.Department of EECSUC BerkeleyUSA
  4. 4.Software Engineering, Department of Computer Science 3RWTH Aachen UniversityAachenGermany
  5. 5.Institut für InformatikTechnische UniversitätGarchingGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16277-0
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16276-3
  • Online ISBN 978-3-642-16277-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book