Failure Analysis in Safety Critical Systems Using Failure State Machine.

Anit Thapaliya Daehui Jeong Gihwon Kwon

Published in: CSA/CUTE (2017)

Keyphrases

safety critical
safety analysis
state machine
fault tolerant
embedded systems
formal methods
machine learning
control system
nuclear power plant
software engineering
distributed systems
intelligent systems
building blocks
finite state machines
support systems
knowledge base
artificial intelligence