May 31, 2007 |
|
|
|
Presentations |
Papers |
9:30-10:00 |
Reception (coffee) |
10:00- 10:30 |
Welcome LIP6-DGA |
10:30-12:00 |
Session « Invited Speakers » |
|
10:30-11:00 |
Activities in the « GDR Robotique »
F. Ingrand (LAAS)
|
|
|
|
11:00-12:00 |
The EUROP Network
P. Curlier (SAGEM)
|
|
|
12:00-13:30 |
Lunch |
13:30-15:30 |
Session « Distributed Control Architectures » |
|
13:30-14:00 |
Mission Management System for Package of Unmanned Combat Aerial Vehicules
J.L. Farges (ONERA) |
|
|
|
14:00-14:30 |
A generic architectural framework for the closed-loop control of a system
Gérard Verfaillie (ONERA) and Marie-Claire Charmeau (CNES) |
|
|
|
14:30-15:00 |
Really Hard Time Developing Hard Real-Time: Research Activities
on Component-based Distributed RT/E Systems
Etienne BORDE (1, 2), Grégory HAIK (1), Laurent PAUTET (2)
(1) THALES. (2) Ecole Nationale Supérieure de Télécommunications |
|
|
|
15:00-15:30 |
The RTMaps platform applied to distributed software development
Nicolas du lac (INTEMPORA S.A.) |
|
|
15:30-16:00 |
Coffee Break |
16:00-17:30 |
Session « Validation and verification of control architectures » |
|
16:00-16:30 |
Formal assessment techniques for embedded safety critical system
Christel Séguin (CERT) |
|
|
|
16:30-17:00 |
Z and ProCoSa based specification of a distributed FDIR in a satellite formation
Jean-Charles Chaudemar (SUPAERO) et Catherine Tessier (Onera-Cert) |
|
|
|
17:00-17:30 |
Incremental Construction and Verification of Robotic System using
a Component-Based approach
Ananda Basu (2), Matthieu Gallien (1), Charles Lesire (1), Thanh-Hung Nguyen (2),
Saddek Bensalem (2), Félix Ingrand (1), Joseph Sifakis (2).
(1) LAAS/CNRS et (2) VERIMAG |
|
|
17:30-18:00 |
Session « Implementation of control architectures » |
|
17:30-18:00 |
HS-Scale: a MP-SOC Architecture for Embbeded Systems
G. Sassatelli / L. Torres (LIRMM - microelectronique) |
|
|
18:00 |
End of the first day |
20:30 |
Conference dinner (Altitude 95, Eiffel Tower) |
|
|
June 1st, 2007 |
|
|
|
Presentations |
Papers |
9:30-12:00 |
Session « Languages and MDA » |
|
9:30-10:00 |
A modelling language for communicating architectural solutions in the domain of robot control
Robin Passama (OBASCO, École des mines de Nantes) |
|
|
|
10:00-10:30 |
Benefits of the MDE approach for the development of embedded and robotic systems
Xavier Blanc (MoVe, LIP6) et J. Delatour (ESEO) |
|
|
10:30-11:00 |
Coffee Break |
|
11:00-11:30 |
Towards an Adaptive Robot Control Architecture
Serge Stinckwich (GREYC - Université de Caen) and
Noury Bouraqadi (École des Mines de Douai) |
|
|
|
11:30-12:00 |
Design Principles for a Universal Robotic Software Platform and
Application to URBI
Jean-Christophe Baillie (GOSTAI) |
|
|
12:00-12:30 |
Session « Validation and verification of control architectures » (late) |
|
12:00-12:30 |
A formal approach to designing autonomous systems: from Intelligent
Transport Systems to Autonomous Robots
Laure Petrucci (LIPN, Université de Paris XIII) |
|
|
12:30-14:00 |
Lunch |
14:00-16:00 |
Round table « to be announced » |
16:00 |
End of the conference |