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 […]