Qu'est-ce que CompoSys ?
CompoSys est un outil de conception formelle d'architecture système.
Développé par la société ClearSy, société spécialiste en développement de systèmes sécuritaires, CompoSys est un outil de modélisation de systèmes qui bénéficie des outils formels et de l'expérience de l'Atelier B. CompoSys possède de nombreuses fonctionnalités, parmi lesquelles nous pouvons compter :
-
un processus de modélisation couplée : méthode formelle B / langage naturel
-
des vérifications automatiques et semi-automatiques de la cohérence du modèle
-
une génération automatique du document final et de différentes vues du système
