Integrating safety analysis and requirements engineering.
Gerald KotonyaIan SommervillePublished in: APSEC (1997)
Keyphrases
- requirements engineering
- safety analysis
- software engineering
- life cycle
- nuclear power plant
- safety critical
- goal oriented
- control system
- symbolic model checking
- software development
- requirements specification
- fault model
- development process
- literature review
- business process
- reliability analysis
- requirements engineering process
- formal methods
- agent architecture
- model checking
- distributed systems
- real time