Skip to main content
SpringerLink
Log in
Book cover

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

  • Book
  • © 2005

Overview

Editors:
  1. Colin Atkinson

    1. Chair of Software Technology, University Mannheim, Mannheim, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christian Bunse

    1. Fraunhofer IESE, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hans-Gerhard Gross

    1. Embedded Software Laboratory, Delft University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Christian Peper

    1. Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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 (16 chapters)

  1. Front Matter

    Download chapter PDF

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

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

      • Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross
      Pages 1-7

  3. Specification and Verification

    1. Specification and Verification of Applications Based on Function Blocks

      • Wei Zhang, Wolfgang A. Halang, Christian Dietrich
      Pages 8-34

    2. A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets

      • Leandro Dias da Silva, Angelo Perkusich
      Pages 35-58

    3. Modular Verification of Reconfigurable Components

      • Aleksandra TeÅ¡anović, Simin Nadjm-Tehrani, Jörgen Hansson
      Pages 59-81

  4. Component Compatibility

    1. Behavioral Types for Embedded Software – A Survey

      • Walter Maydl, Lars Grunske
      Pages 82-106

    2. Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing

      • Hans-Gerhard Gross, Nikolas Mayer, Javier Paredes Riano
      Pages 107-122

  5. Component Architectures, Implementation and Tool Support

    1. Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML

      • Shourong Lu, Wolfgang A. Halang
      Pages 123-142

    2. Model Driven Software Development in the Context of Embedded Component Infrastructures

      • Markus Voelter, Christian Salzmann, Michael Kircher
      Pages 143-163

    3. A Component Framework for Consumer Electronics Middleware

      • Johan Muskens, Michel R. V. Chaudron, Johan J. Lukkien
      Pages 164-184

    4. Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks

      • Sam Michiels, Nico Janssens, Lieven Desmet, Tom Mahieu, Wouter Joosen, Pierre Verbaeten
      Pages 185-208

    5. CoConES: An Approach for Components and Contracts in Embedded Systems

      • Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen
      Pages 209-231

    6. Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study

      • Frank Lüders, Ivica Crnkovic, Per Runeson
      Pages 232-248

  6. Non-functional Properties

    1. Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

      • Lars Grunske, Bernhard Kaiser, Ralf H. Reussner
      Pages 249-274

    2. Performance Evaluation Approaches for Software Architects

      • Anu Purhonen
      Pages 275-295

    3. Component-Based Engineering of Distributed Embedded Control Software

      • J. H. Jahnke, A. McNair, J. Cockburn, P. de Souza, R. A. Furber, M. Lavender
      Pages 296-319

    4. Component-Based Development of Dependable Systems with UML

      • Jan Jürjens, Stefan Wagner
      Pages 320-344

  7. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Chair of Software Technology, University Mannheim, Mannheim, Germany

    Colin Atkinson

  • Fraunhofer IESE, Kaiserslautern, Germany

    Christian Bunse

  • Embedded Software Laboratory, Delft University of Technology, Delft, The Netherlands

    Hans-Gerhard Gross

  • Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany

    Christian Peper

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation