LURPA > Manifestations > Sûreté de Fonctionnement
28/10/2011 : deux exposés : Introduction du séminaire / Le Projet AltaRica
le 28 octobre 2011
14h - Introduction du séminaire - Emmanuel Arbaretier (EADS-APSYS) Antoine Rauzy (LIX, Polytechnique) 14h30 - Le Projet AltaRica - Antoine Rauzy (LIX, Polytechnique)
Exposé (14h)
Résumé :
Exposé (14h30)
Résumé : Le langage AltaRica est un formalisme de haut niveau dédiée à la modélisation événementielle de systèmes. AltaRica est aujourd'hui utilisé comme langage coeur dans plusieurs ateliers de sûreté de fonctionnement distribués commercialement. Après plus de 10 ans d'expérience, il apparait nécessaire de faire évoluer le langage, afin de simplifier et de clarifier certains concepts ainsi que d'en introduire certains autres. Une nouvelle version du langage est donc développée au sein de l'équipe SYSMO du LIX. Plusieurs outils de traitrement sont en cours d'élaboration. L'objectif de cette présentation est de donner un apperçu des travaux en cours.
- Titre : Introduction du séminaire
- Intervenant : Emmanuel Arbaretier (EADS-APSYS) & Antoine Rauzy (LIX, Polytechnique)
Résumé :
Exposé (14h30)
- Titre : Le Projet AltaRica
- Intervenant : Antoine Rauzy (LIX, Polytechnique)
Résumé : Le langage AltaRica est un formalisme de haut niveau dédiée à la modélisation événementielle de systèmes. AltaRica est aujourd'hui utilisé comme langage coeur dans plusieurs ateliers de sûreté de fonctionnement distribués commercialement. Après plus de 10 ans d'expérience, il apparait nécessaire de faire évoluer le langage, afin de simplifier et de clarifier certains concepts ainsi que d'en introduire certains autres. Une nouvelle version du langage est donc développée au sein de l'équipe SYSMO du LIX. Plusieurs outils de traitrement sont en cours d'élaboration. L'objectif de cette présentation est de donner un apperçu des travaux en cours.