Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

By: Colin Atkinson (Editor), Christian Bunse (Editor), Hans-Gerhard Gross (Editor)

Write A Review

Paperback | 12 December 2005

At a Glance

Paperback
360 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Computing & I.T.Computer Programming & Software Development Software Engineering Operating Systems Computer Hardware Personal Computers

Component-based software development for embedded systems - an introduction	p. 1
Specification and verification of applications based on function blocks	p. 8
A model-based approach to formal specification and verification of embedded systems using colored Petri nets	p. 35
Modular verification of reconfigurable components	p. 59
Behavioral types for embedded software - a survey	p. 82
Assessing real-time component contracts through built-in evolutionary testing	p. 107
Platform-independent specification of component architectures for embedded real-time systems based on an extended UML	p. 123
Model driven software development in the context of embedded component infrastructures	p. 143
A component framework for consumer electronics middleware	p. 164
Connecting embedded devices using a component platform for adaptable protocol stacks	p. 185
CoConES : an approach for components and contracts in embedded systems	p. 209
Adopting a component-based software architecture for an industrial control system - a case study	p. 232
Specification and evaluation of safety properties in a component-based software engineering process	p. 249
Performance evaluation approaches for software architects	p. 275
Component-based engineering of distributed embedded control software	p. 296
Component-based development of dependable systems with UML	p. 320
Table of Contents provided by Blackwell. All Rights Reserved.

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Operating Systems

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Principles of Operating Systems

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

Microsoft Excel 365 Bible

Bible

UNIX and Linux System Administration Handbook

5th Edition

Theory of Fun for Game Design

This Is Service Design Methods

A Companion to This Is Service Design Doing

Product Leadership

How Top Product Managers Launch Awesome Products and Build Successful Teams

iPad and iPad Pro For Dummies

Git : Pocket Guide

A Working Introduction

Applied Embedded Electronics

Design Essentials for Robust Systems

CompTIA A+ Certification All-in-One Exam Guide (Exams 220-1101 & 220-1102)

11th Edition

Troubleshooting PCs For Dummies

For Dummies (Computer/Tech)

Linux Device Drivers

O'Reilly Software Ser.

Windows 11 All-in-One For Dummies, 2nd Edition

For Dummies

Macs For Seniors For Dummies

For Dummies (Computer/Tech)

Information Architecture

For the Web and Beyond : 4th Edition

Bash Pocket Reference

Help for Power Users and Sys Admins : 2nd Edition

Mapping Experiences

A Complete Guide to Creating Value through Journeys, Blueprints, and Diagrams 2nd Edition

Windows 11 for Seniors in Easy Steps

In Easy Steps

Red Hat Certified Engineer (Rhce) Ansible Automation Study Guide

In-Depth Guidance and Practice

Designing AI Interfaces

Design Principles for Creative and Autonomous AI

Survival Guide to User-Focused Product Development

Methods Against Madness

This product is categorised by