Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends > Component-Based Engineering of Distributed Embedded Control Software
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends |
Colin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper
Springer Berlin Heidelberg
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Component-Based Engineering of Distributed Embedded Control Software
Authors

J. H. Jahnke; A. McNair; J. Cockburn; P. de Souza; R. A. Furber; M. Lavender

ARI Id

1664725029218_2943814

Access

Not Available Free

Pages

296-319

DOI

10.1007/11591962_15

Chapter URL

https://rd.springer.com/chapter/10.1007/11591962_15

Table of Contents of Book
Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Component-Based Software Development for Embedded Systems – An Introduction
Colin Atkinson; Christian Bunse; Christian Peper; Hans-Gerhard Gross
1-7
Specification and Verification of Applications Based on Function Blocks
Wei Zhang; Wolfgang A. Halang; Christian Dietrich
8-34
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets
Leandro Dias da Silva; Angelo Perkusich
35-58
Modular Verification of Reconfigurable Components
Aleksandra Tešanović; Simin Nadjm-Tehrani; Jörgen Hansson
59-81
Behavioral Types for Embedded Software – A Survey
Walter Maydl; Lars Grunske
82-106
Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing
Hans-Gerhard Gross; Nikolas Mayer; Javier Paredes Riano
107-122
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML
Shourong Lu; Wolfgang A. Halang
123-142
Model Driven Software Development in the Context of Embedded Component Infrastructures
Markus Voelter; Christian Salzmann; Michael Kircher
143-163
A Component Framework for Consumer Electronics Middleware
Johan Muskens; Michel R. V. Chaudron; Johan J. Lukkien
164-184
Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks
Sam Michiels; Nico Janssens; Lieven Desmet; Tom Mahieu; Wouter Joosen; Pierre Verbaeten
185-208
CoConES: An Approach for Components and Contracts in Embedded Systems
Yolande Berbers; Peter Rigole; Yves Vandewoude; Stefan Van Baelen
209-231
Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study
Frank Lüders; Ivica Crnkovic; Per Runeson
232-248
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Lars Grunske; Bernhard Kaiser; Ralf H. Reussner
249-274
Performance Evaluation Approaches for Software Architects
Anu Purhonen
275-295
Component-Based Engineering of Distributed Embedded Control Software
J. H. Jahnke; A. McNair; J. Cockburn; P. de Souza; R. A. Furber; M. Lavender
296-319
Component-Based Development of Dependable Systems with UML
Jan Jürjens; Stefan Wagner
320-344
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings