CLEARSY

CLEARSY  è una società francese con 160 collaboratori il cui principale know-how è la progettazione e la produzione di sistemi e di applicazioni software certificati sicuri.

CLEARSY è leader nell’utilizzo del metodo formale B basato sulla prova matematica; edita lo strumento di riferimento ATELIER B, utilizzato in particolare dai grandi industriali per lo sviluppo degli automatismi di guida dei treni e delle metropolitane con o senza macchinista.

L'utilizzo del metodo formale B è un vantaggio determinante per rispettare le norme riguardanti il massimo livello di sicurezza. Questo metodo viene utilizzato da CLEARSY nell’ambito dello sviluppo dei sistemi certificati sicuri.
Numerosi sistemi critici di sicurezza progettati da CLEARSY sono oggi in funzione in Francia e all’estero. Inoltre, i suoi strumenti di simulazione e banchi di prova sono utilizzati dai principali laboratori ed operatori.

Sono disponibili numerosi prodotti tra cui:

• piattaforma (calcolatore) hardware e software di sicurezza,
• strumento di validazione formale di dati critici,
• supervisore ed interfaccia sicura di sistemi,
• gamma completa di relè di sicurezza SIL4: RS4,
• sistemas SIL4 per l’apertura delle porte di banchina, arresto automatico dei treni…
• strumenti di simulazione, banchi di prova...

I settori di attività di CLEARSY sono il settore ferroviario, la difesa nonché il trasporto e l’energia, settore per il quale CLEARSY è terzo tecnico di fiducia di EDF (Électricité de France) per i sistemi classificati di controllo/comando.

CLEARSY è insediata in 4 siti: Aix-en-Provence, Lione, Parigi e Strasburgo.