Reliability analysis of safety-critical and control systems: a state-of-the-art review.

Vinay Kumar Lalit Kumar Singh Anil Kumar Tripathi

Published in: IET Softw. (2018)

Keyphrases

reliability analysis
safety analysis
safety critical
control system
formal methods
agent architecture
fault tolerant
nuclear power plant
real time
embedded systems
support systems
condition monitoring
neural network
optimization model
artificial neural networks
decision making
case based reasoning
knowledge base