基于UPPAAL的列车自动防护系统形式化建模与验证

蒋建军, 王长林. 基于UPPAAL的列车自动防护系统形式化建模与验证[J]. 铁路计算机应用, 2014, 23(8): 42-44.

引用本文:

蒋建军, 王长林. 基于UPPAAL的列车自动防护系统形式化建模与验证[J]. 铁路计算机应用, 2014, 23(8): 42-44.

JIANG Jianjun%WANG Changlin, . UPPAAL based modeling for Train Automatic Protection System[J]. Railway Computer Application, 2014, 23(8): 42-44.

Citation:

JIANG Jianjun%WANG Changlin, . UPPAAL based modeling for Train Automatic Protection System[J]. Railway Computer Application, 2014, 23(8): 42-44.

UPPAAL based modeling for Train Automatic Protection System

摘要: 本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性.

用微信扫码二维码

分享至好友和朋友圈