A Systematic Way to Incorporate Security in Safety Analysis.

Elena Lisova Aida Causevic Kaj Hänninen Henrik Thane Hans Hansson

Published in: DSN Workshops (2018)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
fault tolerant