Modèles Dysfonctionnels pour la Gestion de la Qualité de Service des Systèmes Critiques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Dysfunctional Models for Managing the Quality of Service of Safety Critical Systems

Modèles Dysfonctionnels pour la Gestion de la Qualité de Service des Systèmes Critiques

Résumé

This paper presents a modelling and analysis approach for optimizing the quality of the services provided by systems under dependability requirements. A model of Management of Degraded Modes (MDM) is introduced to facilitate the capture of knowledge about architecture and system operation modes in early design phase. The MDM specifications can then be compiled in other mathematical models to assist the design of the system in different ways. A compilation into AltaRica models supports the verification of the safety requirements applicable to the system. A compilation into Markov decision processes under path constraint supports the design of reconfiguration policies that optimize the quality of the system services. A prototype tool was developed to facilitate the implementation and analysis of MDM models. The tool has been applied to an avionics system to experimentally assess the validity of the concept.
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.
Fichier principal
Vignette du fichier
DCSD16071.1472049801.pdf (965.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01383917 , version 1 (19-10-2016)

Identifiants

  • HAL Id : hal-01383917 , version 1

Citer

C. Sannino, J. Sprauel, C. Seguin. Modèles Dysfonctionnels pour la Gestion de la Qualité de Service des Systèmes Critiques. Lamda Mu 20, Oct 2016, SAINT-MALO, France. ⟨hal-01383917⟩

Collections

ONERA
44 Consultations
39 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More