Latest news from the project are shown below.
The paper "Executable Models to Support Automated Software FMEA", by Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi,
Paolo Lollini, András Pataricza, and Andrea Bondavalli, has been accepted for the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE'15), to be held in January 2015 in Daytona Beach, Florida, USA.
The approach proposed in the 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.