考虑不确定性的铁路信号安全计算机硬件SIL验证

摘要：

铁路信号安全计算机是高安全完整性苛求系统,对其硬件进行SIL验证是SIL认证工作的重点.传统硬件SIL验证过程中常假设各参数取固定值,忽略了参数的不确定性影响.提出一种考虑不确定性的铁路信号安全计算机硬件SIL验证方法,首先采用蒙特卡洛法(MCA)对参数概率分布已知类型的不确定性进行分析;然后采用模糊理论(FT)对参数概率分布未知类型的不确定性进行分析,并从可能性、必然性和可信性测度及符合性概率角度对结果所能声明的最大SIL进行判定.1oo2结构的实例仿真结果显示:基于FT计算结果的支集(5.01×10-10,5.57×10-7)包含基于MCA得出的极限区间(1.42×10-9,4.46×10-7),即前者得出的结果更为保守;从可信性测度和符合性概率角度来看,两种方法所能声明的最高安全完整性等级均为SIL2.

关键词：参数不确定性、硬件安全完整性、蒙特卡洛法、模糊理论、铁路信号安全计算机

所属期刊栏目：44

分类号：U284(铁路通信、信号)

资助基金：国家自然科学基金;中国铁道科学研究院集团有限公司重大课题

在线出版日期：2022-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：66-74