工业控制软件功能安全的实现方法和评估

摘要：

从趋势上讲,软件和人为因素导致控制系统失效、事故和停机的比例越来越高.这源于现在对软件的依赖越来越高,软件也变得越来越复杂,以至于难以在软件的开发过程中有效地控制软件质量、软件的信息安全和软件的功能安全.从介绍控制系统功能安全和安全完整性的基本概念入手,阐述工业控制软件功能安全的概念、安全完整性等级和实现工业控制软件功能安全的流程及方法,包括对编程语言和实时操作系统的要求和选择.还用相当篇幅讨论工业控制软件功能安全的验证和确认的基本方法,指出在软件生命周期的各个阶段都要由第三方进行软件功能安全的验证,为保证最终软件产品的性能,在阶段性验证的基础上最终通过确认来确定它是否满足系统的所有要求.

关键词：工业控制软件的功能安全、软件功能安全的认证和确认、全可变语言、有限可变语言

所属期刊栏目：47

分类号：TP273(自动化技术及设备)

在线出版日期：2011-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-7