A systematic approach for safety evidence collection in the safety-critical domain.
Huan LinJi WuChunchun YuanYaping LuoMark van den BrandLuc EngelenPublished in: SysCon (2015)
Keyphrases
- safety critical
- safety analysis
- nuclear power plant
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- support systems
- regulatory requirements
- domain specific
- adaptive systems
- cooperative
- database
- knowledge based systems
- low cost
- domain independent
- distributed systems
- management system
- artificial intelligence