AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Session “Outils” Lors de MSR 2017

29th August 2017

Session “Outils” Lors du 11e Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017)

Lors du 11e Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), qui aura lieu à Marseille du 15 au 17 novembre 2017, les groupes AFSEC et SED organisent une session de démonstration de logiciels relatifs à la modélisation, l’analyse et la commande des systèmes réactifs et temps réel. Le but est de présenter à la communauté les outils logiciels que vous avez développés ou que vous utilisez dans le cadre de vos travaux de recherche.

Cette présentation se fera en deux temps :
- Une présentation rapide (5 minutes) 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, ou chacun pourra de manière informelle échanger avec les présentateurs et tester les outils qui les intéressent particulièrement.

Nous lançons donc un appel à propositions à tous ceux qui souhaitent présenter un outil qu’ils jugent intéressant. Le but n’est pas de vendre ou de gagner un prix mais de partager votre expérience ou votre travail. N’hésitez donc pas à proposer de présenter votre propre création, même si elle n’est qu’en version alpha, ou au contraire un outil mature que vous maitrisez.

Les personnes intéressées sont invitées à soumettre avant le 17 septembre 2017 un résumé d’une ou deux pages en suivant la procédure du site de MSR: http://www.lsis.org/msr2017/index.php?menu=sou

MSR: 15-17 novembre 2017
Lieu: Campus de St-Charles à Marseille.

Leave a Reply

You must be logged in to post a comment.