Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2010

Model-Based Engineering of Embedded Real-Time Systems

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

Editors:

  1. Holger Giese

    1. Hasso Plattner Institute for Software Systems Engineering, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gabor Karsai

    1. Institute for Software Integrated Systems, Vanderbilt University, Sta. B. Nashville, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Edward Lee

    1. Department of EECS, UC Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bernhard Rumpe

    1. Software Engineering, Department of Computer Science 3, RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Bernhard Schätz

    1. Institut für Informatik, Technische Universität, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): MBEERTS: Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems

Conference proceedings info: MBEERTS 2007.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 chapters)

  1. Front Matter

    PDF

  2. Foundation

    1. Front Matter

      Pages 1-1
      PDF

    2. 1 Models of Reactive Systems

      • Bernhard Schätz, Holger Giese
      Pages 3-15

    3. 2 Model-Based Integration

      • Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz
      Pages 17-54

  3. Language Engineering

    1. Front Matter

      Pages 55-55
      PDF

    2. 3 Metamodelling

      • Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
      Pages 57-76

    3. 4 Semantics of UML Models for Dynamic Behavior

      • Mass Soldal Lund, Atle Refsdal, Ketil Stølen
      Pages 77-103

  4. Modeling

    1. Front Matter

      Pages 105-105
      PDF

    2. 5 Modeling and Simulation of TDL Applications

      • Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger
      Pages 107-128

    3. 6 Modeling Languages for Real-Time and Embedded Systems

      • Sébastien Gérard, Huascar Espinoza, François Terrier, Bran Selic
      Pages 129-154

    4. 7 Requirements Modeling for Embedded Realtime Systems

      • Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini
      Pages 155-199

    5. 8 UML for Software Safety and Certification

      • Michaela Huhn, Hardi Hungar
      Pages 201-237

  5. Model Analysis

    1. Front Matter

      Pages 239-239
      PDF

    2. 9 Model Evolution and Management

      • Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
      Pages 241-270

    3. 10 Model-Based Analysis and Development of Dependable Systems

      • Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander
      Pages 271-293

  6. Approaches

    1. Front Matter

      Pages 295-295
      PDF

    2. 11 The EAST-ADL Architecture Description Language for Automotive Embedded Software

      • Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser et al.
      Pages 297-307

    3. 12 Fujaba4Eclipse Real-Time Tool Suite

      • Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
      Pages 309-315

    5. 14 MATE - A Model Analysis and Transformation Environment for MATLAB Simulink

      • Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer
      Pages 323-328
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Hasso Plattner Institute for Software Systems Engineering, Potsdam, Germany

    Holger Giese

  • Institute for Software Integrated Systems, Vanderbilt University, Sta. B. Nashville, USA

    Gabor Karsai

  • Department of EECS, UC Berkeley, USA

    Edward Lee

  • Software Engineering, Department of Computer Science 3, RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe

  • Institut für Informatik, Technische Universität, Garching, Germany

    Bernhard Schätz

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation