Thématiques

CLEARSY investit significativement en R&D dans le domaine de l’ingénierie sécurité, afin de développer de nouveaux outils et valider de […]

CLEARSY développe des consoles sécuritaires pour répondre à des besoins industriels de contrôle et de visualisation.

Les activités de CLEARSY dans ce secteur concernent essentiellement la sûreté de fonctionnement des logiciels embarqués ainsi que le diagnostic […]

Dans le domaine de l’embarqué et suite à la nouvelle norme STI PMR liée à l’accès des personnes à mobilité […]

Depuis sa création en 2001, CLEARSY a fait le pari d'utiliser les méthodes formelles pour la réalisation de systèmes critiques.

CLEARSY a développé plusieurs systèmes sécuritaires commandant l'ouverture et la fermeture de façades de quai installées dans les stations de métro.

La MÉTHODE B est une méthode de spécification formelle capable de retranscrire de manière rigoureuse les exigences d’un cahier des […]

Dans le cadre de ses partenariats, CLEARSY développe des systèmes sécuritaires spécifiques, dont notamment des dispositifs permettant le freinage (Freinage […]