Advertisement

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

  • Colin Atkinson
  • Christian Bunse
  • Hans-Gerhard Gross
  • Christian Peper

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

Table of contents

  1. Front Matter
  2. Component-Based Software Development for Embedded Systems – An Introduction

    1. Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross
      Pages 1-7
  3. Specification and Verification

    1. Wei Zhang, Wolfgang A. Halang, Christian Dietrich
      Pages 8-34
    2. Aleksandra Tešanović, Simin Nadjm-Tehrani, Jörgen Hansson
      Pages 59-81
  4. Component Compatibility

    1. Walter Maydl, Lars Grunske
      Pages 82-106
    2. Hans-Gerhard Gross, Nikolas Mayer, Javier Paredes Riano
      Pages 107-122
  5. Component Architectures, Implementation and Tool Support

    1. Markus Voelter, Christian Salzmann, Michael Kircher
      Pages 143-163
    2. Johan Muskens, Michel R. V. Chaudron, Johan J. Lukkien
      Pages 164-184
    3. Sam Michiels, Nico Janssens, Lieven Desmet, Tom Mahieu, Wouter Joosen, Pierre Verbaeten
      Pages 185-208
    4. Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen
      Pages 209-231
  6. Non-functional Properties

    1. J. H. Jahnke, A. McNair, J. Cockburn, P. de Souza, R. A. Furber, M. Lavender
      Pages 296-319
    2. Jan Jürjens, Stefan Wagner
      Pages 320-344
  7. Back Matter

About this book

Introduction

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.

Keywords

Middleware Software Engineering Unified Modeling Language (UML) component-based systems dependable computing dependable systems distributed systems embedded systems model driven architecture object oriented design performance evaluation real-time systems software architecture validation verification

Editors and affiliations

  • Colin Atkinson
    • 1
  • Christian Bunse
    • 2
  • Hans-Gerhard Gross
    • 3
  • Christian Peper
    • 4
  1. 1.Chair of Software TechnologyUniversity MannheimMannheimGermany
  2. 2.Fraunhofer IESEKaiserslauternGermany
  3. 3.Embedded Software LaboratoryDelft University of TechnologyDelftThe Netherlands
  4. 4.Fraunhofer Institute Experimental Software EngineeringKaiserslauternGermany

Bibliographic information

  • DOI https://doi.org/10.1007/11591962
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30644-3
  • Online ISBN 978-3-540-31614-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site