Capitalisation et évaluation des analyses de sécurité des automatismes des systèmes de transport guidés - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue TEC Mobilité intelligente [Revue TEC : Transport Environnement Circulation] Année : 1996

Capitalisation et évaluation des analyses de sécurité des automatismes des systèmes de transport guidés

Résumé

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 tâche 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.
Fichier non déposé

Dates et versions

hal-02423115 , version 1 (23-12-2019)

Identifiants

  • HAL Id : hal-02423115 , version 1

Citer

Habib Hadj-Mabrouk. Capitalisation et évaluation des analyses de sécurité des automatismes des systèmes de transport guidés. TEC Mobilité intelligente [Revue TEC : Transport Environnement Circulation], 1996, TEC (134), pp.22-29. ⟨hal-02423115⟩
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More