Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Kordon, Fabrice (Επιμελητής έκδοσης), Sokolsky, Oleg (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.