首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于UML建模的计算机联锁进路模块Petri网验证
引用本文:薛丰,杨扬,谢林.基于UML建模的计算机联锁进路模块Petri网验证[J].铁路计算机应用,2017,26(4):10-14.
作者姓名:薛丰  杨扬  谢林
作者单位:西南交通大学 信息科学与技术学院,成都 611756
摘    要:对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。

关 键 词:车站联锁    UML    Petri网    建模
收稿时间:2016-11-28

Verification of computer interlocking route module by Petri net based on UML modeling
Institution:School of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China
Abstract:Route module is one of the important parts in railway station computer interlocking software, it can be modeled by using UML. For disadvantages that UML is lack of precise semantics, lack of model analysis and validation methods, Petri net, which has strict theoretical analysis method, was used to formal verifying for the module, ensure the accuracy and security of the module.
Keywords:
点击此处可从《铁路计算机应用》浏览原始摘要信息
点击此处可从《铁路计算机应用》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号