Session outils MSR'15
Lors du 10e Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), qui a eu lieu à Nancy du 18 au 20 novembre, les groupes SED (GDR MACS) et AFSEC ont organisé une session sur le thème des logiciels pour la recherche relatif à la modélisation, l’analyse et la commande des systèmes réactifs et temps réel. Le but était de présenter à la communauté les logiciels développés ou utilisés dans le cadre de travaux de recherche.
Cette présentation a eu lieu en deux temps :
Une présentation rapide en session plénière : genèse de l’outil, fonctionnalités, licences, copies d’écran…
Un temps plus long de discussion autour des démonstrateurs.
Les outils présentés :
Roméo : RdP temporels par Olivier h. Roux (IRCCYN)
Heptagon/BZR: langage de programmation réactif appartenant à la famille des langages synchrones par Gwenaël Delaval (INRIA)
Zélus : langage synchrone étendu par Timothy Bourke (ENS)
HOME I/O et FACTORY I/O : simulation de parties opératives par Bernard Riera (CReSTIC)
maxpluspy : librairie Python de calcul dans l'algèbre max-plus et de manipulation d'automates à multiplicités par Sébastien Lahaye (LARIS)
Trampoline : OS temps-réel par Jean-Luc Bechennec (IRCCYN)