Argosim
Au cours de la dernière décennie, l’équipe "Synchrone" de Verimag a travaillé sur des extensions stochastiques du langage synchrone Lustre. La motivation était de pouvoir simuler aisément l’environnement (physique) des systèmes réactifs. En effet, les systèmes réactifs ont ceci de particulier de fonctionner en boucle fermée avec leur environnement. Simuler cet environnement est donc obligatoire pour générer des séquences de test réalistes. Les partenaires industriels du projet Minalogic Comon project ont expérimenté ces outils de test. L’une des conclusions de ces expérimentations est que leur domaine d’application peut dépasser le cadre du test automatisé de programmes pour s’appliquer à l’ingénierie des exigences.
L’intérêt suscité au sein des partenaires industriels du projet COMON est l’un des facteurs qui a contribué à la création de la start-up Argosim en 2013, dont l’objectif est d’industrialiser les concepts (simulation aléatoires via des environnements programmés, tests automatisés, ingénierie des exigences) et les techniques associées (langages synchrones stochastiques, solveurs de contraintes basés sur des BDDs et des polyèdres convexes.
Voir aussi : https://www.lembarque.com/argosim-r...
