Dependability modelling of a fault tolerant duplex system using AADL and GSPNs
Résumé
This research report is intended to explore the possibilities of deriving Generalised Stochastic Petri Nets (GSPNs) dependability models from AADL dependability models in order to estimate dependability measures for computer-based systems.
The AADL dependability models are composed of i) AADL architecture models including the various components of the system and ii) their associated AADL error models, as described in Section 3 of this report. Our reference document for describing error models is the AADL Error Model Annex v0.8.
The main difficulties when building AADL dependability models are due to interactions between the system components. These interactions induce dependencies both at the AADL architectural model level and at the error model level (i.e., between the architectural models of the system components and between the error models associated to components - see Section 2 of this report).
The AADL dependability models are then transformed into GSPN dependability models. One of the advantages of using GSPNs lies in the existence of GSPN-based tools for system dependability measures evaluation (e.g., availability, safety, maintainability).
AADL dependability model construction and transformation into GSPN models are shown on a concrete example in this report. We have selected a fault-tolerant dynamically reconfigurable duplex system as a case study because it is simple enough to allow us to build the whole dependability model in fifty pages and complex enough to allow us to explore several kinds of dependencies.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...