Clearsy

À propos

ClearSy Railway est la branche spécialisée de ClearSy dans la réalisation de systèmes et logiciels sécuritaires pour le milieu du ferroviaire. De la conception, à leur mise en service, en passant par leur validation, vérification, et étude de sécurité; ClearSy développe des systèmes certifiés de SIL1 à SIL4. En tant qu'auteur de l'outil de modélisation formelle appelé l'Atelier B, ClearSy s'est engagée à diffuser et faire connaître le potentiel des méthodes formelles dans le développement de systèmes critiques.