| Description |
1 online resource (viii, 344 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 3778. State-of-the-art survey |
|
Lecture notes in computer science ; 3778.
|
|
Lecture notes in computer science. State-of-the-art survey.
|
| Contents |
Component-Based Software Development for Embedded Systems -- An Introduction -- Component-Based Software Development for Embedded Systems -- An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verification of Reconfigurable Components -- Component Compatibility -- Behavioral Types for Embedded Software -- A Survey -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures, Implementation and Tool Support -- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML -- Model Driven Software Development in the Context of Embedded Component Infrastructures -- A Component Framework for Consumer Electronics Middleware -- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks -- CoConES: An Approach for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture for an Industrial Control System -- A Case Study -- Non-functional Properties -- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process -- Performance Evaluation Approaches for Software Architects -- Component-Based Engineering of Distributed Embedded Control Software -- Component-Based Development of Dependable Systems with UML |
| Summary |
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Component software.
|
|
Embedded computer systems.
|
|
COMPUTERS -- Hardware -- Personal Computers -- General.
|
|
COMPUTERS -- Hardware -- Handheld Devices.
|
|
COMPUTERS -- Microprocessors.
|
|
Informatique.
|
|
Component software
|
|
Embedded computer systems
|
|
Eingebettetes System
|
|
Softwareentwicklung
|
|
Komponente Software
|
| Form |
Electronic book
|
| Author |
Atkinson, Colin.
|
| ISBN |
9783540316145 |
|
3540316140 |
|
3540306447 |
|
9783540306443 |
|
