13. Monterey Workshop 2006: Paris, France

Fabrice Kordon, Oleg Sokolsky (Eds.): Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4888 Springer 2007, ISBN 978-3-540-77418-1 BibTeX

Model Driven Development and Embedded Systems

Gabor Karsai, Anantha Narayanan:
On the Correctness of Model Transformations in the Development of Embedded Systems. 1-18
Electronic Edition (link) BibTeX
Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl:
Supporting System Level Design of Distributed Real Time Systems for Automotive Applications. 19-34
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
Model-Based Failure Management for Distributed Reactive Systems. 53-74
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
David Corman, James L. Paunicka:
Industrial Challenges in the Composition of Embedded Systems. 97-110
Electronic Edition (link) BibTeX
Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis:
Deep Random Search for Efficient Model Checking of Timed Automata. 111-124
Electronic Edition (link) BibTeX
Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits:
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. 125-149
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Roman Obermaisser:
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol. 187-206
Electronic Edition (link) BibTeX
Luqi, Valdis Berzins, Peter M. Musial:
Reliability Properties of Models for Flexible Design and Run-Time Analysis. 207-219
Electronic Edition (link) BibTeX