陈邦兴 陈丽君 陈广山 虞翊 徐中伟 严黎

客户机服务器 测试 计算机联锁软件 故障树 联锁软件 软件测试 有色Petri网 仿真建模 可靠性 评估 建模 自动闭塞系统 铁路信号联锁 安全性 混合Petri网 铁路区间信号 风险 安全性定量评估 安全软件 测试系统 测试用基础数据 仿真 参数 混合动态系统

同济大学信息与控制工程系 同济大学沪西校区信息与控制工程系 同济大学沪西校区安全软件测试评估研究所 同济大学沪西校区电子与信息工程学院 同济大学电子与信息工程学院