Automatic derivation of qualitative and quantitative safety requirements for aircraft systems

Bieber, Pierre; Delmas, Rémi; Seguin, Christel; Bretschneider, Matthias

doi:10.1201/b11433-339

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Cet effort mérite d'être limité non seulement en allégeant l'effort de modélisation mais aussi en proposant des outils qui aident à synthétiser des solutions correctes. Ainsi, des pistes de recherche sont explorées pour, par exemple, allouer correctement aux composants d'un système des taux de fiabilité (cf [3]) ou des niveaux d'assurance de développement (cf [4], [5]). D'autres travaux assistent la synthèse d'éléments de dynamique du système (cf [6]), par exemple pour optimiser la maintenance d'un business jet (cf [7]).…”

Section: Introductionunclassified

Modèles dysfonctionnels pour la gestion de la qualité de service des systèmes critiques

Sannino¹,

Sprauel²,

Seguin³

2016

Congrès Lambda Mu 20 De Maîtrise Des Risques Et De Sûreté De Fonctionnement

View full text Add to dashboard Cite

Cet article présente une approche de modélisation et d'analyse permettant d'optimiser la qualité des services rendus par des systèmes qui doivent satisfaire des exigences de sûreté de fonctionnement. Un modèle de Gestion des Modes Dégradés (GMD) est proposé pour faciliter la capture des connaissances sur l'architecture et les modes de fonctionnement d'un système en phase amont de conception. Les spécifications GMD peuvent ensuite être compilées en d'autres modèles mathématiques afin d'assister la conception du système de différentes façons. Une compilation en modèle AltaRica permet de vérifier qu'une spécification satisfait bien les exigences de sécurité qui lui sont applicables. Une compilation en processus décisionnels markovien sous contrainte de chemin permet de concevoir les politiques de reconfiguration de modes qui optimisent la qualité de service du système. Un prototype d'outil a été développé pour faciliter la réalisation et l'analyse des modèles GMD. L'outil a été appliqué à un système avionique afin d'évaluer expérimentalement la validité du concept.

show abstract