A Quantitative Approach to SoC Functional Safety Analysis.

Shivakumar Chonnad Radu Iacob Vladimir Litovtchenko

Published in: SoCC (2018)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
embedded systems
model checking
formal methods
artificial intelligence