Bridging Certification and Agile Development in Safety Critical Airborne Software: An Incremental DO-178C Assurance Framework

Iterative development methods are increasingly adopted in safety-critical airborne software programs to address growing system complexity and evolving integration needs. At the same time, certification requires strict adherence to DO-178C assurance objectives [1][2].
Although DO-178C does not mandate a specific lifecycle structure, certification activities are frequently executed using milestone-oriented processes [1]. This introduces structural misalignment with incremental development, often leading to delayed compliance evidence, increased rework, instability in verification artifacts, and uncertainty during certification reviews [7][9].
This paper proposes an Incremental Assurance Framework that integrates certification objectives directly into iterative workflows. The framework is based on three key elements: progressive fulfillment of assurance objectives, disciplined handling of change impacts, and explicit maintenance of verification independence.
A four-level Agile–Certification Maturity Model is also presented to describe how organizations evolve toward sustained certification readiness. A representative scenario is used to illustrate improvements in trace consistency, reduced review disruption, and enhanced predictability of certification outcomes.
The results indicate that certification activities can be performed continuously alongside development while maintaining the rigor required for airborne software approval.

DO-178C, airborne software, Agile methods, safety-critical systems, certification strategy, incremental assurance, verification independence, traceability.

1. RTCA, DO-178C: Software Considerations in Airborne Systems and Equipment Certification, 2011. [Google Scholar] [Crossref]

2. EUROCAE, ED-12C: Software Considerations in Airborne Systems, 2011. [Google Scholar] [Crossref]

3. RTCA, DO-330: Software Tool Qualification Considerations, 2011. [Google Scholar] [Crossref]

4. RTCA, DO-331: Model-Based Development and Verification Supplement to DO-178C, 2011. [Google Scholar] [Crossref]

5. RTCA, DO-332: Object-Oriented Technology Supplement to DO-178C, 2011. [Google Scholar] [Crossref]

6. RTCA, DO-333: Formal Methods Supplement to DO-178C, 2011. [Google Scholar] [Crossref]

7. FAA, AC 20-115D: Airborne Software Development Assurance Using DO-178C, 2017. [Google Scholar] [Crossref]

8. Leveson, N., Engineering a Safer World: Systems Thinking Applied to Safety, MIT Press, 2011. [Google Scholar] [Crossref]

9. Highsmith, J., Agile Project Management: Creating Innovative Products, Addison-Wesley, 2010. [Google Scholar] [Crossref]

10. IEEE Aerospace Conference, Selected Proceedings on Agile Methods in Safety-Critical Systems, 2015–2022. [Google Scholar] [Crossref]

11. Parnas, D., & Madey, J., “Software Aging: The Evidence and Implications for Safety-Critical Systems,” Journal of Systems and Software, 2009. [Google Scholar] [Crossref]

12. Thangavelu, Jawahar, Ensuring Compliance with DO-178C: Advanced Techniques in Avionics Software Verification (January 06, 2022). ESP Journal of Engineering & Technology Advancements ,Volume 2 Issue 1 February 2022 / Page No: 135-146, 10.56472/25832646/JETA-V2I1P116, Available at SSRN: https://ssrn.com/abstract=5124611 [Google Scholar] [Crossref]

• Planning Higher Education for Industrial Revolution and Human Capital Development in Nigeria: Issues and Challenges