CLEARSY

Créateur de logiciels & de systèmes sécuritaires

La société CLEARSY

CLEARSY a été fondée le 1er Janvier 2001 par l’équipe d’ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle nommé Atelier B, utilisé dans le secteur du ferroviaire pour réaliser les logiciels de sécurité.

CLEARSY : ingénierie de systèmes sécuritaires

Nous sommes une PME française, spécialisée dans la réalisation de systèmes et de logiciels sécuritaires de niveau SIL1 à SIL4. Nous développons des systèmes complexes en assurant leur conception, jusqu’à leur mise en service, en passant par leur validation, vérification et étude de sécurité.

CLEARSY réalise notamment des systèmes et logiciels sûrs dans les domaines ferroviaire, automobile, militaire, spatial et nucléaire.

Télécharger la brochure 

Télécharger la présentation des produits 

Télécharger la présentation des produits ferroviaires

Présentation

Actualités

Deux décennies d’application industrielle de la méthode formelle B.
La mise à disposition de l’Atelier B 4.7  concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le […]
Le nouvel Atelier B 4.7 est disponible.
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de […]
Le superviseur de système de sécurité incendie (SSI) CLEARSY conforme à la norme SSI américaine NFPA 130.
Une analyse de norme a été réalisée afin de déterminer si le superviseur de système de sécurité incendie (SSI) CLEARSY […]
L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans …
L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]
CLEARSY présente à la conférence internationale « ICT for railway », 7 au 8 décembre 2021 à Toulouse.
CLEARSY a le plaisir d’annoncer sa présence à la conférence ICT qui aura lieu du 7 au 8 décembre 2021 […]
Le défi de la cybersécurité des systèmes sûrs.
Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans […]

Logiciels & systèmes sécuritaires

Tous nos systèmes et logiciels sécuritaires disponibles ci-dessous. Vous avez une problématique spécifique, contactez-nous.

Nous joindre

Besoin d’un système sûr, sur-mesure ?