基于UPPAAL的智能网联道口控制系统建模与验证.pdfVIP

第42卷第5期算机仿真2025年5月

文章编号：1006-9348(2025)05-0321-08

于UPPAAL的智能网联道口控制系统建模与验i

刘昱含13,王恪铭2,3*

（1.西南交通大学信息科学与技术学院，四川成都611756；

2.西南交通大学计算机与人工智能学院，四川成都611756；

3.西南交通大学系统可信性自动验证国家地方联合实验室，四川成都611756）

摘要：铁路平交道口作为铁路与道路运输交汇的重要地段，一旦发生事故会造成极大的人员伤亡与财产损失。现有的道口

系统大多存在设备不完善、自动化与智能化建设程度较低以及缺乏可靠的安全规范等问题。为了顺应当前智能化交通的发

展需求，针对上述问题，提出了一种智能网联道口安全防护控制系统。通过分析系统的功能流程，建立系统的信息交互网

络，明确系统的功能安全需求。基于UPPAAL对系统进行建模仿真与验证，,结果表明性质验证均通过，满足系统的充分性、

一致性、实时性与安全性需求，最后对验证后的系统进行嵌人式开发与实现，为未来道口系统的设计及其安全规范提供了理

论参考。

关键词：平交道口；系统设计；自动机理论；形式化方法；模型验证

中图分类号：N945.12;TP391.9文献标识码：B

ModelingandVerificationofIntelligentNetworkedLevel

CrossingControlSystemBasedonUPPAAL

.2,3*

LIUYu-han3,WANGKe-ming

(1.SchoolofInformationScienceandTechnology,SouthwestJiaotongUniversity,ChengduSichuan611756,China;

2.SchoolofComputingandArtificialIntelligence,SouthwestJiaotongUniversity,ChengduSichuan611756,China;

3.National-LocalJointEngineeringLaboratoryofSystemCredibilityAutomaticVerification,

SouthwestJiaotongUniversity,ChengduSichuan611756,China)

ABSTRACT:Railwaylevelcrossings,asanimportantintersectionofrailwayandroadtransportation,cancausegreat

casualtiesandpropertylossesintheeventofaccidents.Mostexistinglevelcrossingsystemshaveproblemssuchasin-

completeequipment,lowlevelsofautomationandintelligenceconstruction,andalackofreliablesafetyregulations.

Tomeetthecurrentdevelopmentneedsofintelligenttransport