Port-Based Composable Modeling and Simulation for Safety Critical System Testbed.

Yujun Zhu Zhongwei Xu Meng Mei

Published in: WISM (2012)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
real time
modeling language
control system
low cost
decision support system
load balancing
agent architecture
support systems
regulatory requirements