|
Evènement pour le groupe Modélisation et Verification
Date | 2009-03-19 11:00-12:15 |
Titre | AltaRica : 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". |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Alain Griffault |
Email | Alain.Griffault@LaBRI.fr |
Url | LaBRI, Bordeaux, France |
Aucun document lié à cet événement. RetourRetour à l'index
| |