基于IEC61508的嵌入式软件可靠性设计与验证  

Design and verification of embedded software reliability based on IEC61508

作　　者：袁宜峰[1] 凌志浩[1] 

机构地区：[1]华东理工大学信息科学与工程学院,化工过程先进控制与优化技术教育部重点实验室,上海200237

出　　处：《南京工业大学学报（自然科学版）》2011年第6期82-86,共5页Journal of Nanjing Tech University(Natural Science Edition)

基　　金：国家重点基础研究发展计划(973计划)资助项目(2009AA04Z144);上海市重点学科项目(B504)

摘　　要：作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用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%.

关 键 词：嵌入式软件 可靠性 功能安全 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]