Sécurité des logiciels critiques développés par la méthode B
EL KOURSI
Type de document
COMMUNICATION AVEC ACTES NATIONAL (ACTN)
Langue
francais
Auteur
EL KOURSI
Résumé / Abstract
Ces dernières années, les automatismes de sécurité comme la protection automatique des trains (ATP) ou l'enclenchement des itinéraires (interlocking systems) des réseaux de transports guidés se sont complexifiés et ont nécessité l'utilisation des systèmes informatisés. Les premiers systèmes faisant appel au logiciel sont apparus en 1978. Depuis, les logiciels ont pris une part importante dans les automatismes de sécurité. Cet article traite de la sécurité des logiciels critiques dans les transports terrestres guidés. La première partie présente l'évolution des automatismes en France et donne un aperçu sur l'introduction progressive des logiciels critiques. Dans la deuxième partie, on s'intéresse à l'utilisation des méthodes formelles pour le développement et l'évaluation des logiciels critiques.
