Skip to main content
SpringerLink
Log in
Book cover

Model-Based Engineering of Embedded Real-Time Systems

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

  • Book
  • © 2010

Overview

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)

Included in the following conference series:

Conference proceedings info: MBEERTS 2007.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Download chapter PDF

  2. Foundation

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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

    4. 13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems

      • Florian Hölzl, Martin Feilkas
      Pages 317-322

    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

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation