From Safety Analysis to Software Requirements.
Kirsten Mark HansenAnders P. RavnVictoria StavridouPublished in: IEEE Trans. Software Eng. (1998)
Keyphrases
- safety analysis
- software requirements
- nuclear power plant
- software systems
- safety critical
- control system
- systems development
- functional requirements
- fault model
- software development
- software architecture
- symbolic model checking
- development process
- requirements engineering
- knowledge based systems
- software engineering
- reliability analysis
- metamodel
- real time
- cooperative
- software design
- adaptive systems
- agent architecture
- low cost
- relational databases
- case study
- machine learning