基于UML扩展机制的RBC控车场景功能安全分析方法

发布时间：2024-03-31 20:20

　　随着我国高速铁路技术的发展及对高速铁路管理规章制度的出台,我国对CTCS-3(China Train Control System level 3,中国列车运行控制系统)级列控系统的需求规范也逐渐完善。RBC(Radio Block Center,无线闭塞中心)作为CTCS-3级列控系统地面核心子系统用来保障列控系统的安全运营。CTCS-3级列控系统是同时具备了连续和离散的信息交互机制的混成系统,在RBC与其他设备进行交互时如果出现任何与行车许可、线路信息等相关的问题都可能影响高速列车的正常运行,因此需要对RBC控车场景进行安全分析来保证后续的系统安全设计和评估,而基于传统的安全保障技术在列控系统的安全分析中已略显其不足,通过形式化方法对列控系统进行安全分析已经成了研究的主要趋势。本文以CTCS-3级列车运行控制系统中RBC控车场景为研究对象,提出基于UML(Unified Modeling Language,统一建模语言)扩展机制的控车场景功能安全分析方法。首先,针对CTCS-3级列控系统的混成特性,采用面向对象的方法对RBC控车场景进行分析,根据UML扩展机制的安全特性建模方法,构...

【文章页数】：74 页

【学位级别】：硕士

【部分图文】：

图1.1论文的主体框架

基于UML扩展机制的RBC控车场景功能安全分析方法-4-全特性，提出UML支持的底层扩展机制，通过在扩展包的基础上增加安全特性包的概念来直接描述列控系统安全特性需求，在UML的安全特性包中对安全特性元素进行定义并设计与RBC控车场景安全相关的概要文件。通过安全概要文件来刻画系统在....

图2.1UML的语义结构框图

兰州交通大学硕士学位论文-5-2面向列控系统的模型的UML安全概要设计2.1统一建模语言UML概述统一建模语言UML是一种标准面向对象分析和设计方法的系统建模语言，通过对复杂系统的设计和信息控制的描述，能够有效的表达系统的需求、结构以及行为，同时UML也支持对系统的规范说明和分析....

图2.2UML的图形结构

基于UML扩展机制的RBC控车场景功能安全分析方法-6-2.1.2UML的图形表达UML提供静态结构图和动态行为图两大类图。如图2.2所示，静态结构图能够刻画系统模型中的数据结构上的关系，由结构视图和用户视图两部分组成，通过其中的类图和对象图等将数据属性封装到对象中，来对相同属性....

图2.3UML元素模型包的关系结构

兰州交通大学硕士学位论文-7-(2)标记值(TaggedValue)标记值是一个包含标记字符串和值字符串的键值对，标记字符串记录新增元素的名称，值字符串是给定元素的值，通过标记和值字符串保存与系统模型相关的元素属性信息。在标记值中可以增加语义和附加信息实现对模型元素属性的完整描述....

本文编号：3944448