分散控制计算机联锁系统建模的研究

• 作者: 黄菊
• 来源期刊: 上海铁道科技
• 关键词: 分散控制计算机联锁系统 时间自动机 UPPAAL 建模
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 铁道集锦
• 页码范围: 103-105
• 页数: 3页
• 字数: 2773字
• 语种: 中文

摘要

通过对分散控制计算机联锁系统建模与验证分析,提出在设计早期发现系统存在的未知故障,减少软件系统设计错误,可为分散控制计算机联锁软件的设计提供参考和指导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄菊	西南交通大学信息科学与技术学院	1	1	1.0	1.0