Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES NATIONAL (ACTN)

Langue

francais

Auteur

HADJ-MABROUK

Résumé / Abstract

Généralement, le processus de construction de la sécurité d'un système comporte plusieurs analyses de sécurité hiérarchisées. Dans ce processus, l'une des difficultés consiste à s'assurer de l'exhaustivité et de la cohérence des différentes analyses par la recherche des situations contraires à la sécurité non prises en compte lors de l'élaboration du dossier de sécurité. Afin de mieux appréhender ces lacunes nous avons défini un axe de recherche baptise 'AVIS' (acquisition et validation des connaissances de sécurité) qui a pour ambition d'améliorer l'élaboration et l'évaluation des différentes analyses de sécurité, en traquant l'erreur non seulement au niveau système, matériel et logiciel, mais aussi au niveau humain. L'approche suivie pour concevoir et mettre en ?uvre l'axe de recherche 'AVIS' est centrée sur l'emploi des techniques d'intelligence artificielle (méthodes d'acquisition, de représentation et de validation de connaissances, l'apprentissage symbolique automatique et les systèmes à base de connaissances) et des facteurs humains. Cette étude porte plus précisément sur les thèmes suivants : - modélisation, capitalisation et validation des connaissances ; - méthodes et stratégies d'évaluation des études de sécurité au niveau système, matériel et logiciel ; - intégration des facteurs humains et de l'ergonomie dans le processus d'analyse de sécurité et de développement des systèmes de transports guides. L'ensemble de ces thèmes est actuellement regroupé dans un axe de recherche baptisé 'AVIS' qui comporte sept projets de recherche complémentaires illustrés à la figure 1. - 1. Projet sapristi : système expert d'aide à l'analyse préliminaire de risques (APR) ; 2. Projet ACASYA : système d'aide à la capitalisation, à la classification, à l'évaluation et à la génération des scénarios d'accidents, basé sur des techniques d'apprentissage automatique ; - 3. Projet SAUTREL : système d'aide aux analyses des effets des erreurs de logiciels (AEEL) de sécurité base sur le raisonnement a partir de cas ; - 4. Projet SASEM : système à base de connaissances pour l'aide à l'analyse des modes de défaillance, de leurs effets et de leur criticité (AMDEC) des équipements matériels ; - 5. Projet FACTHUS : méthode d'intégration des facteurs humains dans l'analyse de sécurité et le développement des systèmes; - 6. Projet SPECIALS : méthode de spécification et d'aide à l'évaluation des logiciels critiques de sécurité basée sur l'utilisation des graphes conceptuels de SOWA; 7. Projet VALIDE : méthode de validation des connaissances de sécurité.