Component-Based Software Development for Embedded Systems
An Overview of Current Research Trends
(Sprache: Englisch)
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...
lieferbar
versandkostenfrei
Buch (Kartoniert)
Fr. 59.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Component-Based Software Development for Embedded Systems “
Klappentext zu „Component-Based Software Development for Embedded Systems “
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.
Inhaltsverzeichnis zu „Component-Based Software Development for Embedded Systems “
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.
Autoren-Porträt
Dr. Christian Bunse ist Mitarbeiter des Fraunhofer Instituts für Experimentelles Software Engineering (IESE). Er ist verantwortlich für den Bereich der objektorientierten und komponentenbasierten Software-Entwicklung und beschäftigt sich insbesondere mit der Thematik der objektorientierten Vorgehensmodelle sowie ihres Transfers in die Praxis.
Bibliographische Angaben
- 2005, 2005, 348 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross et al.
- Herausgegeben: Colin Atkinson, Christian Peper, Hans-Gerhard Gross, Christian Bunse
- Verlag: Springer
- ISBN-10: 3540306447
- ISBN-13: 9783540306443
- Erscheinungsdatum: 12.12.2005
Sprache:
Englisch
Kommentar zu "Component-Based Software Development for Embedded Systems"
0 Gebrauchte Artikel zu „Component-Based Software Development for Embedded Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Component-Based Software Development for Embedded Systems".
Kommentar verfassen