Management-Control Integration for Safety-Critical Integration for Safety-Critical Discrete Operation System.

Liang Ma Yadong Zhang Xiaomin Wang

Published in: ICCAIS (2018)

Keyphrases

safety critical
nuclear power plant
fault tolerant
safety analysis
formal methods
agent architecture
embedded systems
support systems
real time
regulatory requirements
information systems
adaptive systems
management system
software engineering
context aware
monitoring system