A comprehensive safety engineering approach for software-intensive systems based on STPA.
Asim AbdulkhaleqStefan WagnerNancy LevesonPublished in: CoRR (2016)
Keyphrases
- software intensive systems
- safety critical
- ultra large scale
- software engineering
- software systems
- requirements engineering
- formal methods
- agent architecture
- fault tolerant
- software development
- source code
- embedded systems
- development process
- goal oriented
- real time
- object oriented
- information technology
- cooperative
- case study
- decision making