基于SysML的CTCS-3级列控系统建模与深度分析：提升高铁运行安全与效率的关键路径

基于SysML的CTCS-3级列控系统建模与深度分析：提升高铁运行安全与效率的关键路径一、引言1.1研究背景与意义1.1.1研究背景近年来，我国高速铁路取得了举世瞩目的发展成就，截至2022年底，中国高速铁路营业里程达到4.2万公里，位居世界第一，已建成的高速铁路网覆盖了全国大部分主要城市和地区。高速铁路凭借其快速、安全、舒适等优势，成为人们出行的首选交通方式之一，极大地促进了区域经济发展和人员流动。列车运行控制系统作为高速铁路的核心技术之一，对保障列车运行安全和提高运输效率起着至关重要的作用。CTCS-3级列控系统作为我国高速铁路广泛应用的列车运行控制系统，基于GSM-R无线通信实现车地信息双向传输，无线闭塞中心（RBC）生成行车许可，轨道电路实现列车占用检查，应答器实现列车定位，同时以CTCS-2级列车运行控制系统为后备系统，满足了最高运行速度350km/h、追踪间隔3min的运行需求，有效保证了列车运行安全，显著提高了列车运行效率。然而，随着我国高速铁路建设的持续推进以及运输需求的不断增长，CTCS-3级列控系统也面临着一系列新的挑战。一方面，系统的复杂性不断增加，涉及多个子系统和大量设备，各子系统之间的交互关系错综复杂，这给系统的设计、开发、测试和维护带来了极大的困难；另一方面，对系统安全性、可靠性和实时性的要求越来越高，任何潜在的故障或漏洞都可能引发严重的安全事故，造成巨大的经济损失和社会影响。传统的系统分析和设计方法难以应对CTCS-3级列控系统的复杂性和高要求，因此，引入先进的建模与分析技术迫在眉睫。系统建模语言（SysML）作为一种通用的建模语言，能够从多个角度对复杂系统进行全面、直观的描述和分析，为解决CTCS-3级列控系统面临的问题提供了有效的途径。通过基于SysML对CTCS-3级列控系统进行建模和分析，可以深入理解系统的结构、行为和性能，提前发现潜在的问题和风险，为系统的优化设计和改进提供有力支持。1.1.2研究意义本研究基于SysML对CTCS-3级列控系统进行建模和分析，具有重要的理论和实践意义。在理论方面，丰富了列车运行控制系统领域的建模与分析方法。SysML在其他领域已有广泛应用，但在CTCS-3级列控系统中的应用研究还相对较少。本研究将SysML引入该领域，拓展了SysML的应用范围，为进一步深入研究列车运行控制系统的特性和规律提供了新的思路和方法，有助于推动相关理论的发展和完善。在实践方面，首先，能够有效提升CTCS-3级列控系统的安全性和可靠性。通过SysML建模，可以全面、系统地分析系统的各种功能和行为，识别潜在的安全隐患和故障模式，提前采取相应的措施进行预防和改进，从而降低系统故障发生的概率，保障列车的安全运行。其次，有助于优化系统设计，提高系统的性能和效率。通过对系统进行建模和仿真分析，可以对不同的设计方案进行比较和评估，选择最优的设计方案，同时还可以对系统的性能指标进行优化，提高系统的整体运行效率，满足日益增长的铁路运输需求。最后，为CTCS-3级列控系统的维护和升级提供了便利。基于SysML建立的系统模型可以作为系统维护和升级的重要参考依据，使维护人员能够更快速、准确地理解系统的结构和工作原理，及时发现和解决问题，同时也便于在系统升级时对新功能和新特性进行建模和分析，确保系统的兼容性和稳定性。综上所述，本研究对于保障我国高速铁路的安全、高效运行，推动铁路技术的发展具有重要的现实意义。1.2国内外研究现状在国内，对CTCS-3级列控系统的研究一直是铁路领域的重点。众多学者和科研机构围绕CTCS-3级列控系统的各个方面展开了深入研究，包括系统的架构设计、功能实现、安全性分析、可靠性评估等。在系统架构设计方面，研究人员致力于优化系统的整体结构，提高系统的集成度和协同工作能力，以满足高速铁路不断增长的运输需求；在功能实现方面，不断探索新的技术和方法，提升列车的控制精度和运行效率，如对行车许可计算、车地通信等关键功能进行优化；在安全性分析和可靠性评估方面，运用多种方法对系统进行全面的风险评估和故障预测，提出了一系列有效的安全保障措施和可靠性提升策略。同时，国内也在积极探索SysML在CTCS-3级列控系统中的应用。一些研究尝试利用SysML对CTCS-3级列控系统进行需求建模，通过建立用例图、需求图等模型，清晰地描述系统的功能需求和非功能需求，为后续的系统设计和开发提供准确的依据；还有研究利用SysML进行系统架构建模，构建系统的模块结构和接口关系，直观地展示系统的组成和架构，有助于系统的集成和维护；此外，在系统行为建模方面，通过状态机图、活动图等模型，对列车的运行过程和系统的工作流程进行建模和分析，深入研究系统的动态行为和性能特性。在国外，对于列车运行控制系统的研究同样取得了丰硕的成果。国外的一些先进列控系统，如欧洲的ETCS（欧洲列车运行控制系统），在技术和应用方面具有丰富的经验。ETCS采用了先进的通信和控制技术，实现了列车的高效运行和安全控制，其相关的研究成果和实践经验为我国CTCS-3级列控系统的发展提供了重要的参考和借鉴。在SysML的应用方面，国外已经在航空航天、汽车制造等多个领域广泛应用，并取得了显著的成效。在铁路领域，虽然SysML的应用相对较少，但也有一些研究将其用于铁路信号系统和列车控制系统的建模和分析。这些研究主要集中在利用SysML对系统进行功能建模和行为建模，通过建立详细的模型来分析系统的性能和可靠性，为系统的设计和优化提供支持。然而，目前国内外对于基于SysML的CTCS-3级列控系统建模和分析的研究还存在一些不足之处。一方面，虽然已经开展了一些相关研究，但大多数研究还处于探索阶段，尚未形成完善的、系统化的建模和分析方法体系；另一方面，在实际应用中，如何将SysML模型与CTCS-3级列控系统的工程实践更好地结合，如何利用建模和分析结果指导系统的设计、开发和测试等方面，还需要进一步深入研究和实践验证。1.3研究内容与方法1.3.1研究内容本研究主要基于SysML对CTCS-3级列控系统进行全面的建模和分析，具体研究内容包括以下几个方面：系统需求分析：深入研究CTCS-3级列控系统的功能需求和非功能需求，利用SysML的需求图、用例图等模型，对系统需求进行详细的描述和建模，明确系统的功能边界和性能指标，为后续的系统设计和开发提供准确的需求依据。系统架构设计：运用SysML的模块图、内部块图等模型，对CTCS-3级列控系统的架构进行设计和建模，构建系统的模块结构和接口关系，清晰展示系统的组成和架构，分析各模块之间的交互关系和数据流向，为系统的集成和实现提供指导。系统行为建模：采用SysML的状态机图、活动图等模型，对CTCS-3级列控系统的运行过程和行为进行建模和分析，研究列车在不同运行场景下的状态转换和控制流程，分析系统的动态行为和性能特性，验证系统设计的合理性和正确性。系统验证与分析：利用SysML的相关工具和方法，对建立的系统模型进行验证和分析，检查模型的一致性、完整性和正确性。通过仿真和模拟，评估系统的性能指标，如安全性、可靠性、实时性等，发现系统设计中存在的问题和潜在风险，并提出相应的改进措施和优化建议。1.3.2研究方法为了实现上述研究内容，本研究将综合运用多种研究方法：文献研究法：广泛查阅国内外关于CTCS-3级列控系统和SysML的相关文献资料，包括学术论文、研究报告、技术标准等，了解该领域的研究现状和发展趋势，总结前人的研究成果和经验，为本研究提供理论基础和研究思路。案例分析法：选取实际的CTCS-3级列控系统项目案例，对其系统需求、架构设计、运行过程等进行深入分析，结合SysML的建模方法，将实际案例转化为SysML模型，通过对案例的研究和分析，验证和完善基于SysML的建模和分析方法，使其更具实用性和可操作性。建模与仿真法：运用SysML建模工具，如EnterpriseArchitect、MagicDraw等，对CTCS-3级列控系统进行建模，构建系统的需求模型、架构模型和行为模型。利用建模工具提供的仿真功能，对建立的模型进行仿真分析，模拟系统在不同场景下的运行情况，评估系统的性能指标，验证系统设计的合理性和有效性。专家咨询法：在研究过程中，邀请铁路领域的专家和学者对研究内容和成果进行咨询和指导，听取他们的意见和建议，及时调整和完善研究方案，确保研究的科学性和可靠性。二、CTCS-3级列控系统与SysML概述2.1CTCS-3级列控系统2.1.1系统构成CTCS-3级列控系统由地面设备和车载设备两大部分构成，各部分相互协作，共同保障列车的安全、高效运行。地面设备：无线闭塞中心（RBC）：作为CTCS-3级列控系统的核心地面设备，RBC基于信号故障安全计算机运行。它主要负责收集轨道电路、联锁进路等信息，通过严谨的逻辑运算和分析，生成准确的行车许可（MA），并借助GSM-R无线通信系统，将行车许可、线路参数（如坡度、线路固定限速等）、临时限速等关键信息及时、可靠地传输给CTCS-3级车载设备。同时，RBC也通过GSM-R无线通信系统接收车载设备发送的位置和列车数据等信息，以便实时掌握列车的运行状态，从而实现对列车运行的精确控制和管理。列控中心（TCC）：TCC在CTCS-3级列控系统中发挥着重要作用，它是CTCS-2级系统的核心设备，在CTCS-3级系统中作为后备系统的关键组成部分。TCC能够接收轨道电路传来的信息，并通过联锁系统将这些信息传送给RBC，为RBC生成行车许可提供重要的数据支持。此外，TCC还具备轨道电路编码功能，根据列车运行的实际情况和线路条件，对轨道电路的编码进行合理设置，以准确地向列车传输相关信息；具备应答器报文储存和调用功能，能够根据列车的位置和运行需求，快速、准确地调取相应的应答器报文，确保列车获得准确的定位和运行信息；具备站间安全信息传输功能，实现相邻车站之间的安全信息交互，保障列车在区间运行的安全；具备临时限速功能，能够根据临时限速命令，对列车的运行速度进行有效的限制，满足后备系统在各种情况下的安全运行需要。ZPW-2000（UM）系列轨道电路：主要用于实现列车占用检查和完整性检查。通过轨道电路的电气特性变化，准确判断列车是否占用轨道以及列车的完整性情况，为列控系统提供列车位置的基础信息。在CTCS-3级列控系统中，轨道电路不仅是列车占用检查的重要手段，其检测结果也为RBC生成行车许可提供了关键依据，确保行车许可的生成与列车实际占用情况相匹配，从而保障列车运行的安全间隔。应答器（含LEU）：应答器是一种点式信息传输设备，分为无源应答器和有源应答器。无源应答器主要向车载设备传输定位和等级转换等固定信息，为列车提供精确的位置基准和等级转换的相关参数；有源应答器则可根据LEU（地面电子单元）的指令，向车载设备传送线路参数、临时限速等动态信息。LEU负责将来自TCC的报文连续向有源应答器发送，实现有源应答器信息的实时更新。应答器传输的信息与无线传输的信息在相关内容含义上保持一致，相互补充和验证，确保车载设备获取的信息准确、可靠，满足后备系统对信息的需求，同时也为列车在不同运行条件下的安全运行提供了多维度的信息支持。GSM-R通信接口设备：是实现车地信息双向传输的关键桥梁，通过GSM-R网络，构建起车载设备与地面设备之间稳定、高效的通信链路。它确保了RBC与车载设备之间的信息交互能够及时、准确地进行，无论是RBC向车载设备发送的行车许可、线路参数等控制信息，还是车载设备向RBC反馈的列车位置、运行状态等信息，都依赖于GSM-R通信接口设备及其所依托的GSM-R网络来完成传输，从而实现列车运行的实时监控和精确控制。车载设备：车载安全计算机（VC）：作为车载设备的核心，车载安全计算机犹如列车运行的“智能大脑”。它根据地面设备通过GSM-R通信系统传来的行车许可、线路参数、临时限速等信息，以及动车组自身的参数（如列车类型、制动性能等），按照目标距离连续速度控制模式，运用复杂的算法和模型，精确计算并生成动态速度曲线。该曲线为列车的运行提供了实时的速度控制依据，车载安全计算机通过持续监控列车的实际运行速度与动态速度曲线的关系，当列车速度接近或超过限制速度时，及时发出制动命令，精确调整列车的运行速度，确保列车始终在安全的速度范围内运行，有效防止列车超速和越过危险点，保障列车运行的安全。GSM-R无线通信单元（RTU）：负责与地面的GSM-R通信接口设备建立稳定的通信连接，实现车载设备与地面设备之间的数据传输。它接收来自RBC的各种控制信息，并将这些信息准确无误地传输给车载安全计算机；同时，将车载安全计算机生成的列车位置、运行状态等信息发送给RBC，使地面系统能够实时掌握列车的动态，为实现列车的实时监控和调度指挥提供了通信保障。轨道电路信息接收单元（TCR）：能够接收轨道电路发送的信息，对轨道电路传输的信号进行解析和处理，获取列车占用轨道的相关信息以及部分行车许可信息。这些信息作为辅助数据，与其他设备获取的信息相互印证和补充，为车载安全计算机生成准确的动态速度曲线提供了更多的参考依据，进一步提高了列车运行控制的可靠性和准确性。应答器信息接收模块（BTM）：当列车经过应答器时，BTM能够迅速接收应答器发送的信息，包括定位信息、等级转换信息、线路参数和临时限速等信息。它对这些信息进行初步的处理和解析后，将其传输给车载安全计算机，使车载安全计算机能够及时获取列车当前位置的详细信息以及线路的相关参数，从而更好地进行速度控制和运行决策，确保列车在不同的线路条件和运行场景下都能安全、稳定地运行。记录单元（JRU/DRU）：主要用于记录列车运行过程中的各种关键数据和事件，如列车的运行速度、位置、收到的控制命令、设备状态等信息。这些记录数据对于列车运行状态的事后分析、故障诊断以及系统的优化改进都具有重要的价值。在列车发生故障或异常情况时，通过对记录单元中的数据进行详细分析，可以快速、准确地找出问题的根源，为故障的排查和修复提供有力的支持；同时，通过对大量运行数据的统计和分析，还可以发现系统潜在的问题和优化空间，为系统的持续改进和升级提供数据依据。人机界面（DMI）：是司机与车载设备之间进行信息交互的重要界面，它以直观、清晰的方式向司机显示列车运行的各种关键信息，如列车运行速度、允许速度、目标速度、目标距离、当前运行模式等。同时，司机也可以通过DMI向车载设备输入相关指令，如切换运行模式、确认信息等。DMI的设计充分考虑了人机工程学原理，操作简便、信息显示明确，有助于司机及时了解列车运行状态，做出准确的驾驶决策，保障列车的安全运行。列车接口单元（TIU）：实现了车载设备与列车其他系统（如车辆制动系统、牵引系统等）之间的电气连接和信息交互。它将车载安全计算机发出的控制指令准确地传输给列车的制动系统和牵引系统，实现对列车的速度控制和运行状态调整；同时，将列车其他系统的状态信息反馈给车载设备，使车载设备能够全面了解列车的整体运行状况，为列车运行控制提供更全面、准确的信息支持。2.1.2工作原理CTCS-3级列控系统基于GSM-R无线通信实现车地信息传输、生成行车许可及监控列车运行，其工作原理紧密围绕这几个关键环节展开，以确保列车运行的安全与高效。车地信息传输：借助GSM-R通信网络，CTCS-3级列控系统实现了车载设备与地面设备之间大容量、双向、实时的信息传输。地面设备中的RBC通过GSM-R通信接口设备，将包含行车许可、线路参数、临时限速等关键信息的数据包发送给车载设备；车载设备则通过GSM-R无线通信单元，将列车的位置、速度、运行状态等信息反馈给RBC。这种双向的信息交互是系统实时监控列车运行状态、及时调整控制策略的基础。例如，当列车在线路上运行时，RBC可以根据列车实时反馈的位置信息，结合前方线路的占用情况、进路状态等，动态更新行车许可，并迅速将新的行车许可发送给列车，确保列车始终按照安全的运行计划行驶。行车许可生成：RBC作为生成行车许可的核心设备，依据多方面的信息来确定列车的行车许可。首先，RBC实时获取轨道电路提供的列车占用信息，准确掌握各个轨道区段的占用情况，判断哪些区段可供列车行驶；其次，RBC接收联锁系统传来的进路状态信息，明确列车前方的进路是否已准备好，以及进路的具体走向和限制条件；此外，RBC还会考虑线路的固定参数（如坡度、曲线半径等对列车运行速度的限制）以及临时限速等特殊情况。综合这些信息，RBC运用复杂的算法和逻辑，精确计算出列车的行车许可，包括列车可以行驶的最远位置、允许的最高速度等关键参数，并通过GSM-R通信系统将行车许可及时发送给车载设备。例如，当某一区间的前方出现施工，需要对列车进行临时限速时，RBC会根据临时限速命令，结合列车当前位置和前方线路情况，重新计算行车许可，降低列车在该区间的允许速度，并将新的行车许可发送给列车，确保列车在限速区间内安全运行。列车运行监控：车载安全计算机在接收到RBC发送的行车许可、线路参数、临时限速等信息后，结合动车组自身的参数，按照目标距离连续速度控制模式生成动态速度曲线。该曲线是列车运行的速度基准，车载安全计算机持续实时监控列车的实际运行速度与动态速度曲线的关系。当列车实际运行速度接近或超过动态速度曲线所规定的限制速度时，车载安全计算机立即启动相应的制动措施。首先，当列车速度超过允许速度2km/h时，车载设备触发报警，提醒司机注意速度变化；当速度超过5km/h时，车载设备启动常用制动，通过控制列车的制动系统，逐渐降低列车速度；若速度继续上升，超过15km/h时，车载设备将触发紧急制动，迅速使列车停车，以确保列车运行安全。同时，车载设备还会根据地面设备传来的信息以及自身的计算结果，通过人机界面（DMI）向司机显示列车运行的相关信息，如当前速度、允许速度、目标速度、目标距离等，为司机提供直观的驾驶参考，辅助司机做出正确的驾驶决策。例如，在列车高速行驶过程中，如果司机未能及时注意到速度变化，导致列车速度接近限制速度，车载安全计算机将及时采取制动措施，避免列车超速行驶，保障列车运行的安全。2.1.3应用现状与发展趋势应用现状：CTCS-3级列控系统在我国高速铁路建设中得到了广泛应用，成为保障高速铁路安全、高效运行的关键技术之一。截至目前，我国已开通运营的高速铁路中，大部分都采用了CTCS-3级列控系统，如京沪高铁、京广高铁、沪昆高铁等众多繁忙干线。这些线路在CTCS-3级列控系统的支持下，实现了高速、高密度的列车运行，满足了日益增长的旅客运输需求。以京沪高铁为例，该线路是我国最繁忙的高速铁路之一，日均开行列车数量众多，运输密度极大。CTCS-3级列控系统的应用，使得列车能够以300-350km/h的速度安全、稳定运行，最小追踪间隔可达3分钟，大大提高了线路的运输能力和效率。同时，CTCS-3级列控系统与CTCS-2级列控系统的兼容设计，为系统的可靠性和安全性提供了双重保障。当CTCS-3级列控系统中的某些关键设备（如RBC或GSM-R通信系统）出现故障时，列车可以自动切换至CTCS-2级列控系统继续运行，确保列车在故障情况下仍能维持一定的运行速度和安全间隔，有效避免了因系统故障导致的列车停运和安全事故。发展趋势：随着科技的不断进步和铁路运输需求的持续增长，CTCS-3级列控系统也在不断演进和发展，未来主要呈现出智能化和自动化的发展趋势。智能化发展趋势：一方面，利用大数据、人工智能等先进技术，对列车运行过程中产生的海量数据进行深度挖掘和分析。通过对列车运行状态、设备故障信息、线路状况等数据的实时监测和分析，实现对列车运行的智能预测和故障预警。例如，通过对列车运行数据的长期积累和分析，建立列车设备的故障预测模型，提前预测设备可能出现的故障，及时安排维护检修，避免设备故障对列车运行造成影响；另一方面，实现列控系统的智能决策和自适应控制。根据实时的线路条件、列车运行状态和运输需求，系统能够自动优化行车许可的生成和速度控制策略，实现列车的智能驾驶和节能运行。例如，在不同的线路坡度、天气条件下，系统能够自动调整列车的运行速度和牵引制动策略，以达到最佳的运行效率和能耗控制。自动化发展趋势：进一步提高列车运行的自动化程度，逐步实现列车的自动驾驶（ATO）功能。ATO功能可以使列车在车站自动发车、区间自动运行、自动调整速度、自动停车以及自动完成车门与站台门的联动等操作。这不仅可以减轻司机的工作强度，提高列车运行的准确性和一致性，还能进一步提高线路的运输效率和安全性。目前，我国已经在部分线路上开展了ATO技术的试点应用，并取得了良好的效果。未来，随着技术的不断成熟和完善，ATO功能有望在更多的高速铁路线路上得到推广应用，推动我国高速铁路向更加自动化、智能化的方向发展。2.2SysML2.2.1SysML的定义与特点定义：SysML（SystemModelingLanguage）即系统建模语言，是对象管理组织（OMG）在对UML2.0的子集进行重用和扩展的基础上提出的，专门用于系统工程领域的图形化建模语言。其目的在于统一系统工程中使用的建模语言，为系统的开发、分析、设计和验证提供一种标准化、可视化的表达方式，使得不同专业背景的人员能够基于共同的模型进行沟通和协作，涵盖了系统的结构、行为、需求等多个关键方面的描述，不仅适用于软件系统，还能够广泛应用于硬件系统、人员组织、交互流程以及其他与系统相关的各个方面，成为跨学科系统工程的有力工具。特点：多视角建模：SysML支持从多个不同的视角对系统进行全面、深入的建模。它能够分别从结构视角展示系统的组成部分及其相互之间的连接关系，使系统的架构一目了然；从行为视角描述系统中各个对象的动态行为、活动流程以及状态变化，帮助分析系统在不同场景下的运行情况；从需求视角梳理系统的功能需求和非功能需求，并建立需求之间的追溯关系以及设计对需求的满足关系，确保系统设计始终围绕需求展开，满足用户的期望。例如，在对一个复杂的航空航天系统进行建模时，通过多视角建模，可以清晰地呈现出系统中各个硬件组件的结构布局、软件模块的交互流程、系统的飞行控制行为以及满足飞行任务的各项需求，为系统的整体设计和优化提供全面的信息支持。集成能力强：SysML能够将不同类型的模型元素有机地集成在一起，实现对复杂系统的综合描述。它可以将系统的功能模型、结构模型、行为模型和参数模型等进行整合，打破了传统建模方法中各模型之间的孤立状态，使得系统的各个方面能够在一个统一的框架下进行协同设计和分析。同时，SysML还能够与其他工程领域的工具和方法进行集成，如与计算机辅助设计（CAD）工具集成，实现系统的机械结构设计与系统建模的无缝衔接；与仿真工具集成，对建立的系统模型进行动态仿真和验证，评估系统的性能和可靠性。这种强大的集成能力使得SysML能够适应复杂系统开发过程中多学科、多领域协同工作的需求，提高了系统开发的效率和质量。与UML兼容性高：SysML保持了与UML（统一建模语言）的高度兼容性，这使得熟悉UML的开发者能够较为轻松地过渡到SysML的使用中。许多UML的概念、符号和建模方法在SysML中得到了继承和扩展，例如UML中的用例图、类图、序列图、状态图等在SysML中都有对应的图形，并且其基本的语义和使用方式相似。这种兼容性不仅降低了学习成本，还方便了在系统工程和软件工程之间进行知识和经验的共享与交流，促进了两个领域的融合发展。在一些既涉及软件系统开发又涉及硬件系统设计的项目中，可以充分利用SysML与UML的兼容性，在软件部分采用UML进行详细的软件设计，在系统整体层面采用SysML进行综合建模，实现软件与硬件的协同开发和系统的整体优化。模型组合与分解：SysML支持将复杂系统分解为更小的、更易于管理和理解的部分，通过对各个子部分进行详细的建模和分析，逐步构建出完整的系统模型。同时，它也能够将这些子模型进行组合，形成系统的整体模型，清晰地展示系统的层次结构和各部分之间的相互关系。这种模型组合与分解的能力使得建模人员可以根据系统的特点和开发需求，灵活地对模型进行构建和调整，无论是从宏观层面把握系统的整体架构，还是从微观层面深入分析系统的细节，都能够通过SysML得到有效的支持。三、基于SysML的CTCS-3级列控系统需求分析与建模3.1系统需求分析3.1.1功能需求CTCS-3级列控系统的功能需求是确保列车安全、高效运行的关键，主要涵盖以下几个方面：列车控制功能：作为核心功能，列车控制功能依据地面设备传输的信息以及列车自身状态，对列车运行进行精准控制。具体而言，车载安全计算机根据无线闭塞中心（RBC）提供的行车许可、线路参数和临时限速等信息，结合列车的自身参数（如列车长度、制动性能等），按照目标距离连续速度控制模式生成动态速度曲线，实时监控列车的运行速度，并根据速度偏差及时调整列车的牵引或制动，实现对列车运行速度和位置的精确控制，确保列车按照规定的运行计划安全行驶。在实际运行中，当列车接近前方限速区段时，车载安全计算机能够迅速响应，根据限速要求调整速度曲线，控制列车减速，以满足限速条件，保障列车运行安全。速度监控功能：为防止列车超速运行引发安全事故，CTCS-3级列控系统具备严格的速度监控功能。车载设备持续实时监测列车的实际运行速度，并与动态速度曲线所规定的限制速度进行对比。一旦列车实际速度接近或超过限制速度，车载设备将立即采取相应的制动措施。当列车速度超过允许速度2km/h时，车载设备触发报警，提醒司机注意速度变化；当速度超过5km/h时，车载设备启动常用制动，通过控制列车的制动系统，逐渐降低列车速度；若速度继续上升，超过15km/h时，车载设备将触发紧急制动，迅速使列车停车，有效避免列车超速带来的安全风险。在某高速铁路线路的实际运营中，曾发生列车因司机操作失误导致速度接近限制速度的情况，此时车载设备的速度监控功能及时发挥作用，迅速启动制动措施，成功避免了超速事故的发生，保障了列车和乘客的安全。列车定位功能：准确的列车定位是CTCS-3级列控系统实现精确控制的基础。该系统通过应答器和轨道电路实现列车定位功能。应答器分为无源应答器和有源应答器，无源应答器存储固定的定位信息，当列车经过时，车载应答器信息接收模块（BTM）读取这些信息，确定列车的大致位置；有源应答器则可根据地面电子单元（LEU）的指令，向车载设备传送实时的定位信息以及其他相关信息，进一步提高列车定位的精度。轨道电路通过检测列车占用轨道时的电气特性变化，为列车定位提供补充信息，实现列车位置的连续监测。通过应答器和轨道电路的协同工作，能够确保列车在运行过程中始终保持准确的定位，为列车运行控制提供可靠的数据支持。车地通信功能：车地通信功能是CTCS-3级列控系统实现信息交互的重要桥梁，借助GSM-R无线通信网络，实现了车载设备与地面设备之间的双向信息传输。地面设备中的RBC通过GSM-R通信接口设备，将行车许可、线路参数、临时限速等关键控制信息发送给车载设备；车载设备则通过GSM-R无线通信单元，将列车的位置、速度、运行状态等信息反馈给RBC。这种实时、可靠的信息交互，使地面设备能够实时掌握列车的运行情况，及时调整控制策略，同时也为车载设备提供了准确的控制指令，确保列车运行的安全与高效。在高速铁路的日常运营中，车地通信功能保证了列车与地面控制中心之间的信息畅通，无论是在正常运行情况下还是在遇到突发情况时，都能够实现快速、准确的信息传递，为列车的安全运行提供了有力保障。临时限速功能：在铁路运营过程中，由于施工、设备故障或其他特殊情况，可能需要对列车进行临时限速。CTCS-3级列控系统的临时限速功能能够及时响应这种需求，地面设备（如RBC、列控中心TCC等）根据临时限速命令，将临时限速信息通过GSM-R通信系统发送给车载设备。车载设备接收到临时限速信息后，对列车的运行速度进行相应调整，确保列车在临时限速区间内按照规定的速度行驶。临时限速功能的实现，有效提高了铁路运营的灵活性和安全性，能够适应各种复杂的运营场景，保障列车在不同情况下的安全运行。等级转换功能：CTCS-3级列控系统与CTCS-2级列控系统兼容，具备等级转换功能，以满足不同线路条件和运营需求。在列车运行过程中，当列车通过CTCS-2级到CTCS-3级的等级转换点时，若满足CTCS-3级控车条件，车载设备应自动转入CTCS-3级工作；若不具备CTCS-3级监控列车的条件，则继续按CTCS-2级运行，直至CTCS-3级控车条件具备后再自动转换。当列车通过CTCS-3级到CTCS-2级的等级转换点时，车载设备也应自动转入CTCS-2级工作。等级转换过程应平稳、可靠，确保列车运行的安全和连续性，避免因等级转换而触发不必要的制动或影响列车的正常运行。在某高速铁路线路的跨线运行中，列车在不同等级线路之间切换时，等级转换功能能够准确、及时地实现车载设备的工作模式转换，保证列车在不同列控系统下的安全运行，提高了铁路运输的适应性和灵活性。3.1.2性能需求实时性：CTCS-3级列控系统对实时性要求极高，在列车高速运行的过程中，系统必须能够快速、及时地处理和传输各种信息，确保对列车运行状态的实时监控和控制。具体来说，车地通信的信息传输延迟应控制在极短的时间内，一般要求信息从地面设备发送到车载设备的传输延迟不超过100ms，以保证车载设备能够及时接收到最新的控制指令，对列车运行速度和位置进行准确调整。同时，系统对列车运行状态的监测和处理也应具备高度的实时性，能够在瞬间对列车的速度变化、位置移动等信息进行采集、分析和处理，及时发现并应对任何潜在的安全问题。在实际运行中，实时性的保障使得列车能够在高速行驶过程中，根据前方线路的变化和调度指令，迅速做出反应，确保运行的安全和高效。可靠性：作为保障列车运行安全的关键系统，CTCS-3级列控系统必须具备极高的可靠性，确保在各种复杂环境和工况下都能稳定、可靠地工作。系统采用了多种可靠性设计技术，如冗余设计、故障诊断与容错技术等。在硬件方面，关键设备通常采用冗余配置，如车载安全计算机、GSM-R无线通信单元等，当主设备出现故障时，备用设备能够迅速自动切换投入工作，保证系统的不间断运行。在软件方面，采用了故障诊断算法和容错机制，能够实时监测系统软件的运行状态，及时发现并处理软件故障，确保系统的稳定性。此外，系统还经过了严格的测试和验证，在不同的环境条件下进行了大量的模拟测试和实际运行测试，以验证其可靠性和稳定性。根据相关统计数据，CTCS-3级列控系统的平均无故障时间（MTBF）达到了数万小时以上，有效保障了高速铁路的安全运营。准确性：系统对列车位置、速度等关键信息的检测和计算必须准确无误，以确保列车运行控制的精确性。列车定位的精度直接影响到列车的运行安全和效率，CTCS-3级列控系统通过应答器和轨道电路的协同工作，能够实现列车定位精度达到±0.5米以内。对于列车速度的测量，采用了高精度的测速传感器和精确的计算算法，确保速度测量误差控制在极小范围内。同时，系统对行车许可、临时限速等信息的处理和传输也要求高度准确，避免因信息错误导致列车运行出现安全风险。在实际应用中，准确性的保障使得列车能够按照精确的运行计划行驶，严格控制列车之间的安全间隔，提高了铁路运输的效率和安全性。3.1.3其他需求安全性：安全性是CTCS-3级列控系统最为重要的需求，直接关系到列车运行的安全和乘客的生命财产安全。系统采用了故障-安全设计原则，即当系统发生故障时，能够自动导向安全状态，确保列车不会发生危险。例如，在通信故障的情况下，车载设备应自动采取制动措施，使列车停车，避免列车在失去控制的情况下继续运行。同时，系统还具备完善的安全防护机制，如超速防护、冒进防护等，能够有效防止列车因司机误操作或设备故障而发生安全事故。在安全认证方面，采用了严格的加密和认证技术，确保车地通信信息的安全性和完整性，防止信息被窃取或篡改。通过一系列的安全措施，CTCS-3级列控系统为列车运行提供了全方位的安全保障。可维护性：为了确保系统能够长期稳定运行，CTCS-3级列控系统应具备良好的可维护性。在系统设计时，充分考虑了设备的可维修性和可更换性，采用模块化设计理念，将系统划分为多个相对独立的功能模块，每个模块都具有明确的接口和功能定义，便于在设备出现故障时进行快速诊断和维修。同时，系统配备了完善的故障诊断和报警功能，能够实时监测设备的运行状态，当发现故障时，及时发出报警信息，并提供详细的故障诊断报告，帮助维修人员快速定位故障原因，采取有效的维修措施。此外，系统还提供了便捷的数据记录和分析功能，通过对设备运行数据的记录和分析，可以提前发现潜在的故障隐患，进行预防性维护，提高系统的可靠性和可用性。良好的可维护性降低了系统的维护成本和停机时间，保障了铁路运输的正常进行。兼容性：CTCS-3级列控系统需要与多种设备和系统进行协同工作，因此必须具备良好的兼容性。在与CTCS-2级列控系统的兼容性方面，能够实现平滑过渡和无缝切换，确保列车在不同等级线路上运行时的安全和连续性。在与GSM-R通信系统的兼容性方面，能够稳定、可靠地进行信息传输，适应GSM-R网络的各种工作环境和条件。同时，系统还应与列车的其他设备（如车辆制动系统、牵引系统等）具备良好的兼容性，确保各设备之间的信息交互准确无误，协同工作顺畅。兼容性的保障使得CTCS-3级列控系统能够与其他相关系统和设备有机结合，共同构建高效、安全的铁路运输体系。3.2基于SysML的需求建模3.2.1需求图的构建SysML的需求图是一种用于描述系统需求及其关系的图形化工具，通过需求图可以清晰、直观地展示CTCS-3级列控系统的各种需求以及它们之间的相互关联。在构建CTCS-3级列控系统的需求图时，首先明确系统的主要需求元素，包括功能需求、性能需求、安全性需求、可维护性需求等。对于功能需求，将列车控制、速度监控、列车定位、车地通信、临时限速、等级转换等功能分别作为独立的需求元素进行表示，并使用需求关系来描述它们之间的依赖关系和交互关系。列车控制功能依赖于车地通信功能获取的行车许可和线路参数信息，通过“依赖”关系来表示这种依赖联系。在性能需求方面，将实时性、可靠性、准确性等性能要求作为需求元素，并与相关的功能需求建立联系。实时性需求与车地通信功能密切相关，因为车地通信的信息传输延迟直接影响系统的实时性，所以通过“影响”关系来体现实时性需求对车地通信功能的影响。对于安全性需求，将故障-安全设计、安全防护机制、安全认证等安全相关的要求作为需求元素，并与整个系统以及各个功能模块建立关联。故障-安全设计需求与系统的各个组成部分都有关系，因为任何一个部分的故障都需要遵循故障-安全原则，所以使用“关联”关系将故障-安全设计需求与系统的各个模块进行连接。可维护性需求同样与系统的各个方面相关，通过将模块化设计、故障诊断与报警、数据记录与分析等可维护性相关的需求元素与系统的硬件设备、软件模块以及功能模块建立“关联”关系，来体现可维护性需求对系统设计和实现的要求。在需求图中，还可以使用注释和约束来进一步说明需求的具体内容和限制条件。对列车定位功能的需求元素添加注释，说明其定位精度要求为±0.5米；对实时性需求元素添加约束，规定车地通信的信息传输延迟不超过100ms。通过这些注释和约束，使需求图更加准确、详细地表达系统需求，为后续的系统设计和开发提供明确的指导。[此处插入CTCS-3级列控系统需求图示例]3.2.2需求的跟踪与验证需求跟踪：需求跟踪是确保系统设计和实现与需求保持一致的重要手段，通过需求跟踪可以清晰地了解每个需求在系统开发过程中的实现情况，以及系统的各个部分是如何满足需求的。在基于SysML的CTCS-3级列控系统建模中，利用需求图中建立的需求关系来实现需求跟踪。从功能需求出发，沿着需求关系可以追踪到与之相关的性能需求、安全性需求、可维护性需求等，以及实现这些需求所涉及的系统组件和设计元素。从列车控制功能需求出发，可以追踪到实现该功能所依赖的车地通信功能需求，以及车地通信功能需求对实时性性能需求的影响，进而追踪到为满足实时性需求所采用的通信技术和设备。通过这种方式，可以建立起从需求到设计、实现的完整跟踪链路，确保系统开发过程中不会遗漏任何需求，同时也便于在需求发生变更时，快速评估变更对系统其他部分的影响，及时调整系统设计和实现。需求验证：需求验证是检查系统需求是否完整、一致、可行的过程，以确保系统需求能够满足用户的期望和实际应用的要求。在CTCS-3级列控系统的需求验证中，采用多种方法对需求进行验证。通过对需求图的审查，检查需求之间的关系是否合理，是否存在矛盾或冲突的需求。检查速度监控功能需求与列车控制功能需求之间的关系是否符合实际运行逻辑，确保两者在控制列车速度方面的要求是一致的。使用形式化方法对需求进行验证，将需求转化为数学模型，通过数学推理和验证工具来证明需求的正确性和一致性。对于安全性需求，可以使用形式化验证工具对故障-安全设计原则进行验证，确保系统在各种故障情况下都能导向安全状态。此外，还可以通过与领域专家进行交流和评审，利用专家的经验和专业知识对需求进行评估和验证，确保需求符合铁路行业的标准和规范，满足实际运营的需求。通过全面、严格的需求验证，提高系统需求的质量，为后续的系统设计和开发奠定坚实的基础。四、基于SysML的CTCS-3级列控系统架构设计与建模4.1系统架构设计4.1.1总体架构CTCS-3级列控系统的总体架构是一个复杂且高度协同的体系，由地面设备和车载设备两大核心部分构成，通过GSM-R无线通信网络实现紧密的信息交互，以确保列车运行的安全与高效。地面设备主要包含无线闭塞中心（RBC）、列控中心（TCC）、ZPW-2000（UM）系列轨道电路、应答器（含LEU）以及GSM-R通信接口设备等，各部分相互协作，共同为列车运行提供支持。RBC作为地面设备的核心，基于信号故障安全计算机运行，负责收集轨道电路、联锁进路等多源信息，运用复杂的算法和逻辑生成行车许可（MA），并将MA、线路参数（如坡度、曲线半径、线路固定限速等）、临时限速等关键信息，通过GSM-R通信接口设备和GSM-R无线通信网络，可靠地传输给车载设备。同时，RBC也接收车载设备反馈的列车位置、运行状态等信息，以便实时掌握列车动态，实现对列车运行的精确控制和管理。TCC在CTCS-3级列控系统中扮演着重要角色，作为CTCS-2级系统的核心设备，在CTCS-3级系统中作为后备系统的关键组成部分，能够接收轨道电路传来的信息，并通过联锁系统将这些信息传送给RBC，为RBC生成行车许可提供重要的数据支持。此外，TCC还具备轨道电路编码、应答器报文储存和调用、站间安全信息传输、临时限速等多种功能，满足后备系统在各种情况下的安全运行需要。ZPW-2000（UM）系列轨道电路主要用于实现列车占用检查和完整性检查，通过检测轨道电路的电气特性变化，准确判断列车是否占用轨道以及列车的完整性情况，为列控系统提供列车位置的基础信息，其检测结果也是RBC生成行车许可的关键依据之一。应答器分为无源应答器和有源应答器，无源应答器主要存储固定的定位信息和等级转换等信息，当列车经过时，车载应答器信息接收模块（BTM）读取这些信息，为列车提供精确的位置基准和等级转换的相关参数；有源应答器则可根据LEU（地面电子单元）的指令，向车载设备传送线路参数、临时限速等动态信息，LEU负责将来自TCC的报文连续向有源应答器发送，实现有源应答器信息的实时更新。应答器传输的信息与无线传输的信息在相关内容含义上保持一致，相互补充和验证，确保车载设备获取的信息准确、可靠，满足后备系统对信息的需求，同时也为列车在不同运行条件下的安全运行提供了多维度的信息支持。GSM-R通信接口设备是实现车地信息双向传输的关键桥梁，通过GSM-R网络，构建起车载设备与地面设备之间稳定、高效的通信链路，确保RBC与车载设备之间的信息交互能够及时、准确地进行。车载设备主要包括车载安全计算机（VC）、GSM-R无线通信单元（RTU）、轨道电路信息接收单元（TCR）、应答器信息接收模块（BTM）、记录单元（JRU/DRU）、人机界面（DMI）和列车接口单元（TIU）等，各设备紧密配合，实现对列车运行的精确控制和监测。车载安全计算机是车载设备的核心，犹如列车运行的“智能大脑”，它根据地面设备通过GSM-R通信系统传来的行车许可、线路参数、临时限速等信息，以及动车组自身的参数（如列车类型、制动性能、列车长度等），按照目标距离连续速度控制模式，运用复杂的算法和模型，精确计算并生成动态速度曲线。该曲线为列车的运行提供了实时的速度控制依据，车载安全计算机通过持续监控列车的实际运行速度与动态速度曲线的关系，当列车速度接近或超过限制速度时，及时发出制动命令，精确调整列车的运行速度，确保列车始终在安全的速度范围内运行，有效防止列车超速和越过危险点，保障列车运行的安全。GSM-R无线通信单元负责与地面的GSM-R通信接口设备建立稳定的通信连接，实现车载设备与地面设备之间的数据传输，它接收来自RBC的各种控制信息，并将这些信息准确无误地传输给车载安全计算机；同时，将车载安全计算机生成的列车位置、运行状态等信息发送给RBC，使地面系统能够实时掌握列车的动态，为实现列车的实时监控和调度指挥提供了通信保障。轨道电路信息接收单元能够接收轨道电路发送的信息，对轨道电路传输的信号进行解析和处理，获取列车占用轨道的相关信息以及部分行车许可信息，这些信息作为辅助数据，与其他设备获取的信息相互印证和补充，为车载安全计算机生成准确的动态速度曲线提供了更多的参考依据，进一步提高了列车运行控制的可靠性和准确性。应答器信息接收模块在列车经过应答器时，迅速接收应答器发送的信息，包括定位信息、等级转换信息、线路参数和临时限速等信息，对这些信息进行初步的处理和解析后，将其传输给车载安全计算机，使车载安全计算机能够及时获取列车当前位置的详细信息以及线路的相关参数，从而更好地进行速度控制和运行决策，确保列车在不同的线路条件和运行场景下都能安全、稳定地运行。记录单元主要用于记录列车运行过程中的各种关键数据和事件，如列车的运行速度、位置、收到的控制命令、设备状态等信息，这些记录数据对于列车运行状态的事后分析、故障诊断以及系统的优化改进都具有重要的价值。人机界面是司机与车载设备之间进行信息交互的重要界面，它以直观、清晰的方式向司机显示列车运行的各种关键信息，如列车运行速度、允许速度、目标速度、目标距离、当前运行模式等，同时，司机也可以通过DMI向车载设备输入相关指令，如切换运行模式、确认信息等，DMI的设计充分考虑了人机工程学原理，操作简便、信息显示明确，有助于司机及时了解列车运行状态，做出准确的驾驶决策，保障列车的安全运行。列车接口单元实现了车载设备与列车其他系统（如车辆制动系统、牵引系统等）之间的电气连接和信息交互，它将车载安全计算机发出的控制指令准确地传输给列车的制动系统和牵引系统，实现对列车的速度控制和运行状态调整；同时，将列车其他系统的状态信息反馈给车载设备，使车载设备能够全面了解列车的整体运行状况，为列车运行控制提供更全面、准确的信息支持。在CTCS-3级列控系统的总体架构中，地面设备和车载设备通过GSM-R无线通信网络进行实时、双向的信息传输，形成了一个紧密协作的有机整体。地面设备负责收集线路信息、生成行车许可等关键任务，并将这些信息传输给车载设备；车载设备则根据接收到的信息，结合自身的参数，对列车的运行进行精确控制，并将列车的运行状态反馈给地面设备。这种协同工作的模式，确保了列车在高速运行过程中能够始终保持安全、稳定的运行状态，满足了高速铁路对列车运行控制系统的高要求。[此处插入CTCS-3级列控系统总体架构图]4.1.2功能模块划分为了更清晰地理解CTCS-3级列控系统的工作原理和实现机制，将其划分为多个功能模块，每个模块都承担着特定的功能，相互协作，共同实现列车的安全、高效运行。无线通信模块：主要由GSM-R无线通信单元（RTU）和GSM-R通信接口设备组成，是实现车地信息双向传输的关键模块。在实际运行中，当列车在线路上行驶时，车载设备中的GSM-R无线通信单元通过GSM-R网络与地面的GSM-R通信接口设备建立连接，实现信息的实时交互。地面设备中的RBC通过GSM-R通信接口设备将行车许可、线路参数、临时限速等关键控制信息发送给车载设备；车载设备则通过GSM-R无线通信单元将列车的位置、速度、运行状态等信息反馈给RBC，确保地面设备能够实时掌握列车的动态，为列车运行控制提供准确的数据支持。该模块的性能直接影响着系统的实时性和可靠性，其信息传输的及时性和准确性对于列车运行安全至关重要。行车许可生成模块：核心设备是无线闭塞中心（RBC），它综合多方面的信息来生成行车许可。RBC实时获取轨道电路提供的列车占用信息，准确掌握各个轨道区段的占用情况，判断哪些区段可供列车行驶；接收联锁系统传来的进路状态信息，明确列车前方的进路是否已准备好，以及进路的具体走向和限制条件；同时考虑线路的固定参数（如坡度、曲线半径等对列车运行速度的限制）以及临时限速等特殊情况。综合这些信息，RBC运用复杂的算法和逻辑，精确计算出列车的行车许可，包括列车可以行驶的最远位置、允许的最高速度等关键参数，并通过GSM-R通信系统将行车许可及时发送给车载设备。例如，当某一区间的前方出现施工，需要对列车进行临时限速时，RBC会根据临时限速命令，结合列车当前位置和前方线路情况，重新计算行车许可，降低列车在该区间的允许速度，并将新的行车许可发送给列车，确保列车在限速区间内安全运行。列车定位模块：通过应答器和轨道电路实现列车定位功能。应答器分为无源应答器和有源应答器，无源应答器存储固定的定位信息，当列车经过时，车载应答器信息接收模块（BTM）读取这些信息，确定列车的大致位置；有源应答器则可根据地面电子单元（LEU）的指令，向车载设备传送实时的定位信息以及其他相关信息，进一步提高列车定位的精度。轨道电路通过检测列车占用轨道时的电气特性变化，为列车定位提供补充信息，实现列车位置的连续监测。通过应答器和轨道电路的协同工作，能够确保列车在运行过程中始终保持准确的定位，为列车运行控制提供可靠的数据支持。在实际应用中，当列车经过应答器时，BTM迅速接收应答器发送的信息，并将其传输给车载安全计算机，结合轨道电路提供的信息，精确计算列车的位置，为列车的速度控制和运行决策提供准确的位置依据。速度控制模块：车载安全计算机是该模块的核心，它根据地面设备提供的行车许可、线路参数、临时限速等信息和动车组参数，按照目标距离连续速度控制模式生成动态速度曲线，实时监控列车的运行速度，并根据速度偏差及时调整列车的牵引或制动，实现对列车运行速度的精确控制。当列车实际运行速度接近或超过动态速度曲线所规定的限制速度时，车载安全计算机立即启动相应的制动措施。当列车速度超过允许速度2km/h时，车载设备触发报警，提醒司机注意速度变化；当速度超过5km/h时，车载设备启动常用制动，通过控制列车的制动系统，逐渐降低列车速度；若速度继续上升，超过15km/h时，车载设备将触发紧急制动，迅速使列车停车，有效避免列车超速带来的安全风险。临时限速模块：地面设备（如RBC、列控中心TCC等）根据临时限速命令，将临时限速信息通过GSM-R通信系统发送给车载设备。车载设备接收到临时限速信息后，对列车的运行速度进行相应调整，确保列车在临时限速区间内按照规定的速度行驶。在铁路运营过程中，由于施工、设备故障或其他特殊情况，可能需要对列车进行临时限速。此时，临时限速模块能够及时响应这种需求，通过地面设备和车载设备的协同工作，实现对列车速度的有效控制，保障列车在临时限速情况下的安全运行。等级转换模块：CTCS-3级列控系统与CTCS-2级列控系统兼容，具备等级转换功能。在列车运行过程中，当列车通过CTCS-2级到CTCS-3级的等级转换点时，若满足CTCS-3级控车条件，车载设备应自动转入CTCS-3级工作；若不具备CTCS-3级监控列车的条件，则继续按CTCS-2级运行，直至CTCS-3级控车条件具备后再自动转换。当列车通过CTCS-3级到CTCS-2级的等级转换点时，车载设备也应自动转入CTCS-2级工作。等级转换过程应平稳、可靠，确保列车运行的安全和连续性，避免因等级转换而触发不必要的制动或影响列车的正常运行。在某高速铁路线路的跨线运行中，列车在不同等级线路之间切换时，等级转换模块能够准确、及时地实现车载设备的工作模式转换，保证列车在不同列控系统下的安全运行，提高了铁路运输的适应性和灵活性。信息记录与显示模块：记录单元（JRU/DRU）负责记录列车运行过程中的各种关键数据和事件，如列车的运行速度、位置、收到的控制命令、设备状态等信息，这些记录数据对于列车运行状态的事后分析、故障诊断以及系统的优化改进都具有重要的价值。人机界面（DMI）则以直观、清晰的方式向司机显示列车运行的各种关键信息，如列车运行速度、允许速度、目标速度、目标距离、当前运行模式等，同时，司机也可以通过DMI向车载设备输入相关指令，如切换运行模式、确认信息等，DMI的设计充分考虑了人机工程学原理，操作简便、信息显示明确，有助于司机及时了解列车运行状态，做出准确的驾驶决策，保障列车的安全运行。通过对CTCS-3级列控系统进行功能模块划分，可以更清晰地了解系统的组成和工作原理，为系统的设计、开发、维护和优化提供有力的支持。各功能模块之间相互协作、相互制约，共同构成了一个高效、可靠的列车运行控制系统，确保列车在高速铁路上安全、稳定、高效地运行。4.2基于SysML的架构建模4.2.1块定义图（BDD）的应用块定义图（BDD）在基于SysML的CTCS-3级列控系统架构建模中起着关键作用，它能够清晰、直观地展示系统各组成部分及其之间的连接关系，为系统架构的设计和理解提供了重要的可视化工具。在构建CTCS-3级列控系统的BDD时，首先将系统的主要组成部分，如地面设备中的无线闭塞中心（RBC）、列控中心（TCC）、ZPW-2000（UM）系列轨道电路、应答器（含LEU）、GSM-R通信接口设备，以及车载设备中的车载安全计算机（VC）、GSM-R无线通信单元（RTU）、轨道电路信息接收单元（TCR）、应答器信息接收模块（BTM）、记录单元（JRU/DRU）、人机界面（DMI）、列车接口单元（TIU）等，分别定义为独立的模块（block）。每个模块都具有明确的标识和名称，以便清晰地识别和区分。对于无线闭塞中心（RBC）模块，它与列控中心（TCC）模块、GSM-R通信接口设备模块之间存在着紧密的连接关系。RBC通过与TCC的连接，获取轨道电路信息以及联锁进路等信息，这些信息是RBC生成行车许可的重要依据。同时，RBC通过GSM-R通信接口设备与车载设备进行通信，将生成的行车许可、线路参数、临时限速等关键信息传输给车载设备，实现对列车运行的控制。在BDD中，通过带箭头的线条来表示这些连接关系，箭头的方向表示信息的流向，清晰地展示了RBC与其他模块之间的信息交互和依赖关系。列控中心（TCC）模块除了与RBC模块连接外，还与ZPW-2000（UM）系列轨道电路模块、应答器（含LEU）模块相互关联。TCC接收轨道电路传来的列车占用信息，并根据这些信息以及其他相关数据，对轨道电路进行编码控制，同时控制有源应答器报文的发送，为列车提供必要的运行信息。在BDD中，这些连接关系同样通过线条清晰地呈现出来，使得各模块之间的协作关系一目了然。车载设备部分，车载安全计算机（VC）模块是核心模块，它与GSM-R无线通信单元（RTU）模块、轨道电路信息接收单元（TCR）模块、应答器信息接收模块（BTM）模块、列车接口单元（TIU）模块等都有密切的连接。VC通过RTU接收来自地面设备的各种控制信息，通过TCR和BTM获取轨道电路和应答器传输的信息，综合这些信息并结合动车组自身参数，按照目标距离连续速度控制模式生成动态速度曲线，然后通过TIU将控制指令传输给列车的制动系统和牵引系统，实现对列车运行速度和位置的精确控制。在BDD中，这些复杂的连接关系被有条不紊地展示出来，有助于深入理解车载设备各模块之间的协同工作机制。此外，在BDD中还可以定义模块之间的各种约束关系和接口规范。对于RBC与车载设备之间的通信接口，明确规定其通信协议、数据格式、传输速率等约束条件，确保信息传输的准确性和可靠性。这些约束关系和接口规范在BDD中通过专门的符号和注释进行表示，进一步完善了系统架构的描述。通过应用BDD对CTCS-3级列控系统进行架构建模，能够将复杂的系统结构以一种简洁、直观的方式呈现出来，使系统设计人员、开发人员以及其他相关人员能够快速、准确地理解系统的组成和各部分之间的关系，为系统的设计、开发、集成和维护提供了重要的参考依据。同时，BDD的可视化特性也便于团队成员之间的沟通和交流，提高了系统开发的效率和质量。[此处插入CTCS-3级列控系统块定义图（BDD）示例]4.2.2内部块图（IBD）的应用内部块图（IBD）是对块定义图（BDD）的进一步五、基于SysML的CTCS-3级列控系统行为建模5.1系统运行过程分析列车从启动到运行再到停车的过程中，CTCS-3级列控系统发挥着至关重要的作用，其工作流程紧密围绕列车的运行状态和安全需求展开。在列车启动阶段，首先，动车组机械师或司机闭合供电开关，为列控车载设备提供电源，设备随即进行自检。自检通过后，设备进入待机模式（SB）。当司机开启驾驶台时，车载设备的人机界面（DMI）开始工作，并提示司机进行制动功能测试。司机完成制动测试后，输入有效的司机号，车载设备验证司机号无误后，将其存入司法记录器，同时可能使非本务端设备进入休眠模式（SL）。随后，车载设备会自动进入之前关闭时的工作等级。若检测到设备断电，存储的位置信息将被视为无效，以确保设备在重新启动时能准确获取最新的行车信息。接着，司机需要输入RBC数据，包括RBCID和电话号码（即所连接RBC的IP地址），若RBC数据输入不完全或者输入有误，则无法建立与RBC的连接。完成上述操作后，司机还需设置列车数据信息，如选择列车长度（8辆或16辆）以及载频信息（上行或下行）。一切准备就绪后，司机进行启动完成确认和系统启动功能操作，最后进行缓解操作，此时列车具备了启动条件，车载设备所处的控制模式也相应发生变化，列车准备驶离车站。列车运行过程中，CTCS-3级列控系统通过车地通信实现对列车的实时控制。列车通过GSM-R无线网络向RBC发送列车速度、位置等信息，RBC根据车载设备发送的信息，结合车站联锁的进路信息及行车指挥中心的限速信息，精确计算列车追踪距离，并向列车发送行车许可。车载设备根据收到的行车许可，结合动车组自身参数，按照目标距离连续速度控制模式生成动态速度曲线，以此监控列车运行。在运行过程中，若列车前方出现临时限速情况，地面设备（如RBC、列控中心TCC等）会根据临时限速命令，将临时限速信息通过GSM-R通信系统发送给车载设备，车载设备接收到临时限速信息后，及时对列车的运行速度进行相应调整，确保列车在临时限速区间内按照规定的速度行驶。同时，系统持续监测列车的运行状态，当列车速度超过允许速度2km/h时，车载设备触发报警，提醒司机注意速度变化；当速度超过5km/h时，车载设备启动常用制动，通过控制列车的制动系统，逐渐降低列车速度；若速度继续上升，超过15km/h时，车载设备将触发紧急制动，迅速使列车停车，以保障列车运行安全。当列车到达目的地或需要停车时，司机根据DMI的提示和运行计划，操作列车进行制动。车载设备根据列车的减速情况和停车位置要求，精确控制制动系统，使列车平稳停车。停车后，司机点击模拟器上方关闭驾驶台按钮，再点击断电按钮，注销车载设备，完成列车的停车流程。在整个系统运行过程中，CTCS-3级列控系统与CTCS-2级列控系统兼容，具备等级转换功能。当列车通过CTCS-2级到CTCS-3级的等级转换点时，若满足CTCS-3级控车条件，车载设备应自动转入CTCS-3级工作；若不具备CTCS-3级监控列车的条件，则继续按CTCS-2级运行，直至CTCS-3级控车条件具备后再自动转换。当列车通过CTCS-3级到CTCS-2级的等级转换点时，车载设备也应自动转入CTCS-2级工作，且等级转换过程应平稳、可靠，确保列车运行的安全和连续性。5.2基于SysML的行为建模5.2.1活动图的构建活动图是一种用于描述系统中活动的顺序和流程的图形化工具，能够清晰展示CTCS-3级列控系统运行过程中的动作序列和决策点。在构建CTCS-3级列控系统的活动图时，以列车的运行过程为主线，将系统的主要活动进行分解和梳理。从列车启动开始，首先是车载设备上电，这一活动触发设备自检流程，若自检通过，则进入待机模式，若自检不通过，则产生相应的故障提示和报警信息。接着，司机开启驾驶台，DMI提示司机进行制动功能测试，司机完成测试后输入司机号，车载设备验证司机号，这一系列活动构成了启动前的准备阶段。当准备工作完成后，进入RBC数据输入和列车数据信息设置环节，若RBC数据输入正确且列车数据信息设置完成，系统进行启动完成确认和系统启动操作，随后进行缓解操作，列车进入运行状态。在列车运行过程中，主要活动包括车地通信和速度监控。列车通过GSM-R无线网络向RBC发送列车速度、位置等信息，RBC接收信息后结合其他相关信息计算列车追踪距离并发送行车许可，车载设备接收行车许可后生成动态速度曲线监控列车运行，这一过程构成了车地通信和列车运行控制的核心活动。同时，系统持续进行速度监控，当列车速度超过允许速度2km/h时，触发报警活动；当速度超过5km/h时，启动常用制动活动；若速度超过15km/h，则触发紧急制动活动。若列车运行过程中遇到临时限速情况，地面设备接收临时限速命令后，将临时限速信息发送给车载设备，车载设备根据临时限速信息调整列车运行速度，这一活动流程体现了系统对临时限速的处理机制。当列车需要停车时，司机操作列车进行制动，车载设备控制制动系统使列车平稳停车，停车后司机进行注销车载设备的操作，完成列车停车流程。在活动图中，通过使用控制流和对象流来表示活动之间的顺序关系和数据传递关系。使用决策节点来表示系统中的决策点，列车速度监控过程中的速度比较和相应制动措施的触发，根据列车速度与允许速度的比较结果，决定执行报警、常用制动还是紧急制动活动。通过活动图的构建，可以直观地看到CTCS-3级列控系统在列车运行过程中的整体工作流程和各活动之间的逻辑关系，为系统的分析和设计提供了清晰的依据。[此处插入CTCS-3级列控系统活动图示例]5.2.2状态机图的构建状态机图用于展现实体在其生命周期内的状态变化以及触发这些状态变化的事件和条件，能够深入分析CTCS-3级列控系统中关键实体（如列车、车载设备等）的动态行为。以车载设备为例，其初始状态为待机状态（SB），当接收到供电信号后，进入自检状态。在自检状态下，如果自检通过，则转换到待机模式，等待司机的进一步操作；若自检不通过，则进入故障状态，同时触发故障报警和提示信息，以便维修人员及时进行处理。当司机开启驾驶台并完成制动功能测试、输入司机号等操作后，车载设备进入准备运行状态。在准备运行状态下，完成RBC数据输入和列车数据信息设置且无误后，进入运行准备就绪状态。此时，若司机进行启动完成确认和系统启动操作，车载设备则转换到运行状态。在运行状态下，车载设备主要根据接收到的行车许可和列车的实际运行情况进行速度控制和状态监控。当列车速度正常且运行状态稳定时，保持运行状态；当列车速度超过允许速度2km/h时，触发报警状态，提示司机注意速度变化；当速度超过5km/h时，进入常用制动状态，通过控制列车的制动系统降低速度；若速度继续上升超过15km/h，则进入紧急制动状态，迅速使列车停车。若列车运行过程中遇到RBC或无线通信故障，车载设备将根据故障情况和系统设置，转换到CTCS-2级控车状态或其他相应的降级状态，以确保列车能够继续安全运行。当列车到达目的地或需要停车时，司机操作列车进行制动，车载设备控制制动系统使列车平稳停车，此时车载设备进入停车状态。停车后，司机进行注销车载设备的操作，车载设备进入休眠状态（SL）或断电状态。在状态机图中，使用状态转换箭头表示状态之间的转换关系，并在箭头上标注触发状态转换的事件和条件。从运行状态转换到常用制动状态的箭头上标注“速度超过5km/h”，明确了状态转换的触发条件。通过状态机图的构建，可以清晰地看到车载设备在不同事件和条件下的状态变化过程，有助于深入理解CTCS-3级列控系统的动态行为和控制逻辑。[此处插入CTCS-3级列控系统车载设备状态机图示例]5.2.3序列图的构建序列图主要用于记录系统中各模块之间消息传递的顺序及时序关系，通过序列图可以直观地展示CTCS-3级列控系统中车载设备与地面设备之间以及车载设备内部各模块之间的信息交互过程。以列车运行过程中车地通信和速度控制为例，构建序列图如下：首先，车载设备中的GSM-R无线通信单元（RTU）向地面的无线闭塞中心（RBC）发送列车位置、速度等信息，RBC接收信息后，结合车站联锁的进路信息及行车指挥中心的限速信息，进行复杂的计算和分析，生成行车许可。然后，RBC通过GSM-R通信接口设备将行车许可发送给车载设备的RTU，RTU接收到行车许可后，将其传递给车载安全计算机（VC）。VC根据接收到的行车许可，结合动车组自身参数，按照目标距离连续速度控制模式生成动态速度曲线。同时，轨道电路信息接收单元（TCR）接收轨道电路发送的信息，应答器信息接收模块（BTM）接收应答器发送的信息，这些信息也被传输给VC，为VC生成准确的动态速度曲线提供更多的参考依据。在列车运行过程中，VC持续实时监控列车的实际运行速度与动态速度曲线的关系。当列车速度接近或超过限制速度时，VC根据速度偏差情况，向列车接口单元（TIU）发送制动命令，TIU将制动命令传输给列车的制动系统，实现对列车运行速度的调整。若列车运行过程中遇到临时限速情况，地面设备中的临时限速服务器（TSRS）接收临时限速命令后，将临时限速信息发送给RBC，RBC再将临时限速信息通过GSM-R通信系统发送给车载设备的RTU，RTU传递给VC，VC根据临时限速信息调整动态速度曲线，并控制列车按照临时限速要求运行。在序列图中，使用垂直的生命线表示各个模块，水平的消息箭头表示模块之间传递的消息，箭头的方向表示消息的流向，消息箭头上标注消息的名称和参数。通过序列图的构建，可以清晰地看到CTCS-3级列控系统中各模块之间信息交互的顺序和过程，为系统的通信和控制机制分析提供了直观的工具。[此处插入CTCS-3级列控系统车地通信及速度控制序列图示例]六、基于SysML的CTCS-3级列控系统验证与分析6.1模型验证方法为确保基于SysML建立的CTCS-3级列控系统模型的准确性和可靠性，采用多种模型验证方法对其进行全面验证。形式化方法是一种基于数学逻辑的验证手段，通过