Approche formelle pour systèmes critiques

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. Le succès rencontré par:

• le métro automatique Meteor L14 de Paris,
• le contrôle de vitesse des trains par balise KVB,
• le contrôle de l’ouverture de portes palières,
• la détection d’individu dans les lacunes DIL,
• la validation formelles des données embarquées dans les trains et systèmes de signalisation,
• la vérification formelle de sécurité de systèmes ferroviaires complets

a permis de conforter cette approche.
Les méthodes formelles s’appliquent avec justesse et efficacité, principalement dans le domaine ferroviaire où leur usage est hautement recommandé pour les systèmes les plus critiques.

Télécharger notre brochure « Formal Methods in the Railways »

CLEARSY dispose d’un savoir faire unique, d’outils éprouvés et de compétences de premier plan pour répondre au challenge de la construction, de la vérification, de la validation et de la certification de systèmes critiques.