Software Qualification Approach for Safety-Critical Software of the Embedded System
Software Qualification Approach for Safety-Critical Software of the Embedded System
复制标题
嵌入式系统安全关键软件的软件鉴定方法
DOI：
10.1007/978-3-642-35594-3_25
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Soon
中科院分区：
文献类型：
--
作者：
Jang;Soon
可编程逻辑控制器（PLC）作为工业功能安全设施的主要部件应用于控制系统。本文描述了安全关键软件的鉴定方法，对应于软件验证和确认、软件安全分析、软件质量保证和软件配置管理等。安全关键软件的鉴定活动主要包括技术评估、许可适用性评估、检查和可追溯性分析、形式验证、软件安全分析、软件质量保证及其软件配置管理等。首先，技术评估进行基于验证者的工程决策的技术审查。其次，根据规范和标准标准进行许可适用性评估，根据验证和确认指南中定义的功能特征和过程特征分析设计输出。第三，检查和溯源分析涵盖了正确性、一致性、完整性、输入和输出的属性、行为实体、接口等，具有三重检查表拓扑。第四，通过图形后退动画（GBA）和模拟对基于软件需求规范（SRS）和软件设计规范（SDS）的状态图进行形式验证。第五，软件安全分析采用HAZard可操作性（HAZOP）方法，并进行故障模式影响分析（FMEA）。最后，利用软件配置管理工具对软件文档和源代码进行软件质量保证评估下的软件配置管理。我们相信我们能够实现嵌入式系统的软件鉴定目标——功能、性能、可靠性和安全性。
Programmable Logic Controller (PLC) is applied to a control system as major components in industrial functional safety facilities. This paper describes the safety-critical software qualification approach which corresponds to the software verification and validation, software safety analysis, software quality assurance and software configuration management etc. Major qualification activities for safety-critical software are a technical evaluation, licensing suitability evaluation, inspection and traceability analysis, formal verification, software safety analysis, software quality assurance and its software configuration management etc. First, the technology evaluation performs a technical review which was based on engineering decision-making by verifiers. Second, the licensing suitability evaluation was performed according to the Code & Standard criteria by analyzing the designed outputs based on the functional characteristics and process characteristics defined in the verification and validation guidelines. Third, the inspection and traceability analysis covers the correctness, consistency, completeness, properties of the inputs and outputs, behavioral entities, interfaces, etc. with a three-folded checklist topology. Fourth, a formal verification perform for the statechart based on the Software Requirement Specification (SRS) and the Software Design Specification (SDS) by a Graphical Back Animation (GBA) and a simulation. Fifth, the software safety analysis use the HAZard Operability (HAZOP) method and it analyze the Failure Mode Effect Analysis (FMEA). Finally, a software configuration management under the software quality assurance estimate for the software documents and the source codes by using Software Configuration Management tool. We believe that we achieve the functionality, performance, reliability and safety that are the software qualification objective goals of the embedded system.