典型文献
考虑不确定性的铁路信号安全计算机硬件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.
文献关键词：
参数不确定性;硬件安全完整性;蒙特卡洛法;模糊理论;铁路信号安全计算机
中图分类号：
作者姓名：
张宏扬;梁志国;王龙生;齐志华;白帅;乔亚琼
作者机构：
中国铁道科学研究院集团有限公司 研究生部,北京 100081;中国铁道科学研究院集团有限公司 通信信号研究所,北京 100081
文献出处：
引用格式：
[1]张宏扬;梁志国;王龙生;齐志华;白帅;乔亚琼-.考虑不确定性的铁路信号安全计算机硬件SIL验证)[J].铁道学报,2022(06):66-74
A类：
铁路信号安全计算机,硬件安全完整性
B类：
确定性的,计算机硬件,高安全,苛求,认证工作,验证过程,固定值,验证方法,蒙特卡洛法,MCA,概率分布,知类,模糊理论,FT,必然性,可信性,符合性,所能,声明,1oo2,实例仿真,限区,安全完整性等级,SIL2,参数不确定性
AB值：
0.230117
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
