针对O-MaSE的列控系统仿真测试管理器分布式架构的建模及验证.pdfVIP

中文摘要 摘要：仿真测试是保证CTCS．3级列控系统的功能、性能和故障．安全性符合系统 需求规范的重要手段之一。 本文针对如何改进和提高CTCS．3级列控系统仿真测试平台的仿真测试手段和 质量等问题，以多Agent系统为理论背景，利用0．MaSE建模方法描述和构建了 仿真测试平台的总体架构模型：并以平台核心模块仿真测试管理器为例，提出了 基于O．MaSE的仿真测试管理器分布式架构模式。 T001对其需求进行分析，将CTCS．3级 论文首先利用0．MaSE建模工具Agent 列控仿真测试平台总体目标划分为若干子目标并进行映射关联，从而降低了平台 的系统分析复杂度；同时将平台组织化并分配对应于目标的子任务，形式化表述 了组织化的内部结构特性，设置完成相应任务的角色模型，将关联角色组装成为 主体，再对主体的架构分析进行分布式部署。 其次开展了以主体扮演角色——角色具备能力——能力提供服务——服务完 成任务——任务达成目标为思路的模型设计，提出了CTCS．3级列控系统仿真测试 平台的建模过程。 最后建立了基于O，MaSE的列控系统仿真测试管理器分布式架构的模型，并通 过对测试序列的列车实时运行场景进行仿真测试，验证了分布式架构的合理性， 并提高了仿真测试管理器的仿真可信度和仿真质量，以及o．MaSE理论结合列控 系统仿真测试平台的可扩展性。 分类号：U284．91 AB STRACT ABSTRACT：111esinmlation of仃aillcon缸Dl isa testingtecllIlology syStemimportant t0me of aIld ofCllina’s the aLspect developmenttecllllologysecurity railwaXespecially CTCS-3level仃ainC0n仃ol syst锄． mthis meissueon to how aIlde111lallcetllememodsa11d pap％to im】?roVe quality oft11eSimulationTestBenchof CTCS-31evel扛aincon仃ol tothe system，according t11eor“cal of me 2Lst11ecoreoftlle baCkgrouIldMulti-ageIltsystcIll，usingmeory memodofme overalls觚tI鹏oftheSimulationTestBenchis modeling O—MaSE，me des嘶bcdandcons仃ucted．GivcnaIl ofmeSinmlationTcst asme ex锄ple MaIlagcr coreofme dis臼伯uted砌item鹏modeofmeSinmlationTcst based BenCh，a Mallager onO—MaSEis proposed． Theuseof t001