Sign in

A Tool for Databus Safety Analysis Using Fault Injection.

Dawid TrawczynskiJanusz SosnowskiJanusz 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