Capitalisation et évaluation des analyses de sécurité d'automatismes des systèmes de transport guidés
HADJ-MABROUK
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
HADJ-MABROUK
Résumé / Abstract
Cet article propose une description générale de quatre maquettes d'outils d'aide à l'analyse et à l'examen de la sécurité des systèmes de transport terrestre guidés : - SAPRISTI pour l'aide à l'élaboration et à l'évaluation des analyses préliminaires de risques, - CLASCA pour l'aide à la modélisation, à la capitalisation et à la classification des scénarios d'accidents, - EVALSCA pour l'aide à l'évaluation de la consistance des scénarios d'accidents, - SAUTREL pour l'aide aux analyses des effets des erreurs de logiciels de sécurité. Ces outils dont l'objectif est l'amélioration de la tache cruciale d'évaluation des analyses de sécurité, reposent en grande partie sur l'emploi des techniques d'intelligence artificielle et notamment sur l'utilisation des méthodes d'acquisition et de modélisation de connaissances, des systèmes à base de connaissances et des méthodes d'apprentissage symbolique automatique.
