Centre de recherche Saclay - Île-de-France

Cosmos

Cosmos

Un outil de sûreté probabiliste pour domaines critiques

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)

 

 

Fiche technique

  • Langage : C++
  • Licence : GPLv3
  • Format disponible : source, linux 64 build, MacOS build
  • Possible compilation sur toute installation UNIX
  • Site web de Cosmos
Santé
Défense & Sécurité
Industrie
Secteur tertiaire

COSMOS est capable de :

• 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.

Découvrez le logiciel Cosmos

L'équipe Mexico

Ils nous font confiance