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)