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.
- XII, 221 p. online resource.
- Lecture Notes in Computer Science, 4888 0302-9743 ; .
- Lecture Notes in Computer Science, 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.
ZDB-2-SCS ZDB-2-LNC
9783540774198
10.1007/978-3-540-77419-8 doi
Computer science. Software engineering. Information theory. Logic design. Computer Science. Software Engineering/Programming and Operating Systems. Theory of Computation. Software Engineering. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.