Formal Dependability Modeling and Analysis: A Survey

Ahmad, Waqar; Hasan, Osman; Tahar, Sofiène

doi:10.1007/978-3-319-42547-4_10

Cited by 12 publications

(10 citation statements)

References 58 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the traditional methods are designed for the system with static architecture, which are not powerful enough for evaluating the dependability of SCPS. In this survey, we focus on the dependability evaluation methods for dynamic system (SCPS can be considered as a kind of dynamic system), and the detailed introduction of traditional dependability V&V methods refers to [102][103][104][105][106][107][108][109].…”

Section: Current Researches On Model Based Dependability Vandv For Scpsmentioning

confidence: 99%

“…The theory and traditional means of dependability [102][103][104][105][106][107][108][109] have been well-studied for a long time. As the investigations listed in Table 1 indicate, the traditional dependability methods are still the mainstream choice to guarantee the dependability of SCPS, which get impressive results, especially in guaranteeing the dependability of infrastructures.…”

Section: Traditional Solutions To Improve the Dependability Of Infrasmentioning

confidence: 99%

See 1 more Smart Citation

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou¹,

Zuo²,

Hou³

et al. 2019

Preprint

View full text Add to dashboard Cite

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and rare survey has been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human error and to simplify management, self-management CPS (SCPS) is a wise choice. And to achieve dependable self-management, systematic solution is necessary to verify the design and to guarantee the safety of self-adaptation decision, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focus on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means; then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaption, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaption, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

show abstract

Section: Current Researches On Model Based Dependability Vandv For Scpsmentioning

confidence: 99%

Section: Traditional Solutions To Improve the Dependability Of Infrasmentioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou¹,

Zuo²,

Hou³

et al. 2019

Preprint

View full text Add to dashboard Cite

show abstract

“…Due to its importance, dependability evaluation is an issue widely addressed in the literature, especially on WSNs. Several papers can be founded surveying some aspect of dependability on WSNs [ 10 , 15 , 16 , 17 , 18 , 19 , 20 , 21 , 22 , 23 , 24 , 25 ], while some others papers survey WVSNs [ 26 , 27 , 28 , 29 , 30 , 31 ] as their main research areas. However, just a few works have discussed dependability aspects of WVSNs, with emphasis on the availability assessment [ 14 , 32 , 33 , 34 , 35 ].…”

Section: Related Workmentioning

confidence: 99%

Automated Methodology for Dependability Evaluation of Wireless Visual Sensor Networks

Jesus

Portugal

Vasques

et al. 2018

Sensors

View full text Add to dashboard Cite

Wireless sensor networks have been considered as an effective solution to a wide range of applications due to their prominent characteristics concerning information retrieving and distributed processing. When visual information can be also retrieved by sensor nodes, applications acquire a more comprehensive perception of monitored environments, fostering the creation of wireless visual sensor networks. As such networks are being more often considered for critical monitoring and control applications, usually related to catastrophic situation prevention, security enhancement and crises management, fault tolerance becomes a major expected service for visual sensor networks. A way to address this issue is to evaluate the system dependability through quantitative attributes (e.g., reliability and availability), which require a proper modeling strategy to describe the system behavior. That way, in this paper, we propose a methodology to model and evaluate the dependability of wireless visual sensor networks using Fault Tree Analysis and Markov Chains. The proposed modeling strategy considers hardware, battery, link and coverage failures, besides considering routing protocols on the network communication behavior. The methodology is automated by a framework developed and integrated with the SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) tool. The achieved results show that this methodology is useful to compare different network implementations and the corresponding dependability, enabling the uncovering of potentially weak points in the network behavior.

show abstract

“…Similarly, the work presented in [168], proposes to first construct the FT formally by using the Observational Transition Systems (OTS) [169] and then conduct the formal analysis by using CafeOBJ [170,170], which is a formal specification language that verifies software and hardware systems interactively. Moreover, a higher-order-logic formalization of FT gates has been recently proposed in [171,172,122], which allows conducting the FT analysis within the sound core of a higher-order-logic theorem prover. However, none of the above-mentioned works have been used to conduct the formal dependability analysis in the domain of communication networks.…”

Section: Formal Models With Fault Treementioning

confidence: 99%

Reliability modeling and analysis of communication networks

Ahmed

Hasan

Pervez

et al. 2017

Journal of Network and Computer Applications

Self Cite

View full text Add to dashboard Cite

In recent times, the functioning of various aspects of modern society-ranging from the various infrastructural utilities such as electrical power, water to socio-economical aspects such as telecommunications, business, commerce, education-has become critically reliant on communication networks, and particularly on the Internet. With the migration of critical facilities to the Internet, it has become vitally important to ensure the reliability and availability of networks. In this paper, we study various modeling and analysis techniques that can aid in the study of reliability of communication networks. In this regard, we provide background on the modeling techniques (such as reliability block diagrams, fault trees, Markov chains, etc.) and analysis techniques (such as mathematical analytical methods, simulation methods, and formal methods). Apart from providing the necessary background, we also critically evaluate the pros and cons of different approaches, and provide a detailed survey of their applications in communication networks. To the best of our knowledge, this is the first in-depth review of the application of reliability modeling and analysis techniques in communication networks. work, the ability of a network to maintain an acceptable reliability level under extreme environmental conditions and assess the impact of design changes on the reliability of the overall network [17]. Similarly, the availability prediction allows us to evaluate various maintenance design options to achieve the desired availability of the network [18].The qualitative and quantitative reliability analysis requires the selection of an appropriate mathematical modeling and analysis technique. The modeling technique must be able to effectively capture the important parameters of the real system and the analysis technique should be capable of providing insights into the system behavior without running (or executing) the real system. There are numerous techniques that can provide analysis in the early phase, when only initial details are available of the design, and there are other techniques that cater the analysis of the later design phases, when more precise implementation details are available [16]. Some of the most widely used formalisms/techniques for modeling reliability and availability of communication networks are: Reliability Block Diagram (RBD) [19], Fault Tree (FT) [20], and Markov Chain (MC) [21]. Traditionally, the models developed using these techniques are analyzed using analytical methods or simulation tools.Recently, the computer networks community has shown great interest in the utilization of formal methods [22] as a reliability analysis technique for communication networks. Formal methods use mathematical logic to precisely model the system's intended behavior and deploy mathematical reasoning to construct an irrefutable proof that the given system satisfies its requirements. This kind of mathematical modeling and analysis makes formal methods an accurate and rigorous analysis method compared to the traditional a...

show abstract

Formal Dependability Modeling and Analysis: A Survey

Cited by 12 publications

References 58 publications

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Automated Methodology for Dependability Evaluation of Wireless Visual Sensor Networks

Reliability modeling and analysis of communication networks

Contact Info

Product

Resources

About