Checklists for compliance to DO-178C and DO-278A standards

被引：9

作者：

Andres Jimenez, Jose ^{[1
]}

Medina Merodio, Jose Amelio ^{[1
]}

Fernandez Sanz, Luis ^{[1
]}

机构：

[1] Univ Alcala, Dept Comp Sci, Ctra Madrid Barcelona,Km 33 6, Alcala De Henares 28871, Spain

来源：

COMPUTER STANDARDS & INTERFACES | 2017年 / 52卷

关键词：

Checklists; Software; Objectives; Processes; Verification; DO-178C; DO-278A; SOFTWARE;

D O I：

10.1016/j.csi.2017.01.006

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The growth and complexity of airborne systems requires the elaboration of specific standards for software certification, mainly due to the characteristics of safety and reliability. As a consequence it is also necessary to improve the corresponding verification processes including the techniques that facilitate checking compliance with these required features. The goal of this paper is to analyse and develop a guide to implement the use of checklists as a formal inspection technique in the verification of compliance to all aspects referred by standards DO-178C and DO-278A. We have analysed in detail the normative under study and we have generated a set of checklists with a distributed application along the identified verification processes. These checklists have subsequently been validated from two points of view: one as a part of the usual process and another through the opinion of experts in the field.

引用

页码：41 / 50

页数：10