System reliability is an important non-functional requirement whose satisfaction is even crucial for mission critical systems. However, the increase in both system complexity and accuracy required in the reliability analyses often makes inadequate traditional techniques which are mainly based on statistical and probabilistic tools and on the hierarchical decomposition of the system in terms of its components. Moreover, the integration of classical techniques in typical system development processes, and especially in the design phases, is quite difficult and thus their use is often postponed to the later development stages (e.g. system verification) with the possible risk of having to revise even basic design choices and with a consequent increase in both completion time and development cost. To address these issues, the paper proposes a Model-Based method for system reliability analysis which combines in a unified framework the benefits of popular OMG modeling languages (UML, SysML) with the wide adopted Mathworks simulation and analysis environments (Matlab, Simulink). The flexibility and scalability of the proposal, as well as its effectiveness in evaluating through simulation the system reliability performances, is exemplified through a case study concerning the reliability analysis of a Flight Management System.

A Model-Based method for System Reliability Analysis

GARRO, Alfredo;TUNDIS A.
2012-01-01

Abstract

System reliability is an important non-functional requirement whose satisfaction is even crucial for mission critical systems. However, the increase in both system complexity and accuracy required in the reliability analyses often makes inadequate traditional techniques which are mainly based on statistical and probabilistic tools and on the hierarchical decomposition of the system in terms of its components. Moreover, the integration of classical techniques in typical system development processes, and especially in the design phases, is quite difficult and thus their use is often postponed to the later development stages (e.g. system verification) with the possible risk of having to revise even basic design choices and with a consequent increase in both completion time and development cost. To address these issues, the paper proposes a Model-Based method for system reliability analysis which combines in a unified framework the benefits of popular OMG modeling languages (UML, SysML) with the wide adopted Mathworks simulation and analysis environments (Matlab, Simulink). The flexibility and scalability of the proposal, as well as its effectiveness in evaluating through simulation the system reliability performances, is exemplified through a case study concerning the reliability analysis of a Flight Management System.
2012
978-1-61839-786-7
Integrated avionics systems; Model-Based systems engineering; Reliability analysis; SysML
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/164533
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 3
social impact