Perturbation Based Workload Augmentation for Comprehensive Functional Safety Analysis.

V. Prasanth Rubin A. Parekhji Bharadwaj Amrutur

Published in: VLSI Design (2019)

Keyphrases

safety analysis
nuclear power plant
control system
symbolic model checking
safety critical
fault model
reliability analysis
fuzzy logic
real time
partial observability
cooperative
model checking
formal verification