Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems

Author(s):  
Stefano Marrone ◽  
Camilla Papa ◽  
Valeria Vittorini
Author(s):  
G. Vijayalakshmi

With the increasing demand for high availability in safety-critical systems such as banking systems, military systems, nuclear systems, aircraft systems to mention a few, reliability analysis of distributed software/hardware systems continue to be the focus of most researchers. The reliability analysis of a homogeneous distributed software/hardware system (HDSHS) with k-out-of-n : G configuration and no load-sharing nodes is analyzed. However, in practice the system load is shared among the working nodes in a distributed system. In this paper, the dependability analysis of a HDSHS with load-sharing nodes is presented. This distributed system has a load-sharing k-out-of-(n + m) : G configuration. A Markov model for HDSHS is developed. The failure time distribution of the hardware is represented by the accelerated failure time model. The software faults are detected during software testing and removed upon failure. The Jelinski–Moranda software reliability model is used. The maintenance personal can repair the system up on both software and hardware failure. The dependability measures such as reliability, availability and mean time to failure are obtained. The effect of load-sharing hosts on system hazard function and system reliability is presented. Furthermore, an availability comparison of our results and the results in the literature is presented.


Author(s):  
C. CHELLAPPAN ◽  
G. VIJAYALAKSHMI

With the increasing demand for high reliability in mission critical systems such as space shuttle, digital flight and real time control to mention a few, reliability analysis of fault tolerant systems continues to be the focus of most researchers. The reliability analysis of triple modular redundancy (TMR) and hybrid redundancy (TMR with spares) systems is in general carried out with the assumption of failure rate being precise. However, in practice failure rate is imprecise due to the uncertainties of system operation. In this paper, the dependability analysis of hybrid redundancy systems (HRS) comprising of N-modular redundancy (NMR) and standby redundancy is presented assuming failure rates and repair rates as fuzzy numbers. Each module of the NMR is assumed to have access to a number of cold spares and a repair facility. A Markov model for the HRS is developed. As the Markov model parameters may not be precisely known due to various reasons, vertex method and α-cut method is applied. These methods allow uncertainty-based parameters that are represented as fuzzy numbers. The dependability measures such as availability and reliability are obtained. A comparative study of the fuzzy results and the conventional results using probability concepts is presented.


2018 ◽  
Vol 120 ◽  
pp. 127-154 ◽  
Author(s):  
Raj kamal Kaur ◽  
Babita Pandey ◽  
Lalit Kumar Singh

2019 ◽  
Vol 31 (8) ◽  
pp. e2202 ◽  
Author(s):  
André Luiz de Oliveira ◽  
Rosana Braga ◽  
Paulo Masiero ◽  
David Parker ◽  
Yiannis Papadopoulos ◽  
...  

Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG

Sign in / Sign up

Export Citation Format

Share Document