Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment.
Yang WangStefan WagnerPublished in: XP (2018)
Keyphrases
- safety analysis
- nuclear power plant
- safety critical
- symbolic model checking
- agile development
- control system
- binary decision diagrams
- fault model
- software development
- formal methods
- software engineering
- pair programming
- cooperative
- reliability analysis
- model checking
- information systems
- condition monitoring
- agent architecture
- early stage