La confrontation procédures - exigences de sécurité dans LELIE : études de cas

Abstract

RésuméLe projet ANR LELIE est dédié à l'analyse et à la prévention des risques en milieu industriel tels qu'ils sont détectables à partir des documents techniques élaborés par ces industries, en particulier les documents procéduraux qui sont de loin les plus importants ainsi que les exigences. Les risques couvrent aussi bien les accidents du travail que les risques écologiques. Le projet se concentre sur l'analyse des textes procéduraux (liés à la production, la maintenance, l'installation, etc.) via des formalismes et des technologies d'analyse de la langue naturelle et de l'intelligence artificielle. Un point important de ce projet est lié à la détection du non-respect d'exigences de sécurité dans les procédures. Le but est de s'assurer que les consignes ou avertissements de sécurité indiqués dans la réglementation, dans une base d'exigences métier ou dans des fiches de sécurité sont présents, non ambigus, complets et au bon endroit dans les procédures concernées. SummaryThe ANR project LELIE is dedicated to risk analysis and prevention in industrial contexts as they can be detected from technical documents, in particular procedures and requirements. Risks cover health as well as ecological problems. This project concentrates on the analysis of procedural texts (texts related to production, launch, maintenance, etc.) via natural language and artificial intelligence formalisms and tools. An important point is the detection of the lack or of partial specifications of security requirements in texts. The objective of this paper is to show via examples how safety requirements can be checked in procedures by making sure they are comprehensive, non-ambiguous, and at the right place(s) in the text.