Bookmark and Share

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

Show full item record

Files in this item

PDF lm20_com_3R_3_200_Seguin.pdf 1046.Kb

Pour citer ce document :
URI: http://hdl.handle.net/2042/61853  |   DOI : 10.4267/2042/61853
Title: Modèles dysfonctionnels pour la gestion de la qualité de service des systèmes critiques
Author: Sannino, Christian; Sprauel, Jonathan; Seguin, Christel
Abstract: Cet article présente le modèle de Gestion des Modes Dégradés (GMD) et les outils associés. Le concept a été proposé pour faciliter la spécification et la validation amont de systèmes critiques dynamiquement reconfigurables. La chaîne d’outils intègre des compilateurs vers le langage AltaRica et les processus décisionnels markoviens pour bénéficier des outils existants d’évaluation de sécurité et de synthèse de politiques dereco~fguration optimisant la qualité de service du système. L’outil a été appliqué à un système avionique afin d’évaluer expérimentalement la validité du concept.This paper presents the model of Management of Degraded Modes (MDM) and the associated toolchain. The concept has been proposed to ease the early specification and validation of safety critical system that are dynamically reconfigurable. The toolchain integrates the compilation of GMD models into AltaRica models or into Markov Decision processes to support the system safety assessment and the synthesis of reconfiguration policies that optimize the system quality of service. The tool has been applied to an avionics system to experimentally assess the validity of the concept.
Publisher: IMdR, Institut pour la Maîtrise des risques
Date: 2016

This item appears in the following Collection(s)

Show full item record