Skip to main content
  • Book
  • © 2005

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (16 chapters)

  1. Front Matter

  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. 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. Model Driven Software Development in the Context of Embedded Component Infrastructures

      • Markus Voelter, Christian Salzmann, Michael Kircher
      Pages 143-163
    2. A Component Framework for Consumer Electronics Middleware

      • Johan Muskens, Michel R. V. Chaudron, Johan J. Lukkien
      Pages 164-184
    3. 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
    4. CoConES: An Approach for Components and Contracts in Embedded Systems

      • Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen
      Pages 209-231
  6. Non-functional Properties

    1. 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
    2. Component-Based Development of Dependable Systems with UML

      • Jan Jürjens, Stefan Wagner
      Pages 320-344
  7. Back Matter

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.

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

  • 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

  • Book Title: Component-Based Software Development for Embedded Systems

  • Book Subtitle: An Overview of Current Research Trends

  • Editors: Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/11591962

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2005

  • Softcover ISBN: 978-3-540-30644-3Published: 12 December 2005

  • eBook ISBN: 978-3-540-31614-5Published: 19 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 348

  • Topics: Software Engineering, Operating Systems

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions