Software Safety in Process Control Systems

本研究的目的是开发一套完整的 提高过程控制系统中软件安全性的技术。 相关类型的软件的示例包括监视和 控制飞机和其他交通工具，核能 工厂、医疗设备、制造工艺和航空航天， 防御系统。 尽管系统安全工程师已经开发出 处理物理系统中的危险的程序，介绍 计算机控制的发展带来了新的和未解决的问题， 系统工程师和软件工程师。 这方面的基本方法是 研究涉及应用软件危害分析和危害控制 贯穿软件开发的技术，将它们与系统联系起来 正在执行的危险分析和控制程序， 由系统工程师在系统级并行执行。 信心 通过使用保护层实现：软件安全 通过软件安全性设计对验证和分析进行了支持 防止危险状态的程序， 未检测到的软件故障，包括软件中的缺陷 需求规格 这两个方面都得到了外部支持。 硬件保护。

The objective of this research is to develop an integrated set of techniques to enhance software safety in process control systems. Examples of relevant types of software include that which monitors and controls aircraft and other means of transportation, nuclear power plants, medical devices, manufacturing processes, and aerospace and defense systems. Although system-safety engineers have developed procedures to deal with hazards in physical systems, the introduction of computer control has created new and unsolved problems both for system engineers and software engineers. The basic approach in this research involves applying software hazard analysis and hazard control techniques throughout software development, linking them to the system hazard analysis and control procedures that are being performed in parallel by the system engineers at the system level. Confidence is achieved through the use of layers of protection: The software safety verification and analysis is backed up by using software safety design procedures that protect against hazardous states resulting from undetected software faults, including flaws in the software requirements specification. Both of these are backed up by external hardware protection.