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

The Implementation Methods and Evaluation for the Functional Safety of Industrial Control Software

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

By trending, the proportion of failures, faults and shutdown of control systems, caused by software and artificial factors, has become higher and higher. That is originated from which there are more and more dependent on software and software is becomeing more and more complex so that it is hard effectively to handle the quality, security and functional safety of software during software development course. It starts with introducing the fundamentation process and methods of functional safety of industrial control software and implementation methods, including the requirements and selection of programming languages and real- time operating system. It is addressed to discuss verification and validation for functional safety of industrial control software in detail. Furthermore it is pointed out that verification of software＇s functional safety should be made by the third party in every phase of software lifetime and verification in order to guarantee the performance of final software products.