Hadj-Mabrouk, HabibEl Koursi, El MiloudiHouriez, BernardMillot, Patrick
Cet article expose les différentes phases d'une recherche destiné à la conception d'un outil d'aide ê la certification des Systèmes de Transport Automatisés(STA) afin d'apprécier l'adéquation des équipements de protection proposés. L'objectif visé à travers cet outil est d'une part d'évaluer la consistance des scénarios d'insécurité proposés par le...
Cette thèse présente une solution pour tenter de répondre au manque de systèmes dédiés à la formation. Elle décrit un générateur d'environnements d'apprentissage. On y propose d'une part un cadre formel pour la description des connaissances composant ces systèmes et d'autre part des outils permettant au créateur d'application d'instancier ce cadre ...
Cet article présente une étude de faisabilité d'un système à base de connaissances pour l'aide à la certification des Systèmes de Transport Terrestre Automatisé (STA). L'étude nous a conduit à introduire conjointement des techniques d'acquisition de connaissances et d'apprentissage symbolique-numérique. L'approche développée met à contribution deux...
L'exploitation d'un nouveau Système de Transport Terrestre Automatisé (STA) tel que le VAL d'Orly, pose le problème de l'évaluation de son degré de sécurité. Cette tâche est menée actuellement par des spécialistes de l'INRETS appelés "Experts certifieurs". Ceux-ci s'attachent à vérifier la conformité sur le plan de la sécurité d'un nouveau STA. La ...
Hadj-Mabrouk, HabibMejri, LassaadEl Koursi, El MiloudiHouriez, Bernard
L'article présente les différentes phases d'une recherche destiné au développement d'un outil logiciel d'aide à l'analyse de la sécurité ainsi qu'à la certification des Systèmes de Transport Automatisés (STA) afin d'apprécier l'adéquation des équipements de protection proposés. L'objectif de cet outil est, d'une part d'évaluer la consistance des sc...
Ce mémoire présente une contribution à l'amélioration des méthodes usuelles d'analyse de sécurité employées dans le cadre de la certification des systèmes de transport automatisés (STA). La mission des experts de certification consiste à apprécier le caractère sécuritaire d'un nouveau STA en évaluant la complétude des scénarios d'accidents envisagé...
Ce mémoire de thèse de Doctorat présente une contribution à l'amélioration des méthodes usuelles d'analyse de sécurité employées dans le cadre de la certification des systèmes de transport automatisés (STA). La mission des experts de certification consiste à apprécier le caractère sécuritaire d'un nouveau STA en évaluant la complétude des scénarios...