“功能安全产品实现技术”系列讲座第8讲安全相关产品的软件实现（二）

《“功能安全产品实现技术”系列讲座第8讲安全相关产品的软件实现（二）》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第8讲安全相关产品的软件实现(二)廖丽华。等“功能安全产品实现技术”系列讲座第8讲安全相关产品的软件实现(二)ChapterVIIImplementationoftheSoftwareforSafety—relatedProducts：Part2廖华’尹室锔。(上海工业自动化仪表研究院。，上海200233；上海仪器仪表自控检验测试所，上海200233；环境保护部核与辐射安全中心，北京100082)摘要：首先介绍了功能安全相关产品软件实现过程中软件设计的基本概念及软件验证相关要求；接着基于标准IEC61508—3：2010(GB／T20438．3-2013)，对软件

2、安全生命周期中软件架构设计、支持工具、软件系统设计和编码实现阶段的验证活动进行了分析。此外还对每个阶段规定验证的要求、内容、输入和输出等做了详细说明。最后提出了安全软件在生命周期各阶段可根据软件系统的大小进行裁剪的思路。关键词：功能安全软件设计架构设计系统设计支持工具中图分类号：TP202文献标志码：AAbstract：Thebasicconceptandrelevantrequirementsofsoftwareverificationinimplementingprocessofthesoftwaredesignforfunctionalsafety—rela

3、tedproductsarepresentedBasedonIEC61508-3：2010(GB／T20438．3-2013)，theverificationactivitiesinthedesignofsoftwarearchitecture，suppo~toolsIsoftwaresystem，andencodingimplementationinsafetylifecyeleofthesoftwareareanalyzed．Inaddition，theverificationrequirements，contents，inputandoutputforeac

4、hstageareexplainedindetail．Itisproposedthateachstageofthesoftwaresafetylifecyclecanbetailoredinaccordancewiththesizesofthesoftwaresystem．Keywords：FunctionalsafetySoftwaredesignArchitecturedesignSystemdesignSuppo~tools在软件的整个设计阶段选取技术和措施时．应考0引言虑软件设计的下列属性：①有关软件安全要求规范的安全相关产品的软件实现的前期工作主要是软件

5、完整性；②有关软件安全要求规范的正确性；③防止固设计．主要包括软件架构设计、支持工具选择、软件系有设计错误；④简单性和易懂性；⑤行为的可预见性；统设计以及编码实现的整个过程。软件设计主要是从⑥可验证和可测试的设计；⑦故障裕度；⑧抵御外部事软件安全要求规范与E／E／PE系统架构出发．根据其件造成的共因失效。确定的功能需求设计软件系统的整体架构、选取合适在安全相关软件的实现过程中，也强调软件的验的支持工具、划分功能模块、确定每个模块的实现算法证活动，以保证每个阶段的工作都是正确的。软件的以及代码的编写规则。形成具体的设计方案。验证活动主要是验证每个阶段的输入、使用方法

6、和准当软件执行不同安全完整性等级的安全功能时．则、输出、进度、资源、风险、假设、作用和职责；验证的所有的软件都被认为属于最高安全完整性等级，除非标准是前一阶段输出文档的要求和约束条件：验证的在设计中表明不同安全完整性等级的安全功能之间的目的是判断该阶段的设计结果是否满足前一阶段的目充分独立性。同时应证明独立性在空间域和时间域上的和要求；整个验证过程必须具有追溯性和重复性。均得到实现，或任何对独立性的违背均得到控制，且对1软件架构设计独立性的论证应文档化。从安全角度讲。软件架构阶段是软件开发中确定修改稿收到日期：2013—12—10。基本安全策略的阶段。软件架构定义

7、软件的主要组件第一作者廖丽华(1983一)，女，2010年毕业于南京航空航天大学安全和子系统，包括它们如何实现内部连接，如何获得所要技术及工程专业，获硕士学位：主要从事功能安全及软件的验证与确认方面的研究工作。求的属性，特别是安全完整性，还定义软件的整体行92PROCESSAUTOMATIONINSTRUMENTATIONVoL35No．1January2014第8讲安全相关产品的软件实现(二)廖丽华，等为、软件组件的接口和相互作用。主要软件组件包括的文档有：软件架构设计、软件架构集成测试规范、软操作系统、数据库、EUC输输出子系统、通信子系件／可编程电子集成测试

8、规范与系统