Reliability Prediction of Fault Tolerant Automotive Systems

We propose to standardize two Matlab/Simulink models of automotive systems as benchmark problems for hybrid system verification. Bothmodels can be simulated quickly, making them ideal for testing-based verification methods that require a significant number of system output trajectories. One of the benchmarks is the Automatic Transmission model, which is deterministic. The other benchmark is the Fault-Tolerant Fuel Control System, which exhibits stochastic behavior. Our benchmark standardization defines a number of Metric Temporal Logic requirements that must be satisfied by the models.

Download Full-text

Analysis of a Fault-Tolerant Framework for Reliability Prediction of Service-Oriented Architecture Systems

IEEE Transactions on Reliability ◽

10.1109/tr.2020.2968884 ◽

2020 ◽

pp. 1-36

Author(s):

Meng-Chu Chiang ◽

Chin-Yu Huang ◽

Cheng-Yang Wu ◽

Chun-Ying Tsai

Keyword(s):

Service Oriented Architecture ◽

Fault Tolerant ◽

Reliability Prediction ◽

Service Oriented

Download Full-text

Reliability Prediction of Computing Network with Software and Hardware Failures

International Journal of Reliability Quality and Safety Engineering ◽

10.1142/s0218539320400069 ◽

2019 ◽

Vol 27 (02) ◽

pp. 2040006

Author(s):

Chandra Shekhar ◽

Neeraj Kumar ◽

Madhu Jain ◽

Amit Gupta

Keyword(s):

Fault Tolerant ◽

Transient State ◽

Reliability Prediction ◽

Time To Failure ◽

Failure Times ◽

Machine Interference ◽

Random Failure ◽

Software And Hardware ◽

Hardware Failures ◽

Mean Time

In this paper, we investigate the reliability and queueing performance indices for the fault-tolerant computing network having a finite number of unreliable operating components with the provision of warm standby components. Operating and standby components are governed by dedicated software which is also prone to random failure. On failure of operating components, available standby component(s) may switch from the standby state to operating state with negligible switchover time. The switchover process may also fail due to some automation hindrance. The computing network is also subjected to common cause failure in lieu of external cause. The studied redundant fault-tolerant computing network is framed as a Markovian machine interference model with exponentially distributed inter-failure times and service times. For the reliability prediction of the computing network, various performance measures, namely, mean-time-to-failure (MTTF), reliability/availability, failure frequency, etc., have been formulated in terms of transient-state probabilities which we have obtained using the spectral method. To show the practicability of the developed model, numerical simulation has been done. Sensitivity analysis of reliability and other indices of the computing network with respect to different network parameters has been presented, and results are summarized in the tables and graphs. Finally, future scope and concluding remarks have been included.

Download Full-text