Trace link evolution across multiple software versions in safety-critical systems.
Mona RahimiPublished in: ICSE (Companion Volume) (2016)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- nuclear power plant
- agent architecture
- support systems
- real time
- software intensive systems
- adaptive systems
- user interface
- low cost
- case based reasoning
- regulatory requirements
- health monitoring
- software components
- software systems
- knowledge acquisition
- distributed systems
- software engineering
- information systems
- artificial intelligence