Characterization of Failure Effects on AADL Models

Autor:	Bernhard Ern, Thomas Noll, Viet Yen Nguyen
Rok vydání:	2013
Předmět:	Fault tree analysis Set (abstract data type) Engineering business.industry Architecture Analysis & Design Language Transition system System requirements specification Fault injection business Failure mode and effects analysis Reliability engineering System model
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642407925 SAFECOMP
Popis:	Prior works on model-based Failure Modes and Effects Analysis (FMEA) automatically generate a FMEA table given the system model, a set of failure modes, and a set of possible effects. The last requirement is critical as bias may occur: since the considered failure effects are restricted to the anticipated ones, unexpected effects - the most interesting ones - are disregarded in the FMEA. In this paper, we propose and investigate formal concepts that aim to overcome this bias. They support the construction of FMEA tables solely based on the system model and the failure modes, i.e., without requiring the set of effects as input. More concretely, given a system specification in the Architecture Analysis and Design Language (AADL), we show how to derive relations that characterize the effects of failures based on the state transition system of that specification. We also demonstrate the benefits and limitations of these concepts on a satellite case study.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::77bec33dd997d070dfe2c6d34026bcf5 https://doi.org/10.1007/978-3-642-40793-2_22 Zobrazit plný text záznamu