J. SifakisPSLC, 9 novembre Plate-forme Systèmes et Logiciels Critiques Joseph Sifakis
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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)
J. SifakisPSLC, 9 novembre 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.
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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é
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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)
J. SifakisPSLC, 9 novembre 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é
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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,
J. SifakisPSLC, 9 novembre 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
J. SifakisPSLC, 9 novembre 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