期刊文献+

基于IEC61508的嵌入式软件可靠性设计与验证 被引量:8

Design and verification of embedded software reliability based on IEC61508
下载PDF
导出
摘要 作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。 The reliability of embedded software in smart transmitter was important in process industrial field.Based on the software development lifecycle(the V-model) in IEC61508 functional safety standard,the software design and the verification for smart pressure transmitter with high reliability were put forward,including software safety requirements analysis,software structure design,module design,module testing and so on.The evaluation on functional safety was achieved by smart transmitter through failure modes effects and diagnostic analysis(FMEDA) and fault injection test.Verification results indicated that the safety failure fraction of the smart transmitter reached an international advanced level,it was 88.3%.
出处 《南京工业大学学报(自然科学版)》 CAS 北大核心 2011年第6期82-86,共5页 Journal of Nanjing Tech University(Natural Science Edition)
基金 国家重点基础研究发展计划(973计划)资助项目(2009AA04Z144) 上海市重点学科项目(B504)
关键词 嵌入式软件 可靠性 功能安全 embedded software reliability functional safety
  • 相关文献

参考文献6

  • 1Zhang Bin, Yang Xianhui, Kang Rongxue. Common cause failure effect analysis for PFDavg uncertainty [ C ]//Control Conference. Beijing:Beijing University of Aeronautics and Astronautics Press,2008:78 - 82.
  • 2Lubcke W. Methods to interconnect functional safety and self-monitoring of field devices in process control loops [ C ] // Electrical and Instrumentation Applications in the Petroleum & Chemical Industry. Paris: Petroleum and Chemical Industry Committee 2007:1 -4.
  • 3李璇君,辛季龄,张天宏,刘国刚.RAM的故障模型及自测试算法[J].南京航空航天大学学报,1999,31(1):48-53. 被引量:10
  • 4Williams G. Unity compact test framework for C [ CP/OL ]. [ 2009 - 12 - 07 ]. http ://sourceforge. net/pmjects/embunity/ files/embunity/unityl. 9.
  • 5周雷,许新芳,程俊.美国军用手册217F以外的可靠性预计方法[J].电子质量,2008(8):68-70. 被引量:5
  • 6中国人民解放军总装备部.GJB/Z299C-2006电子设备可靠性预计手册[S].北京:中国标准出版社,2006.

二级参考文献4

  • 1周雷.MIL-HDBK-217F探讨[J].电子产品可靠性与环境试验,2007,25(3):50-51. 被引量:5
  • 2李璇君.数字电路BIT技术研究:学位论文[M].南京:南京航空航天大学,1998..
  • 3李璇君,学位论文,1998年
  • 4陈廷槐,数字系统的测试与容错,1990年,90页

共引文献15

同被引文献84

引证文献8

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部