Abstract is missing.
- On the Correctness of Model Transformations in the Development of Embedded SystemsGabor Karsai, Anantha Narayanan. 1-18 [doi]
- Supporting System Level Design of Distributed Real Time Systems for Automotive ApplicationsKlaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl. 19-34 [doi]
- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity DomainJérôme Hugues, Laurent Pautet, Bechir Zalila. 35-52 [doi]
- Model-Based Failure Management for Distributed Reactive SystemsVina Ermagan, Ingolf Krüger, Massimiliano Menarini. 53-74 [doi]
- A Methodology and Supporting Tools for the Development of Component-Based Embedded SystemsMarc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis. 75-96 [doi]
- Industrial Challenges in the Composition of Embedded SystemsDavid Corman, James L. Paunicka. 97-110 [doi]
- Deep Random Search for Efficient Model Checking of Timed AutomataRadu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis. 111-124 [doi]
- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor NetworksXenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits. 125-149 [doi]
- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going ForwardRichard E. Schantz, Joseph P. Loyall. 150-167 [doi]
- Recent Additions on the Application Programming Interface of the TMO Support MiddlewareK. H. (Kane) Kim, Juan A. Colmenares, Liangchen Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim. 168-186 [doi]
- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered ProtocolRoman Obermaisser. 187-206 [doi]
- Reliability Properties of Models for Flexible Design and Run-Time AnalysisLuqi, Valdis Berzins, Peter M. Musial. 207-219 [doi]