13. Monterey Workshop 2006: Paris, France

Model Driven Development and Embedded Systems

• Gabor Karsai, Anantha Narayanan:
  On the Correctness of Model Transformations in the Development of Embedded Systems. 1-18
  
• Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl:
  Supporting System Level Design of Distributed Real Time Systems for Automotive Applications. 19-34
  
• Jérôme Hugues, Laurent Pautet, Bechir Zalila:
  From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. 35-52
  
• Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
  Model-Based Failure Management for Distributed Reactive Systems. 53-74
  

Software Engineering for Embedded Systems

• Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis:
  A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. 75-96
  
• David Corman, James L. Paunicka:
  Industrial Challenges in the Composition of Embedded Systems. 97-110
  
• Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis:
  Deep Random Search for Efficient Model Checking of Timed Automata. 111-124
  
• Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits:
  OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. 125-149
  

Composition Technologies

• Richard E. Schantz, Joseph P. Loyall:
  Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward. 150-167
  
• K. H. (Kane) Kim, Juan A. Colmenares, Liangchen Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim:
  Recent Additions on the Application Programming Interface of the TMO Support Middleware. 168-186
  
• Roman Obermaisser:
  Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol. 187-206
  
• Luqi, Valdis Berzins, Peter M. Musial:
  Reliability Properties of Models for Flexible Design and Run-Time Analysis. 207-219