Fabrice Kordon,
Oleg Sokolsky
Springer Berlin Heidelberg
2008e druk, 2008
9783540774181
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Specificaties
Paperback, 221 blz.
|
Engels
Springer Berlin Heidelberg |
2008e druk, 2008
ISBN13: 9783540774181
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.
Specificaties
ISBN13:9783540774181
Taal:Engels
Bindwijze:paperback
Aantal pagina's:221
Uitgever:Springer Berlin Heidelberg
Druk:2008
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Model Driven Development and Embedded Systems.- On the Correctness of Model Transformations in the Development of Embedded Systems.- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications.- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.- Model-Based Failure Management for Distributed Reactive Systems.- Software Engineering for Embedded Systems.- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.- Industrial Challenges in the Composition of Embedded Systems.- Deep Random Search for Efficient Model Checking of Timed Automata.- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.- Composition Technologies.- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward.- Recent Additions on the Application Programming Interface of the TMO Support Middleware.- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol.- Reliability Properties of Models for Flexible Design and Run-Time Analysis.