Evènement pour le groupe Modélisation et Verification


Date 2013-10-24  11:00-12:00
TitreAltaRica 
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. 
Lieu076 
OrateurAlain Griffault et Gérald Point 
EmailAlain.Griffault@labri.fr, Gerald.Point@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index