科研之友
微信
新浪微博
Facebook
分享链接
摘要
铁路信号安全计算机是高安全完整性苛求系统，对其硬件进行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。
- 出版日期2022
- 单位中国铁道科学研究院集团有限公司
