Aide à la validation système de la spécification d’une machine numérique

Abstract

Cet article présente une méthode résultant de travaux destinés aux maîtres d’ouvrage pour diminuer les risques dus aux insuffisances de spécification. La méthode est basée sur une modélisation cohérente tant de la spécification que de la réalisation de la machine. Elle s’appuie sur des analyses classiques mais améliorées de sûreté de SdF (AMEC, AEEL, FTA,…) pour identifier de façon très rapide les scénarios résultants les plus critiques, correspondant aux coupes minimales d’ordre les plus faibles pour proposer des solutions pour y remédier.

This paper presents a method resulting from works intended for owners to reduce risks due to the shortcomings of specification. The method is based on consistent modelling both the specification and the construction of the machine. It relies on classic but improved dependability analyses (FMECA, SEEA, FTA,...) to identify very quickly the most critical resulting scenarios, corresponding to the lowest minimum order cuts to propose solutions to address them.