Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / [electronic resource] : edited by Fabrice Kordon, Oleg Sokolsky. - 1st ed. 2008. - XII, 221 p. online resource. - Programming and Software Engineering, 4888 2945-9168 ; . - Programming and Software Engineering, 4888 .

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.

9783540774198

10.1007/978-3-540-77419-8 doi


Software engineering.
Computer science.
Computer programming.
Compilers (Computer programs).
Software Engineering.
Theory of Computation.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.

QA76.758

005.1