Plate-forme Systèmes et Logiciels Critiques

1. Plate-forme Systèmes et Logiciels Critiques Joseph Sifakis PSLC, 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 PSLC, 9 novembre 2001

3. Systèmes et Logiciels Temps Réel Critiques Domaines d’application • 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) PSLC, 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 d’analyse. • 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 d’application 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. PSLC, 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 d’outils commerciaux • Coopération efficace sur de gros projets • Base d'évaluation pour les clients, les autorités • Rapide évolution de l’état de l’art conduisant à une sous-utilisation de méthodes disponiblesbesoin accru de transfert, veille technologique, formation • Accroissement de criticitébesoin de normes s’appuyant sur des outils et des méthodes formelles PSLC, 9 novembre 2001

6. Deux technologies émergentes Critique DurCritique Mou « à tout prix » la qualitéGarantir un niveau de qualité à prix contrôlé, vie humaines, catastrophesEnjeu économiques, marché de contrôle-commande Logiciels etouverts, répartis Systèmes transport, l'énergieApplicationsproduits de consommation, télécom, services. délais impératifsContraintesqualité de service temps réel synchroneTechnologiestemps réel asynchrone sûreté - tolérance aux pannessécurité PSLC, 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 d’information technique, formation en outils et méthodes projets pilote PSLC, 9 novembre 2001

8. Critique Dur : Directions de travail Technologies synchrones • appliquées avec grand succès dans l’industrie • 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 l’automatique Combiner les approches et les environnements PSLC, 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) PSLC, 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é PSLC, 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 PSLC, 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 d’expé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, PSLC, 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 PSLC, 9 novembre 2001

14. Structures • Comité de Pilotage • composé des personnes représentatives des différentes structures qui concourent à l’existence 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 PSLC, 9 novembre 2001