Technologies proposées

Nous avons installé, pour les rendre accessibles, deux familles de technologies pour le développement des systèmes critiques.
· La première, basée sur l'utilisation de langages synchrones, regroupe des outils autour des langages Lustre de VERIMAG et Gala de SEXTANT ainsi que des langages de programmation d'automates industriels. Les outils comprennent l'environnement Scade commercialisé par TELELOGIC et utilisé par SCHNEIDER, connecté aux outils Lurette et Lutess pour le test (développé par le LSR) et Lesar pour la vérification ainsi qu'à l'environnement Gala de SEXTANT connecté à Satan du LCIS, outil permettant d'évaluer la testabilité et d'aide à la génération de tests. L'objectif du travail coopératif est l'intégration des outils disponibles par l'intermédiaire du langage Lustre et l'amélioration des prototypes de recherche selon les objectifs des projets pilotes. A terme, la plate-forme doit offrir un ensemble d'outils d'aide au développement et à la validation des systèmes. Les développements menés bénéficient du soutien et de l'expertise de projets en coopération avec EDF, SCHNEIDER, EADS, la RATP, CS TRANSPORT.

· La deuxième technologie est basée sur l'utilisation de langages dits asynchrones, dédiés à la spécification et la validation d'applications réparties, notamment pour les télécommunications. Ils regroupent des outils autour des langages Estelle et SDL tous les deux standards internationaux. Les outils comprennent l'environnement ObjectGeode de TELELOGIC connecté aux outils de validation de VERIMAG via le format commun IF ainsi que l'outil Agatha du CEA/LETI. L'objectif du travail coopératif est l'intégration des technologies de validation de VERIMAG et du CEA/LETI autour du langage SDL (outil Tau de TELELOGIC) et les autres normes internationales promues par la ITU (International Télécommunications Union) tels que les MSC pour la description des exigences et le TTCN pour la description des séquences de test. Les développements menés bénéficient du soutien et de l'expertise de projets pilotes que mènent les partenaires en coopération avec des industriels et des donneurs d'ordres tels que le projet ACCORD entre le CEA/LETI et PSA, le projet européen AIT-WOODDES entre le CEA/LETI et les sociétés PSA, TELELOGIC et I-Logix ainsi que le projet RNRT PROUST entre VERIMAG, FRANCE TELECOM, TELELOGIC et SEMA-GROUP. D'autres industriels tels que ALSTOM et MATRA MARCONI SPACE ont manifesté leur intérêt pour l'utilisation de l'environnement asynchrone de la plate-forme.