A new safety-guided design methodology to complement model-based safety analysis for safety assurance.

Minghui Sun Cody H. Fleming

Published in: CoRR (2022)

Keyphrases

safety analysis
design methodology
safety critical
nuclear power plant
control system
symbolic model checking
fault model
fuzzy neural network
reliability analysis
expert systems
fuzzy logic
design process
fault tolerant
agent architecture
formal specification
databases