Tiered Model-Based Safety Assessment

Kevin Delmas (1) , Christel Seguin (1) , Pierre Bieber (1)

1 DTIS, ONERA, Université de Toulouse [Toulouse]

Processes and techniques used for assessing the safety of a complex system are well-addressed by safety standards. These standards usually recommend to decompose the assessment process into different stages of analysis, so called tiered safety assessment. Each analysis stage should be performed by applying recommended assessment techniques. To provide confidence in the correctness of the whole analysis, some verification techniques, usually traceability checking, are applied between two stages. Even if the traceability provides some confidence in the correctness of the decomposition, the following problems remains How to model the system behaviours at each stage of safety assessment? How to efficiently use these stages during the design process? What is the formal relationship between these modelling stages? To tackle these problems, we propose a way to specify, formalize and implement the relations between assessment stages. The proposal and its pros & cons are illustrated on a Remotely Piloted Aircraft System (RPAS) use-case.

Les procédés et techniques utilisables pour évaluer la sécurité des systèmes complexes sont bien définis par les normes de sécurité. Ces normes recommande généralement de décomposer le processus d’évaluation en différents étapes de l’analyse, dite «évaluation à plusieurs niveaux de la sécurité». Chaque étape d'analyse doit être effectuée en appliquant les techniques d’évaluation recommandées. Pour donner confiance à l’exactitude de l’ensemble de l’analyse, certains techniques de vérification, généralement la vérification de la traçabilité, sont appliquées entre deux étapes. Même si la traçabilité procure une certaine confiance dans la correction de la décomposition, les problèmes suivants demeurent: Comment modéliser les comportements du système à chaque étape de l'évaluation de la sécurité? Comment utiliser efficacement ces étapes au cours du processus de conception? Quel est la relation formelle entre ces étapes de modélisation? Pour résoudre ces problèmes, nous proposer un moyen de spécifier, formaliser et mettre en œuvre les relations entre les étapes d'analyse. La proposition et ses avantages et inconvénients sont illustrés sur un cas d'étude de système d'aéronef piloté à distance (RPAS).

Mots clés: Safety; Drone; Model-based

Domaines: Sciences de l'ingénieur [physics]; Physique [physics]

Kevin Delmas, Christel Seguin, Pierre Bieber. Tiered Model-Based Safety Assessment. IMBSA 2019, Oct 2019, Thessalonique, Greece. pp.141-156, ⟨10.1007/978-3-030-32872-6_10⟩. ⟨hal-02873871⟩