原文传递
基于UML的轨道交通信号系统安全标准符合性论证方法研究
| 论文题名： | 基于UML的轨道交通信号系统安全标准符合性论证方法研究 |
| 关键词： | 轨道交通;信号系统;安全评估;符合性论证;扩展机制;统一建模语言 |
| 摘要： | 信号系统是保证轨道交通系统安全运行的关键设备，为保证系统的安全水平，在其投入使用前必须进行安全评估。安全评估的依据主要来源于安全标准，而目前我国轨道交通信号系统安全评估所依据的主要是欧洲铁路行业安全标准体系。由于我国铁路的发展，这些安全标准在应用过程中存在对核心安全概念解读的差异性，导致实施重点停留在符合性证据材料的堆砌，从而影响到我国轨道交通信号系统安全评估的有效性和可信性。 本论文借鉴国内外轨道交通领域、航空和汽车领域对安全标准符合性论证方法的研究，基于国际铁路安全标准对信号系统安全评估的要求和建议，首先提出了一套安全标准元模型;其次，利用统一建模语言(UML)及扩展机制实现了基于UML规范环境的安全标准建模方法。在此基础上，引入了概念建模方法从轨道交通行业安全标准中提取安全证据;最后，利用对象约束语言（OCL）设计了安全标准模型中安全概念间的约束关系，实现了证据间的关联。论文以北京昌平线基于通信的列车运行控制系（CBTC）的安全评估工程为例，建立了安全证明文件规范模型，并验证了本文所提出的建模方法。 本论文的创新点主要包括以下几点: (1)提出了一种基于概念建模的安全标准概念提取方法，并基于轨道交通IEC62425建立了安全概念模型。 (2)提出了一种安全标准元模型设计方案，并在RSA建模环境中，使用UML不同视图和UML扩展机制，将元模型实例化为IEC62425安全标准模型。 (3)基于对象约束语言OCL描述了安全标准模型中安全概念间的约束关系，保证基于安全标准获取安全证据材料的一致性和完整性。 |
| 作者： | 王婧 |
| 专业： | 控制工程 |
| 导师： | 唐涛 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2016 |
| 正文语种： | 中文 |
检索历史
应用推荐
