A Tool for Databus Safety Analysis Using Fault Injection.

Dawid Trawczynski Janusz Sosnowski Janusz Zalewski

Published in: SAFECOMP (2006)

Keyphrases

fault model
safety analysis
fault injection
symbolic model checking
model based diagnosis
java card
nuclear power plant
safety critical
fault tolerant