COSMOS est un logiciel open source d’évaluation et de validation des systèmes complexes, notamment de système stochastique et système cyber-physique. Très utile dans les domaines critiques (les transports, l’énergie, la santé, la finance…), COSMOS permet d’opérer une analyse statistique de la pertinence et de la performance d’un modèle, et de garantir la probabilité de réalisation d’un événement dans un environnement incertain.

Il devient alors possible de comparer ce qui n’est pas comparable de manière évidente.

Le logiciel permet de réaliser la co-simulation d’un modèle pour l’outil Simulink avec un environnement stochastique, en allant plus loin avec la modélisation très expressive des modèles. Ainsi, COSMOS évite notamment aux ingénieurs de déduire les comportements de leurs modèles a posteriori, à partir d’expériences physique.

Cosmos appliqué aux pacemakers :

Points forts du logiciel COSMOS :

• Réaliser des analyses de performance des modèles stochastique
• Avérer la sûreté de fonctionnement des systèmes dans des environnements non contraints
• Lire les fichiers Simulink
• Estimer des paramètres de performance complexes décrits avec la logique HASL.

Partenaires dans le développement du logiciel :

• LMF (Laboratoire Méthode Formelle: laboratoire d’informatique de l’ENS Paris-Saclay )
• LACL (Laboratoire d’Algorithmique, Complexité et Logique)