Programming and Software Engineering

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

Editors: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (Eds.)

Free Preview

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-540-31614-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-540-30644-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Component-Based Software Development for Embedded Systems – An Introduction

    Atkinson, Colin (et al.)

    Pages 1-7

  • Specification and Verification of Applications Based on Function Blocks

    Zhang, Wei (et al.)

    Pages 8-34

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

    Silva, Leandro Dias (et al.)

    Pages 35-58

  • Modular Verification of Reconfigurable Components

    Tešanović, Aleksandra (et al.)

    Pages 59-81

  • Behavioral Types for Embedded Software – A Survey

    Maydl, Walter (et al.)

    Pages 82-106

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-540-31614-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-540-30644-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Programming and Software Engineering
Series Volume
3778
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31614-5
DOI
10.1007/11591962
Softcover ISBN
978-3-540-30644-3
Edition Number
1
Number of Pages
VIII, 348
Topics