From Waterfallish Aerospace Certification onto Agile Certifiable Iterations

Agile software development is becoming increasingly popular in the aerospace industry because of its capability to accommodate requirement changes. However, safety-critical domains require compliance with strict regulations such as the DO-178C avionics standard, which demands thorough documentation. The main challenge of this constraint is not the content itself, but rather the comprehensive traceability from system-level requirements to all sorts of testing and verification evidence, including who did what, when, and to which artifact. Currently, this is mostly a manual activity performed at the end of the project, which blocks efforts to agilize the development of software for aerospace applications. In this paper, we present a strategy and tools that support the generation of continuous documentation complying with DO-178C requirements. By iteratively creating the DO-178C documentation associated with each software component and seamlessly merging it with the previously generated documentation, we open the way to truly continuous certifiable iterations, an evolution from the current Waterfallish industry practice. The proposed mechanisms and tools were co-designed and validated with aerospace industry professionals, thereby confirming its applicability and usefulness. The generated artifacts show that document automation is feasible in the aerospace industry, opening the way for more widespread adoption of Agile practices in this highly regulated sector.