高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息

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

UPPAAL based modeling for Train Automatic Protection System

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

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回