Variability-aware safety analysis using delta component fault diagrams.

Christoph Seidl Ina Schaefer Uwe Aßmann

Published in: SPLC Workshops (2013)

Keyphrases

safety analysis
fault model
nuclear power plant
safety critical
control system
fault diagnosis
condition monitoring
symbolic model checking
software components
fault detection
cooperative
expert systems
low cost
embedded systems
description language