|
9h00-09h45 CARROLL: Vision et
objectifs
 Présentation du programme CARROLL
Dominique
Potier, Président du comité de pilotage de CARROLL
Priorités techniques de
Thales: exemples du domaine Aéronautique
Martin Defour, Directeur technique de la Division Aéronautique,
Thales
09h45-10h45 Résultats, bilan
des projets CARROLL
Ingénierie logicielle orientée modèle –
MDD
Serge Salicki,
Thales
Vérification
et validation – V&V
Paul Le Guernic,
INRIA
Conception de systèmes
embarqués
François Terrier, CEA LIST
Infrastructure
d’exécution à composants
Virginie Watine, Thales
11h00-12h00 Perspectives du
programme CARROL
Vision technologique CEA
Jean-Luc Dormoy, Riadh Cammoun, CEA LIST
Vision technologique
INRIA
Laurent Kott,
INRIA
Le
programme CARROLL au-delà de 2005
Dominique Potier,
Thales
12h00-12h30 Débat et
Conclusions
Benoît Formery,
MINEFI / DGE
14h00-14h30 Introduction
Les
axes de recherche de CARROLL
Nicolas Farcet, Thales
14h30-16h30 Bilan
des projets et actions CARROLL
V&V : Modélisation des
exigences et validation par le test
Véronique Normand, Thales, Jean-Yves Pierron,
CEA, Bernard Bottella, Thales, Benoît Baudry, INRIA
MDD
: Plate-forme pour l’ingénierie dirigée par les modèles
Sébastien Gérard, CEA
UML
/ RTE : Modélisation des systèmes temps réel embarqués
Yves Sorel,
INRIA, Laurent Rioux, Thales
RTE
/ CCM: Middleware à composant pour
l’embarqué
Vincent
Seignole, Thales, Sylvain Robert, CEA
16h30-17h00 Perspectives technologiques
Herman Kuilder, Director Software
Research Technology and Innovation, Thales
|
