|
Evènement pour le groupe Modélisation et Verification
Date | 2013-10-24 11:00-12:00 |
Titre | AltaRica |
Résumé | AltaRica est un langage, basé sur une description arborescente d'automates à contraintes, pour la description des aspects fonctionnels et dysfonctionnels de systèmes réactifs.
La première partie de l'exposé rappellera les objectifs et les choix initiaux du langage et son évolution à travers différents projets.
La seconde partie décrira et justifiera les choix technologiques retenus lors des différentes versions des outils.
La fin de l'exposé sera consacrée aux problèmes rencontrés actuellement pour traiter certains exemples industriels, et aux pistes envisagées pour les résoudre. |
Lieu | 076 |
Orateur | Alain Griffault et Gérald Point |
Email | Alain.Griffault@labri.fr, Gerald.Point@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement. RetourRetour à l'index
| |