基于IEC61508的智能变送器软件结构设计与系统安全确认
摘要 | 第1-6页 |
Abstract | 第6-10页 |
第1章 绪论 | 第10-16页 |
·研究背景及其意义 | 第10-11页 |
·研究背景 | 第10页 |
·研究意义 | 第10-11页 |
·功能安全概述 | 第11-13页 |
·IEC 61508的发展 | 第11-12页 |
·IEC 61508的新变化 | 第12-13页 |
·IEC 61508与IEC 61511 | 第13页 |
·研究内容 | 第13-16页 |
·任务分工 | 第13-14页 |
·文章内容及结构 | 第14-16页 |
第2章 智能变送器的功能安全要求 | 第16-26页 |
·智能变送器的安全功能 | 第16-22页 |
·智能变送器及功能需求 | 第16-17页 |
·智能变送器的安全功能 | 第17-18页 |
·功能安全的任务 | 第18-20页 |
·目标安全完整性等级的确定 | 第20-22页 |
·SIL2的功能安全要求 | 第22-25页 |
·SIL2对E/E/PES的结构要求 | 第22-23页 |
·SIL2对软件结构阶段的技术/措施推荐 | 第23-24页 |
·SIL2对系统安全确认的技术/措施推荐 | 第24-25页 |
·小结 | 第25-26页 |
第3章 智能变送器软件结构设计 | 第26-40页 |
·E/E/PES结构 | 第26-28页 |
·1oo1D结构 | 第26-27页 |
·1oo2结构 | 第27-28页 |
·1oo1D结构与1oo2结构的比较 | 第28页 |
·软件结构设计的技术/措施选取 | 第28-30页 |
·技术/措施选取原则 | 第28-29页 |
·技术/措施的选取 | 第29-30页 |
·选取的技术/措施的有效性 | 第30页 |
·软件结构设计 | 第30-39页 |
·正向追踪 | 第30-31页 |
·软件总体结构 | 第31-32页 |
·检测功能模块设计 | 第32-33页 |
·软件安全保障措施 | 第33-37页 |
·其它功能设计 | 第37-39页 |
·小结 | 第39-40页 |
第4章 软件结构设计的安全确认 | 第40-48页 |
·软件功能的实现 | 第40-43页 |
·模块化方法 | 第43-45页 |
·评价依据 | 第43页 |
·内聚度评价 | 第43-44页 |
·耦合度评价 | 第44-45页 |
·保证最大循环时间的周期行为 | 第45-47页 |
·无负载时的周期时间 | 第45-46页 |
·满负载时的周期时间 | 第46-47页 |
·小结 | 第47-48页 |
第5章 智能变送器系统安全评估 | 第48-65页 |
·诊断测试和安全评估的假设 | 第48-50页 |
·智能变送器诊断要求测试 | 第50-59页 |
·测试要求 | 第50页 |
·测试方法 | 第50-51页 |
·测试内容 | 第51-59页 |
·测试结果 | 第59页 |
·安全评估 | 第59-64页 |
·安全评估 | 第60-63页 |
·安全评估结果分析 | 第63-64页 |
·小结 | 第64-65页 |
第6章 结论与展望 | 第65-66页 |
·本课题工作总结 | 第65页 |
·工作展望 | 第65-66页 |
参考文献 | 第66-70页 |
致谢 | 第70-71页 |
作者在攻读硕士学位期间发表的论文 | 第71-72页 |
附录 | 第72-73页 |