-
题名基于GSN方法的轨道交通车辆制动系统安全论证研究
被引量：7
- 1
-
-
作者
李春峰
齐万明
孙超
-
机构
中车青岛四方机车车辆股份有限公司
温州市铁路与轨道交通投资集团有限公司
中国铁道科学研究院集团有限公司
-
出处
《中国铁路》
2018年第11期68-74,共7页
-
文摘
制动系统与乘客人身财产安全密切相关,其发生故障所造成的后果十分严重,因此对制动系统开展安全评估具有重要的现实意义。针对我国地铁传统的安全评估活动中,安全证明文件的种类和数量具有庞大、繁杂、抽象、不易理解和接受的缺陷,明确安全论证的步骤及建模方法,介绍一种通过目标结构标记法(GSN)建立安全证明文件结构的方法,采用图形化语言呈现安全证明文件的逻辑结构,以提高安全评估的效率。针对轨道车辆制动系统的特点及其相关标准,利用GSN方法对轨道交通车辆制动系统的安全论证进行建模,详细阐述该模型的建立过程和注意事项以及建模意义,对我国轨道车辆制动系统的安全评估发展具有实际价值和意义。
-
关键词
轨道交通车辆
制动系统
安全论证
安全证明文件
gsn方法
-
Keywords
rail transit rolling stock
brake system
safety demonstration
safety certification document
gsn method
-
分类号
U266.2
[机械工程—车辆工程]
-
-
题名基于需求的安全例证获取与管理方法研究
- 2
-
-
作者
于小飞
陈邦兴
唐晨
-
机构
同济大学电子与信息工程学院
-
出处
《佳木斯大学学报（自然科学版）》
CAS
2013年第6期863-866,共4页
-
文摘
基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event-B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event-B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估.
-
关键词
安全例证
安全论证
目标结构语言
Event—B形式化方法
-
Keywords
safety cases
safety argument
gsn
Event- B formal method
-
分类号
U284
[交通运输工程—交通信息工程及控制]
-
