Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment.
Yang WangStefan WagnerPublished in: CoRR (2018)
Keyphrases
- safety analysis
- symbolic model checking
- agile development
- control system
- nuclear power plant
- safety critical
- fault model
- binary decision diagrams
- pair programming
- software development
- model checking
- software evolution
- formal methods
- software engineering
- decision making
- information systems
- real time
- model checker
- reliability analysis
- software systems
- decision support system
- cooperative