|
RTP 21 : Sûreté de fonctionnement
des systèmes informatiques complexes ouverts |
|
|
|
|
|
|
|
|
|
|
|
Journée de travail -- 5
novembre 2003 -- Le Carré des Sciences -- Paris
|
Introduction - La
sûreté
de fonctionnement au cœur des réseaux
Jean Arlat (LAAS-CNRS, Toulouse)
Session
1 - Tendances en technologies logicielles et matérielles
Modérateur
: Marie-Claude Gaudel (LRI, Orsay)
Évolution de la
conception des "systèmes sur une puce"
à l'ère des nanotechnologies
Jean-Pierre
Schoellkopf (ST Microelectronics, Crolles)
Développement de
systèmes critiques intégrant des logiciels libres
Philippe David (ESA-ESTEC, Noordwijk,
Pays-Bas)
Session
2 - Conception et architecture des systèmes critiques
Modérateur
: Bernard Pavard (IRIT, Toulouse)
L'intégration du
facteur humain dans la conception des systèmes à risques
Hubert Guillermain (Technicatome, Aix en
Provence)
Nouvelles architectures
avioniques et sûreté de fonctionnement
Pascal Traverse (Airbus France, Toulouse)
Session
3 - Groupes de réflexion
Infrastructures
informationnelles sûres de fonctionnement :
confiance à hauteur des enjeux ?
Animateurs
: Jean-Claude Laprie (LAAS-CNRS, Toulouse) et Bernard Pavard
Systèmes
embarqués et systèmes enfouis :
impact de la prise en compte de la
sûreté
de fonctionnement ?
Animateurs : Bernard Courtois (TIMA,
Grenoble) et Marie-Claude Gaudel
Programme
Participants
Compte rendu
|
|
|