Communication channels in safety analysis: An industrial exploratory case study.
Yang WangDaniel GraziotinStefan KrisoStefan WagnerPublished in: CoRR (2018)
Keyphrases
- communication channels
- safety analysis
- case study
- nuclear power plant
- safety critical
- fault model
- symbolic model checking
- control system
- information systems
- reliability analysis
- development process
- software development
- intelligent agents
- formal methods
- knowledge based systems
- fuzzy logic
- dynamic programming
- artificial intelligence