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.

Parmi les domaines où COSMOS a déjà été appliqué avec succès, nous pouvons citer : les véhicules autonomes, les pacemakers, l’analyse de l’expression génétique, les ateliers de manufacture.

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)