The dependability analysis is crucial for a wide range of systems. It becomes even more difficult to assess when dealing with cyber-physical systems (CPSs), being resulting as an integration of physical and cyber parts, strongly interacting to provide a service or a function. In this context, the dependability analysis of a Deicing System (DS), which aims at preventing or decreasing the ice accretion on safety critical components of the aircraft, is experimented by exploiting the RAMSAS method, i.e. a novel model-based method to support the dependability analysis of systems. It allows the evaluation of dysfunctional behaviors of systems, through some available modeling practices combined with simulation techniques. Specifically, this paper aims at virtually assessing the design process of the DS by flexibly evaluating its performances, in terms dependability indices, through the exploitation of RAMSAS. Furthermore, it supports the engineers to compare different design choices as well as to guide them for selecting and integrating properly system components before its actual realization.

Dependability assessment of a deicing system through the RAMSAS method

Tundis, Andrea;Garro, Alfredo;
2017

Abstract

The dependability analysis is crucial for a wide range of systems. It becomes even more difficult to assess when dealing with cyber-physical systems (CPSs), being resulting as an integration of physical and cyber parts, strongly interacting to provide a service or a function. In this context, the dependability analysis of a Deicing System (DS), which aims at preventing or decreasing the ice accretion on safety critical components of the aircraft, is experimented by exploiting the RAMSAS method, i.e. a novel model-based method to support the dependability analysis of systems. It allows the evaluation of dysfunctional behaviors of systems, through some available modeling practices combined with simulation techniques. Specifically, this paper aims at virtually assessing the design process of the DS by flexibly evaluating its performances, in terms dependability indices, through the exploitation of RAMSAS. Furthermore, it supports the engineers to compare different design choices as well as to guide them for selecting and integrating properly system components before its actual realization.
9781538634035
Avionics; Cyber Physical Systems; Dependability Analysis; Modeling and Simulation; Performance Evaluation; Hardware and Architecture; Control and Systems Engineering
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/270209
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 2
social impact