Evènement pour le groupe Modélisation et Verification


Date 2009-03-19  11:00-12:15
TitreAltaRica : passé, présent et futur. 
RésuméAltaRica est un formalisme qui a été défini pour la description fonctionnelle et dysfonctionnelle des systèmes industriels critiques. Depuis la première version du langage en 2000, différentes variantes et outils associés ont été proposés. Aujourd'hui, ces outils sont réellement utilisés de façon productive dans certaines entreprises. Dans la première partie de l'exposé, je présenterai le formalisme initial et sa sémantique. Je donnerais ensuite les diverses évolutions et les raisons pour lesquelles elles ont été introduites. La dernière partie de l'exposé listera des travaux futurs possibles dans le cadre "AltaRica, un formalisme d'aide à la conception sûre de systèmes critiques". 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurAlain Griffault 
EmailAlain.Griffault@LaBRI.fr 
UrlLaBRI, Bordeaux, France 



Aucun document lié à cet événement.

Retour
Retour à l'index