Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Projet Synchron

Projet Sacres

Participants : Éric Rutten, Paul Le Guernic, Albert Benveniste, Thierry Gautier, Yan-Mei Talpin-Tang, Jean-René Beauvais, Sylvain Machard  

Le projet Esprit IT (R&D ) Sacres a débuté en novembre 1995 pour une durée de trois ans, avec évaluation à un an et demi. Il regroupe les organismes suivants : Siemens (RFA ), British Aerospace (Grande-Bretagne), i-Logix (Grande-Bretagne), Inria (France), Offis (RFA ), Snecma (France), SNI (RFA ), TNI (France) et le Weizmann Institute (Israël).

Le but du projet est de fournir aux concepteurs de systèmes embarqués, en particulier de systèmes critiques sûrs de fonctionnement, une meilleure méthodologie de conception permettant de réduire significativement tant le risque d'erreurs que le temps de conception. Pour cela, la validation des spécifications initiales devra se faire à l'aide d'outils de vérification formelle intégrés et les phases de génération de code, réparti notamment, devront être automatisées.

L'approche proposée sera multi-formalisme. Elle s'appuie sur un certain nombre d'outils existants : Statemate, Sildex/SIGNAL, Sildex/Grafcet, Timing Diagrams. Les résultats du projet devront pouvoir être commercialisés par les partenaires industriels vendeurs (i-Logix, SNI et TNI ) et utilisés avec succès par les partenaires industriels utilisateurs (British Aerospace, Siemens et Snecma).

Nos activités dans Sacres ont porté cette année essentiellement sur les points suivants :

• participation à l'analyse et définition détaillée du cahier des charges du projet Sacres [19] ; ce cahier des charges servira à l'évaluation des progrès du projet. En particulier, ceci comprend une analyse des applications prévues dans le projet et de l'apport de nos résultats dans les processus de conception et les méthodologies des utilisateurs.
• participation à la spécification de l'architecture logicielle globale de l'environnement qui doit résulter du projet [20]. Cette architecture, qui se définit autour du format commun DC+ et de la machine virtuelle, est une instance de l'organisation d'environnement ouvert mentionnée en Section 3.2.1.
• travaux de définition et de mise en oeuvre autour du format commun DC+ (voir section 3.2.1 ).
• étude des implications sémantiques de l'interopérabilité entre plusieurs formalismes (voir section 3.2.2 ).
• concernant la génération de code et la distribution [21]  : étude des langages cible (variétés de Ada), des systèmes d'exploitation (RTC ou systèmes-maison), et des architectures ; études concernant le traitement d'aspects non-fontionnels des applications dans le cadre du format (par exemple modélisation d'architectures en DC+, ou des données pour l'évaluation de performance) ; études sur les techniques d'intégration de traçabilité et lisibilité du code généré dans le cadre de la compilation.
• participation aux discussions concernant l'approche du projet vis-à-vis de la certification et de la validation.
• organisation et planification.

Nous avons organisé la réunion de première revue du projet, qui s'est tenue à l'Irisa, les 9-10-11 juin 1996.

Précédent : Actions industrielles Suivant : Projet Synchron Remonter : Actions industrielles