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 :
-
Mercredi 22 Octobre 2003 : cette journée est plus spécialement dédiée à la communauté AltaRica (plus axée R&D). L'objectif de cette journée est de faire le point sur les travaux réalisés au sein des laboratoires universitaires et dans le cadre du déploiement industriel des outils support du langage AltaRica.
-
Jeudi 23 Octobre 2003 : cette journée vise à présenter à la communauté des ingénieurs travaillant dans le domaine de la validation système en phase de conception (bureaux d'études, service SdF, ...), les applications industrielles du langage AltaRica. Un certain nombre de sociétés utilisatrices viendront présenter leurs études d'Analyse Système élaborées à l'aide de celui-ci.
Programme du Mercredi 22 octobre
-
09h30-10h30 : Accueuil des particpants
-
10h30-12h30 : Pannel sur l'évolution du langage AltaRica, animé par Alain Griffault (LaBRI), Philippe Thomas(GFIC) et Antoine Rauzy (IML/CNRS)
[FTP PPT]
[HTTP PPT]
-
12h30-14h00 : Repas
-
14h00-14h45 : Présentation de l'outil OCAS, Tony Hutinet & Philippe Thomas (GFIC)
-
14h45-15h30 : Le temps réel dans AltaRica, Claire Pagetti (IRCYYN)
[FTP PDF]
[HTTP PDF]
-
15h30-16h00 : Pause
-
16h00-16h45 : Vérification de modèles en AltaRica, Aymeric Vincent (LaBRI)
[FTP PDF]
[HTTP PDF]
-
16h45-17h30 : AltaRica et Lustre, Alain Griffault (LaBRI)
[FTP PDF]
[HTTP PDF]
-
17h30-18h15 : Amélioration de la simulation stochastique, Minh-Thang Khuu (France Telecom R & D)
[FTP PPT]
[HTTP PPT]
-
18h15-18h20 : Discussion animée par Alain Griffault (LaBRI), Antoine Rauzy(IML/CNRS) et Christel Seguin (CERT-ONERA).
-
18h20-19h00 : Balade vers les calanques.
-
19h30-20h30 : Repas
-
20h45 : OM-Porto
Programme du Jeudi 23 octobre
-
09h15-09h30 : Introduction à la journée, Christel Seguin (CERT-ONERA)
-
09h30-10h15 : Safety Patterns appliqués à un système de distribution et génération électrique de type AIRBUS, Christophe Kehren (CERT-ONERA)
[FTP PDF]
[HTTP PDF]
-
10h15-10h45 : Le projet européen ISAAC, Christian Bougnol (Airbus Industries)
[FTP PPT]
[HTTP PPT]
-
10h45-11h05 : Pause
-
11h05-11h50 : Utilisation de Cecilia AltaRica-OCAS / Processus de qualification (JAA/FAA) : Valérie Pastor (Dassault Aviation), Tony Hutinet (GFI Consulting).
[FTP PPT]
[HTTP PPT]
-
11h50-12h20 : xAltaRica : de l'extension d'xADL à l'apport d'XML à AltaRica, Christophe Mareschal (ENSAE/CERT)
[résumé FTP PDF]
[résumé HTTP PDF]
[slides FTP PDF]
[slides HTTP PDF]
[article FTP PDF]
[article HTTP PDF]
-
12h30-14h00 : Repas
-
14h00-14h45 : Utilisation de AltaRica Data-flow Toolbox chez Total, Marie Boiteau (Total)
-
14h45-15h30 : La boite à outils AltaRica Data-Flow, Antoine Rauzy (ARboost Technologies)
[FTP PPT]
[HTTP PPT]
-
15h30-16h00 : Pause
-
16h00-17h05 : Appel à stages en Ingénierie des Systèmes Critiques (Master Informatique, Université Bordeaux I)
[FTP PDF]
[HTTP PDF]
-
16h05-16h45 : Table ronde animée par A. Rauzy(IML/CNRS) et C. Seguin (CERT-ONERA)
-
16h45 : Fin des journées
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