Composition of Embedded Systems:
Scientific and Industrial Issues
October 16-18, 2006, Paris, France
 
 
 
 
 
 
 

Question or Comment
Contact: Oleg Sokolsky
Last updated: September 1, 06

Program

Monday, October 16

8:45-9:00  Introduction and welcome  
9:00-10:20 Session 1 Modeling
   Gregory Haik,
Thales		 SPICES: a Component-Based Framework for Modelling, Verification and Execution of Real-Time Embedded Applications
   Gabor Karsai,
Vanderbilt University		 On the Correctness of Model Transformations in the Development of Embedded Systems
10:20-10:50 Break   
10:50-12:10 Session 2 Development methodologies
   Roman Obermaisser,
Technical University of Vienna		 Architectural Support for the Composition of Components in an Embedded System
   Cristoph Kirsch,
University of Salzburg		 System Composition by Process Shaping
12:10-2:00 Lunch   
2:00-3:20 Session 3 Distributed embedded systems
   Xenophon Koutsoukos,
Vanderbilt University		 Service-oriented architectures for networked embedded sensor systems
   Rick Schantz,
BBN		 Composing and decomposing QoS Attributes for Distributed RealTime Systems: Experience to date and hard problems going forward
3:20-3:50 Break   
3:50-5:10 Panel 1 Embedded Systems and MDA: Do they fit together?
Panelists:
Fabrice Kordon (slides)
Francois Terrier (slides)

Tuesday, October 17

9:00-10:20 Session 4 Real-time development  
   Juan Colmenares,
University of California, Irvine 		Time-triggered Message-triggered Object Programming Scheme
   Joseph Sifakis,
VERIMAG		 Composition of real-time components
10:20-10:50 Break   
10:50-12:10 Session 5 Verification  
   Francois Laroussinie,
ENS Cachan		 Models for efficient verification of real-time systems
   Radu Grosu,
SUNY Stony Brook		 Deep random search for efficient model checking of timed automata
12:10-2:00 Lunch   
2:00-3:20 Session 6 Modeling  
   Jerome Hugues,
Telecom-Paris		 From MDD back to basics: building Distributed Real-Time Embedded Systems
   Francois Terrier,
CEA-LIST		 Component models for embedded systems: from UML to Autosar
3:20-3:50 Break   
3:50-5:10 Panel 2 Balancing cost and assurance in embedded systems development
Panelists:
Rick Schantz (slides)
Jerome Hugues (slides)

Wednesday, October 18

9:00-10:20 Session 7   
   Ingolf Krueger,
University of California, San Diego		 Model-based failure management for distributed reactive systems
   Klaus Mueller-Glaser,
University Karlsruhe		 Supporting system level design of distributed real time systems for automotive applications
10:20-10:50 Break   
10:50-12:10 Session 8   
   David Corman,
Boeing		 Industrial Challenges in Composition of Embedded Systems and case studies in unmanned systems
   Manuel Rodriguez,
Naval Postgraduate School		 Reliability and Flexibility Properties of Models for Design and Run-time Analysis