Combining STPA and BDD for safety analysis and verification in agile development.

Yang Wang Stefan Wagner

Published in: ICSE (Companion Volume) (2018)

Keyphrases

safety analysis
symbolic model checking
control system
safety critical
nuclear power plant
agile development
fault model
binary decision diagrams
model checking
reliability analysis
pair programming
software development
software evolution
boolean functions
fault tolerant
early stage