The proposed methodology combines a primary dependability analysis technique with the representation of knowledge in order to support the development of CPSs capable to model the dependability at run-time.
Due to the wide range of possible applications, we are currently studying in depth both the theoretical and the technological issues related to the multi-paradigm dependability modeling using appropriate frameworks.
Section 3 discusses challenges in the modeling of dependability characteristics in CPS systems and uses formal methods to model and reason about dependability needs in CPS applications.
This paper introduces a systematic approach of Markov modeling to analyze the dependability of a complex fault-tolerant system.
In this paper, we propose for a model-based analysis of temporal fault trees via HiP-HOPS, whish is a state-of-the-art model-based dependability analysis method supported by tools that largely automate analysis and optimisation of systems.
He's a model of dependability for his male friends, all the things a friend should be, an ally and a confidant, lends money, gives advice, loyal, and so on, but sheer hell on women.
The method is enabled through the state-of-the-art model-based dependability tool, HiP-HOPS.
Over the past two decades, the study of model-based dependability analysis (MBDA) has gathered significant research interest.
An evaluation model of dependability for Internet-scale software on the basis of Bayesian Networks is proposed in this paper.
The integrated model of dependability can also form the basis for a new definition of the dependability engineering, namely as a superior discipline to reliability engineering, safety engineering, security engineering, resilience engineering and risk engineering.
