Executable Models to Support Automated Software FMEA
Research Area: | Uncategorized | Year: | 2015 | ||
---|---|---|---|---|---|
Type of Publication: | In Proceedings | ||||
Authors: | Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli | ||||
Book title: | Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering (HASE'15) | ||||
Pages: | 189-196 | ||||
Address: | Daytona Beach Shores, FL | ||||
Month: | 8-10 January | ||||
ISBN: | 978-1-4799-8110-6 | ||||
BibTex: |
|||||
Note: | © IEEE, 2015. This is the author's version of the work. It is posted here by permission of IEEE for your personal use. Not for redristibution. The final publication is available at ieeexplore.ieee.org |
||||
Abstract: | Safety analysis is increasingly important for a wide class of systems. In the automotive field, the recent ISO26262 standard foresees safety analysis to be performed at system, hardware, and software levels. Failure Modes and Effects Analy-
sis (FMEA) is an important step in any safety analysis process, and its application at hardware and system levels has been extensively addressed in the literature. Conversely, its application to
software architectures is still to a large extent an open problem, especially concerning its integration into a general certification process. The approach we propose in this paper aims at performing semi-automated FMEA on component-based software architectures described in UML. The foundations of our approach are model-execution and fault-injection at model-level, which allows
us to compare the nominal and faulty system behaviors and thus assess the effectiveness of safety countermeasures. Besides introducing the detailed workflow for SW FMEA, the work in this
paper focuses on the process for obtaining an executable model from a component-based software architecture specified in UML. |
||||
Full text:
![]() |