| 基于IEC61508的嵌入式软件可靠性设计与验证 |
| |
| 引用本文： | 袁宜峰,凌志浩.基于IEC61508的嵌入式软件可靠性设计与验证[J].南京工业大学学报(自然科学版),2011,33(6):82-86. |
| |
| 作者姓名： | 袁宜峰 凌志浩 |
| |
| 作者单位： | 华东理工大学信息科学与工程学院,化工过程先进控制与优化技术教育部重点实验室,上海200237 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)资助项目，上海市重点学科项目 |
| |
| 摘 要： | 作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。
|
| 关 键 词： | 嵌入式软件 可靠性 功能安全 |
Design and verification of embedded software reliability based on IEC61508 |
| |
| YUAN Yifeng,LING Zhihao.Design and verification of embedded software reliability based on IEC61508[J].Journal of Nanjing University of Technology,2011,33(6):82-86. |
| |
| Authors: | YUAN Yifeng LING Zhihao |
| |
| Institution: | (Key Laboratory of Advanced Control and Optimization for Chemical Processes,Ministry of Education,College of Information Science and Engineering,East China University of Science and Technology,Shanghai 200237,China) |
| |
| Abstract: | 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%. |
| |
| Keywords: | embedded software reliability functional safety |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
