CLEARSY

CLEARSY ist ein französisches Unternehmen mit 150 Mitarbeitern, dessen Haupt-Know-how in der Entwicklung und Herstellung von zertifizierten sicheren Systemen und Software-Anwendungen liegt, und zwar durch den Einsatz von formalen B-Methoden in Industriesektoren wie dem Nah- und Fernverkehr für die Entwicklung von fahrerlosen (GoA3) oder unbegleiteten (GoA4) Zugbetriebssystemen.

Zahlreiche von CLEARSY entwickelte sicherheitskritische Systeme sind heute in Frankreich und im Ausland in Betrieb, und seine Simulationswerkzeuge und Prüfstände werden von den wichtigsten Betreibern und Labors genutzt.

Eine Vielzahl von Produkten ist verfügbar: SIL4-Hardware- und Softwareplattform, Toolkit für die formale Validierung kritischer Daten, Überwachungs-Tool für Brandschutzsysteme, die gesamte Palette der SIL4-RS4-Relais, SIL4-Gleiskommunikation zur Öffnung der PSD, automatischer Zugstopp, Simulations-Tools, Prüfstände ...