自动化博览
自動化博覽
자동화박람
AUTOMAITON PANORAMA
2015年
5期
72-75
,共4页
硬件描述语言%可编程设备%可靠性%逻辑
硬件描述語言%可編程設備%可靠性%邏輯
경건묘술어언%가편정설비%가고성%라집
HDL%HPD%Reliability%Logic
随着HPD逻辑在国产化核安全级仪控系统中的广泛应用,HPD逻辑设计的可靠性成为关键,仿真和硬件测试方法可达到的覆盖率低,很难满足核安全级产品可靠性分析验证要求,因而全面系统化的HPD逻辑可靠性分析验证方法是至关重要的。本文提出一种HPD逻辑的可靠性分析验证方法,该方法提出从五个维度分析HPD逻辑的可靠性,分析时采用FMEA和形式化相结合的手段。通过FitRel平台系统的FPGA和FirmSys平台系统的CPLD可靠性分析的实践,表明该方法可全面有效地揭示隐蔽的设计缺陷,保障HPD逻辑设计的可靠性。
隨著HPD邏輯在國產化覈安全級儀控繫統中的廣汎應用,HPD邏輯設計的可靠性成為關鍵,倣真和硬件測試方法可達到的覆蓋率低,很難滿足覈安全級產品可靠性分析驗證要求,因而全麵繫統化的HPD邏輯可靠性分析驗證方法是至關重要的。本文提齣一種HPD邏輯的可靠性分析驗證方法,該方法提齣從五箇維度分析HPD邏輯的可靠性,分析時採用FMEA和形式化相結閤的手段。通過FitRel平檯繫統的FPGA和FirmSys平檯繫統的CPLD可靠性分析的實踐,錶明該方法可全麵有效地揭示隱蔽的設計缺陷,保障HPD邏輯設計的可靠性。
수착HPD라집재국산화핵안전급의공계통중적엄범응용,HPD라집설계적가고성성위관건,방진화경건측시방법가체도적복개솔저,흔난만족핵안전급산품가고성분석험증요구,인이전면계통화적HPD라집가고성분석험증방법시지관중요적。본문제출일충HPD라집적가고성분석험증방법,해방법제출종오개유도분석HPD라집적가고성,분석시채용FMEA화형식화상결합적수단。통과FitRel평태계통적FPGA화FirmSys평태계통적CPLD가고성분석적실천,표명해방법가전면유효지게시은폐적설계결함,보장HPD라집설계적가고성。
The HPD logic is applied widely in instrumentation and control systems of nuclear power plants. Reliability of HPD logic becomes more and more critical. It is too hard for traditional simulation and hardware testing methods to analyze completely HPD logic reliability, therefore the systematic method of analyzing and verifying reliability of HPD logic is crucial. In this paper, reliability analysis method of HPD logic is presented, and reliability requirements of HPD logic are analyzed through five dimensions. It can combine the FMEA with the formal method when analyzing reliability. The practice results of analyzing reliability of FPGA in FitRel platform and CPLD in FirmSys platform have proved that the methods can reveal the hidden design faults effectively, and provide the credible evidence for HPD logic reliability.