Exploring fault types, detection activities, and failure severity in an evolving safety-critical software system.
Maggie HamillKaterina Goseva-PopstojanovaPublished in: Softw. Qual. J. (2015)
Keyphrases
- safety critical
- nuclear power plant
- safety analysis
- formal methods
- embedded systems
- fault tolerant
- agent architecture
- regulatory requirements
- support systems
- activity recognition
- adaptive systems
- real time
- fault detection
- fault model
- software intensive systems
- fault diagnosis
- data mining
- human activities
- daily life
- health care
- formal specification
- software systems
- user interface
- artificial intelligence