Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
Σειρά: | Lecture Notes in Computer Science,
4888 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.