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 7 to 10 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 $79.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 Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Typescript Cookbook

Real World Type-Level Programming

The Art of Spyro

Reignited Trilogy

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Arduino For Dummies

Blackwell Philosophy Anthologies

Hacking For Dummies

For Dummies (Computer/Tech)

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

Programming TypeScript

Making Your JavaScript Applications Scale

This product is categorised by