×
徐天华;唐涛;高春海;蔡白根

列车控制系统中数据通信系统的可靠性分析。 （英语） Zbl 1177.90075号

科学。中国，Ser。E类 52，第9期，2605-2618（2009）.
小结：基于通信的列车控制（CBTC）系统以移动通信为基础，克服固定闭塞，以提高轨道利用率和列车安全。列车与轨旁设备之间的数据通信系统（DCS）是CBTC系统安全高效运行的关键因素。需要对各种传输条件下的可靠性进行建模和评估。本文为基于DCS的IEEE 802.11标准开发了一个随机奖励网（SRN）模型，该模型以简洁的方式捕获了所有相关的故障和故障恢复行为系统方面。我们比较了有无接入点（AP）和天线冗余配置的DCS的可靠性、可用性。我们还定量评估和比较了三种DCS配置在一个无线蜂窝中具有不同列车速度和列车数量的帧丢失概率。采用定点迭代法简化分析。数值结果表明，全冗余配置的可靠性、可用性和帧丢失概率指数都有显著提高。

引用于2文件

MSC公司：

90B18号机组 运筹学中的通信网络
90B25型 运筹学中的可靠性、可用性、维护和检查
93立方厘米 控制理论中的应用模型

关键词：

可靠性分析;数据通信系统;随机报酬网;基于通信的列车控制

软件：

MoDeST公司;SPNP公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Xu}等人，科学。中国，Ser。E 52，编号92605-2618（2009年；兹bl 1177.90075）
全文： 内政部

参考文献：

[1] Jansen L，Meyer zu Hörste M，Schnieder E.欧洲列车控制系统建模中的技术问题。摘自：第一届CPN研讨会会议记录。丹麦：奥胡斯大学，1998年。103–115
[2] Meyer zu Hörste M，Schnieder E.使用Petri网对列车控制系统进行建模和仿真。In:Wing J M，Woodcock J，Davies J，eds.FM'99形式方法。世界计算系统开发形式方法大会。柏林：Springer Verlag，1999年。1867–1883
[3] Damm W，Klose J.使用STATMATE验证环境验证无线信号系统。形式方法系统设计，2001，19（2）：121–141·Zbl 0990.68568号 ·doi:10.1023/A:1011279932612
[4] Chiappini A、Cimatti A、Porzia C等。安全关键型列车管理系统的正式规范和开发。摘自：第18届国际计算机安全会议记录。可靠性和安全性。柏林：Springer Verlag，1999年。410–419
[5] Zimmermann A，Hommel G。ETCS实时通信和操作的建模和评估。《系统软件杂志》，2005，77（1）：47–54·Zbl 05434140号 ·doi:10.1016/j.jss.2003.12.039
[6] Hermanns H，Jansen D N，Usenko Y S.从StoCharts到MoDeST：列车无线电通信的比较可靠性分析。收录：WOSP’05。第五届软件与性能国际研讨会论文集。纽约：ACM出版社，2005年。13–23
[7] Bianchi G.IEEE 802.11分布式协调功能的性能分析。IEEE J Sel Area Commun，2000，18（3）：535–547·数字对象标识代码：10.1109/49.840210
[8] Heindl A，German R.使用随机Petri网的IEEE 802.11无线局域网的性能建模。执行评估，2001，44（1-4）：139-164·Zbl 1013.68009号 ·doi:10.1016/S0166-5316（00）00053-5
[9] Hirel C，Tuffin B，Trivedi K S.SPNP：随机Petri网。6.0版。在：第11届计算机性能评估国际会议论文集——建模技术和工具。柏林：施普林格出版社，2000年。354–357 ·Zbl 0970.68681号
[10] Ciardo G，Blakemore A，Chimento P F，等。使用随机奖励网自动生成和分析马尔可夫奖励模型。线性代数，马尔可夫链和排队模型，C.Meyer和R.Plemmons，ed.，Springer-Verlag，1993，145-191·Zbl 0799.60085号
[11] Peteron J L.Petri网理论与系统建模。普伦蒂斯·霍尔，1981年
[12] Trivedi K S、Muppala J K、Woolet S P等。复合材料性能和可靠性分析。执行评估，2005，14（3-4）：197-215·Zbl 0757.90028号 ·doi:10.1016/0166-5316（92）90004-Z
[13] Kao E P C.随机过程简介。太平洋格罗夫：达克斯伯里出版社，1997年·Zbl 0891.68123号
[14] Ortega J M，Rheinboldt W C.多变量非线性方程的迭代解。纽约：学术出版社，1970年·Zbl 0241.65046号
[15] 李开平，高志勇，杨丽霞。基于元胞自动机的列车控制系统建模与仿真。科学中国服务电子技术科学，2007，50（6）：765–773·邮编：1180.90055 ·doi:10.1007/s11431-007-0080-7
[16] Peccoud J、Courtney T、Sanders W H.Mobius：集成离散事件建模环境。生物信息，2007，23（24）：3412–3414·Zbl 05325224号 ·doi:10.1093/bioinformatics/btm517
[17] 部门I S.802.11:IEEE无线局域网媒体访问控制（MAC）标准和物理层（PHY）规范。1999年版，IEEE标准协会
[18] Whitom F.无线网络技术与轨道交通行业信号的集成。技术报告，阿尔卡特电信评论公司金融阿尔卡特，巴黎，2003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。