Deuxièmes Journées AltaRica

22 & 23 octobre 2003

CIRM de Luminy-Marseille


Ces deuxièmes journées AltaRica se dérouleront dans le cadre des rencontres en Sûreté de Fonctionnement organisées par le CIRM (Centre International de Rencontres Mathématiques). Elles font suite à la première journée AltaRica qui avait eu lieu à Toulouse en 2002.

Les études de sûreté de fonctionnement sont aujourd'hui réalisées à l'aide de nombreuses méthodes ayant chacune leur formalisme propre (arbre de défaillance, réseaux de Petri, langages propriétaires, ...) et leurs outils dédiés. Le langage AltaRica se propose de fédérer ces différentes méthodes. Ce formalisme a été défini dans le cadre d'une convention de recherche entre un laboratoire universitaire (Le LaBRI) et un groupe d'industriels (Dassault Aviation, Ixi, Total Fina Elf, ...). Aujourd'hui, des outils permettant d'analyser des modèles AltaRica de différentes manières sont disponibles et certains sont intégrés dans l'environnement Cecilia AltaRica-OCAS (Dassault Aviation). De plus, la communauté universitaire travaillant dans le domaine de la validation des architectures Système a été séduit par le langage AltaRica et de nombreux développements ont été effectués cette dernière année autour de ce langage (AltaRica Temps-Réel, interopérabilité vers les langages de validation formelles, ...).

Cette session de présentation des travaux autour du langage AltaRica se déroule sur deux journées :

Programme du Mercredi 22 octobre

Programme du Jeudi 23 octobre

Lieu

Centre International de Rencontres Mathématiques
Campus de Luminy,
163 Avenue de Luminy
13009 Marseille
Un plan d'accès à est disponible à l'URL : http://www.cirm.univ-mrs.fr/

Inscriptions et renseignements

Directement à l'URL : http://www.cirm.univ-mrs.fr/Rencontres2003/Rauzy03/Rauzy03.html