Untitled Document

Journées nationales de réflexion et de prospective sur les systèmes embarqués
ouvertes aux chercheurs et industriels du domaine

Paris, 16 et 17 Juin 2003

Amphithéâtre Poincaré, Le Carré des Sciences
1, rue Descartes- 75005 Paris
Entrée par le 25, rue de la Montagne Sainte Geneviève

Le Réseau Thématique "SECC" Systèmes Embarqués Complexes ou Contraints http://www.systemes-critiques.org/SECC/ organise le 17 juin 2003 à Paris une Journée nationale de réflexion et de prospective sur les systèmes et logiciels embarqués, ouverte aux chercheurs et aux industriels. L'objectif de cette journée est de percevoir l'évolution des besoins du secteur de technologies embarquées.

PROGRAMME

Lundi - 16 juin -

Réunion interne du réseau SECC

	Les actions à mettre en place
9:30 - 10:15	Claude Jard Supervision et contrôle des systèmes répartis
10:15 - 11:00	Marie-Laure Potet Développement de programmes objets prouvés : spécification, raffinement, preuve et détection d'erreurs
11:00 -11:45	Ahmed Bouajjani Techniques symboliques pour l'analyse de propriétés quantitatives
	Exposés des actions du RTP SECC
11:45 - 12:30	Hubert Comon Sécurité logicielle: Modèles et Vérification
12:30 - 14:00	Déjeuner
	Réseaux invités
14:00 - 15:00	Jean Arlat - RTP 21 Sûreté de fonctionnement des systèmes complexes ouverts Caractérisation et empaquetage de systèmes d¹exploitation temps réel
15:00 - 16:00	Michel Riguidel - RTP 13 Sécurité des accès, des échanges et des contenus La sécurité à l'ère numérique
16:00 - 17:00	Marcel Staroswiecki - RTP 20 Fiabilité, Diagnostic, Tolérance aux fautes Surveillance et tolérance aux fautes de systèmes commandés: problèmes et approches

Mardi - 17 juin -

10:00 - 10:30	Joseph Sifakis - VERIMAG Présentation du RTP SECC
10:30 - 11:00	Jean-Philippe Beaujard - AIRBUS AIRBUS Flight Control Systems
11:00 -11:30	Joseph Beretta - PSA Peugeot-Citroen Les systèmes électroniques embarqués, un enjeu majeur pour l'automobile
11:30 - 11:45	Pause café
11:45 - 12:15	Dominique Bolignano - TRUSTED LOGIC Problématique de sécurité dans les systèmes embarqués
12:15 - 12:45	Samuel Boutin - RENAULT Enjeux de la conception des systèmes critiques grand public
12:45 - 14:00	Déjeuner
14:00 - 14:30	Pierre Combes - France TELECOM Les spécificités temps réel pour les télécoms
14:30 - 15:00	Vania Joloboff - SILICOMP L'OpenSource en embarqué, état courant et évolutions
15:00 - 15:30	David Lesens - EADS Développement et validation des logiciels de contrôle des véhicules spatiaux: état de l'art et challenges
15:30 - 16:00	Pause café
16:00 - 16:30	Pierre Chartier - RATP Evaluation de la SdF des logiciels de contrôle-commande à la RATP : Bilan et perspectives
16:30 - 17:00	Dominique Potier - THALES Technologies logicielles embarquées: évolution des besoins THALES
17:00 - 17:30	Miguel Santana - STMicroelectronics Logiciels embarqués : besoins et perspectives