Strategic Traceability for Safety-Critical Projects.
Patrick MäderPaul L. JonesYi ZhangJane Cleland-HuangPublished in: IEEE Softw. (2013)
Keyphrases
- safety critical
- case study
- fault tolerant
- embedded systems
- nuclear power plant
- formal methods
- safety analysis
- agent architecture
- support systems
- knowledge management
- adaptive systems
- life cycle
- project management
- decision making
- software architecture
- real time
- software development
- case based reasoning
- intelligent agents
- distributed systems
- low cost
- regulatory requirements