Requirements Engineering for Safety-Critical Systems: Overview and Challenges.
Luiz Eduardo Galvão MartinsTony GorschekPublished in: IEEE Softw. (2017)
Keyphrases
- safety critical
- software intensive systems
- requirements engineering
- formal methods
- fault tolerant
- software engineering
- safety analysis
- embedded systems
- life cycle
- information systems
- adaptive systems
- agent architecture
- support systems
- machine learning
- real world
- requirements specification
- software development
- distributed systems
- management system
- goal oriented
- database
- software requirements
- databases
- real time