White-Box Error Effect Simulation for Assisted Safety Analysis.

Sebastian Reiter Alexander Viehl Oliver Bringmann Wolfgang Rosenstiel

Published in: DSD (2015)

Keyphrases

safety analysis
white box
black box
safety critical
nuclear power plant
control system
fault model
symbolic model checking
source code
error rate
machine learning
training data
symbolic representation