Abstract—The development process of safety-critical systems benefits from the early identification of failures affecting them. Several techniques have been designed in order to face this issue, among them Failure Mode Effect Analysis (FMEA). Although FMEA has been mainly thought for hardware systems, the increasing responsibilities assigned to software (SW) have fostered its application to SW as well (SW-FMEA), exacerbating the complexity of the analysis. Ontologies have been proposed as a way to formalize the SW-FMEA process and to give precise semantics to the involved concepts and data. We present a framework, based on an ontological model, which, beyond other capabilities, supports the collection of SW metrics enabling automatic identification of SW components not attaining the required level of assurance.
Integrating metrics in an ontological framework supporting SW-FMEA / Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario. - STAMPA. - (2012), pp. 35-41. (Intervento presentato al convegno 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM 2012)) [10.1109/WETSoM.2012.6226991].
Integrating metrics in an ontological framework supporting SW-FMEA
BICCHIERAI, IRENE;BUCCI, GIACOMO;NOCENTINI, CARLO;VICARIO, ENRICO
2012
Abstract
Abstract—The development process of safety-critical systems benefits from the early identification of failures affecting them. Several techniques have been designed in order to face this issue, among them Failure Mode Effect Analysis (FMEA). Although FMEA has been mainly thought for hardware systems, the increasing responsibilities assigned to software (SW) have fostered its application to SW as well (SW-FMEA), exacerbating the complexity of the analysis. Ontologies have been proposed as a way to formalize the SW-FMEA process and to give precise semantics to the involved concepts and data. We present a framework, based on an ontological model, which, beyond other capabilities, supports the collection of SW metrics enabling automatic identification of SW components not attaining the required level of assurance.File | Dimensione | Formato | |
---|---|---|---|
Published.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
562.65 kB
Formato
Adobe PDF
|
562.65 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.