J. SifakisPSLC, 9 novembre 2001 1 Plate-forme Systèmes et Logiciels Critiques Joseph Sifakis.

Présentation au sujet: "J. SifakisPSLC, 9 novembre 2001 1 Plate-forme Systèmes et Logiciels Critiques Joseph Sifakis."— Transcription de la présentation:

1 J. SifakisPSLC, 9 novembre 2001 1 Plate-forme Systèmes et Logiciels Critiques Joseph Sifakis

2 J. SifakisPSLC, 9 novembre 2001 2 Systèmes et Logiciels Temps Réel Critiques Défaillance Conséquences graves Niveaux de Criticité : qualités requises relatives à la sûreté, la sécurité, la disponibilité (la mission), … …. les résultats économiques Principales caractéristiques Contraintes temps réel, performances, qualité de service Réactivité, interactivité, autonomie non réversibilité des décisions

3 J. SifakisPSLC, 9 novembre 2001 3 Systèmes et Logiciels Temps Réel Critiques Domaines dapplication Transport : avionique, ferroviaire, automobile, spatial Energie : distribution et production Composants électroniques, électronique grand public Télécommunications, réseaux, multimedia Extension vers les services automatisés et les « systèmes de systèmes » (bancaire, santé, contrôle aérien, commerce électronique)

4 J. SifakisPSLC, 9 novembre 2001 4 Les défis scientifiques et technologiques Construire des systèmes TR critiques de qualité garantie et économiquement viables Scientifique : Développer des méthodes et outils appropriés de modélisation et danalyse. Langages, méthodes et outils couvrant tout le cycle de développement, Maîtrise de la complexité Technologique : Utiliser des résultats effectifs existants sur un domaine dapplication donné Intégration dans un environnement de developpement Adéquation avec la culture et les compétences des ingénieurs Prise en compte des facteurs institutionnels, commerciaux, industriels.

5 J. SifakisPSLC, 9 novembre 2001 5 Systèmes et Logiciels Critiques : tendances industrielles Utilisation fragmentée de nombreux outils et méthodes ad hoc et propriétaires émergence doutils commerciaux –Coopération efficace sur de gros projets –Base d'évaluation pour les clients, les autorités Rapide évolution de létat de lart conduisant à une sous- utilisation de méthodes disponibles besoin accru de transfert, veille technologique, formation Accroissement de criticité besoin de normes sappuyant sur des outils et des méthodes formelles

6 J. SifakisPSLC, 9 novembre 2001 6 Deux technologies émergentes Critique Dur Critique Mou « à tout prix » la qualitéGarantir un niveau de qualité à prix contrôlé, vie humaines, catastrophesEnjeuéconomiques, marché de contrôle-commandeLogiciels et ouverts, répartis Systèmes transport, l'énergie Applicationsproduits de consommation, télécom, services. délais impératifsContraintes qualité de service temps réel synchrone Technologiestemps réel asynchrone sûreté - tolérance aux pannessécurité

7 J. SifakisPSLC, 9 novembre 2001 7 Objectifs Amélioration des outils et méthodes en coopération avec des partenaires industriels Conseil, évaluation, validation, aide à la certification Veille technologique, dissémination dinformation technique, formation en outils et méthodes projets pilote

8 J. SifakisPSLC, 9 novembre 2001 8 Critique Dur : Directions de travail Technologies synchrones appliquées avec grand succès dans lindustrie créées par Verimag et ses partenaires Outils et environnements Lustre/Scade: EADS (Airbus A340 et A380), Eurocopter, Schneider Esterel: Dassault Aviation, Intel, Motorola Gala: Sextant avionique Objectifs: Comprendre et formaliser l'ingénierie synchrone - Info de lautomatique Combiner les approches et les environnements

9 J. SifakisPSLC, 9 novembre 2001 9 Critique Dur : Projets-Pilote Autofor : Définir un environnement logiciel de programmation et de tests pour des automatismes de sécurité Partenaire industriel : SCHNEIDER ELECTRIC Laboratoires : VERIMAG, LSR Testabilité : Proposer des méthodes permettant de réduire les coûts du test des logiciels avioniques Partenaire industriel : SEXTANT AVIONIQUE Laboratoire : INPG / ESISAR (Valence)

10 J. SifakisPSLC, 9 novembre 2001 10 Critique Mou : Directions de travail Technologies asynchrones fondées sur des normes télécom (ITU) et des normes de sécurité (Critères Communs) créées par Verimag et ses partenaires Outils et environnements ObjectGeode (Telelogic) + Agatha (CEA) + IF (Verimag) développement d applications télécom TL-FIT (Trusted Logic) + InVest (Verimag): sécurité cartes à puces Objectifs: Evolution des normes (SDL/ITU, UML/OMG, CC) Transférer les technologies de validation de sécurité

11 J. SifakisPSLC, 9 novembre 2001 11 Critique Mou : Projets-Pilote OTEST Fournir aux industriels des outils efficaces de vérification/validation dans le domaine des systèmes distribués. EDEN Fournir un environnement de certification pour applications securitaires (niveau EAL5,6, 7) Partenaire industriel : CEA / LETI+LIST Laboratoire : VERIMAG

12 J. SifakisPSLC, 9 novembre 2001 12 Veille Technologique Journées Systèmes et Logiciels Critiques à Grenoble novembre 2000, 2001 (~100 participants) forum d'échange chercheurs - ingénieurs ateliers, experts mondiaux, compte-rendus dexpérience 50% de participation d industriels Manifestions internationales de premier plan à Grenoble ETAPS 02(European Conference on Theory and Practice of Software ) Mars 2002 EMSOFT02 (Embedded Software), Octobre 2002,

13 J. SifakisPSLC, 9 novembre 2001 13 Réseau Européen d Excellence ARTIST Coordination de la R&D dans le domaine du «Temps réel Avancé » 22 Equipes de recherche Européennes + 13 industriels dont Snecma, Esterel Technologies, Valiosys, EADS-Aerospatiale, Dassault-aviation, FT, THALES Budget ~4 Meuro Coordinateur VERIMAG Participants français INRIA, CEA, LSV Volet coopération avec EU, projets DARPA/NSF Anticipation 6ème PCRD

14 J. SifakisPSLC, 9 novembre 2001 14 Structures Comité de Pilotage –composé des personnes représentatives des différentes structures qui concourent à lexistence et au fonctionnement de la PSLC (5 à 10 personnes) –décide des orientations et de la politique –choisit et évalue les projets-pilote Comité exécutif –composé des acteurs de la PSLC –organise le fonctionnement de la PSLC