CertiA360: Enhance Compliance Agility in Aerospace Software Development

📅 2025-11-14
📈 Citations: 0
✨ Influential: 0
📄 PDF
🤖 AI Summary
Agile development methodologies struggle to comply with stringent airworthiness standards—such as DO-178C—in safety-critical aerospace software, due to inherent tensions between iterative flexibility and rigorous certification requirements. Method: This paper introduces CertiA360, an automated tool for end-to-end requirement traceability and compliance verification across agile iterations. Built upon DO-178C/DO-330, it features a certifiable architecture supporting dynamic requirement maturity assessment, change-driven verification and validation (V&V) closure, and bidirectional traceability. Contribution/Results: CertiA360 uniquely integrates lightweight agile practices—including user story mapping and incremental delivery—with high-assurance certification constraints, effectively bridging the gap between agility and regulatory rigidity. Empirical evaluation demonstrates a ~60% reduction in manual traceability effort, a 40% decrease in change-response cycle time, and full compliance with EASA/FAA tool qualification and process trustworthiness requirements.

Technology Category

Cognitive Modeling & Cognitive Systems: Agent ArchitecturesConstraint Satisfaction and Optimization: Satisfiability Modulo TheoriesApplication Domains: Mobility, Driving & Flight

Application Category

Search and Retrieval-Augmented AI: Agentic searchSystems and Infrastructure for Web, Mobile and WoT: Web performance, measurement, and characterizationSecurity and Privacy: Large-scale security measurements
📝 Abstract
Agile methods are characterised by iterative and incremental processes with a strong focus on flexibility and accommodating changing requirements based on either technical, regulatory, or stakeholder feedback. However, integrating Agile methods into safety-critical system development in the aerospace industry presents substantial challenges due to its strict compliance requirements, such as those outlined in the DO-178C standard. To achieve this vision, the flexibility of Agile must align with the rigorous certification guidelines, which emphasize documentation, traceability of requirements across different levels and disciplines, and comprehensive verification and validation (V&V) activities. The research work described in this paper proposes a way of using the strengths of the flexible nature of Agile methods to automate and manage change requests throughout the whole software development lifecycle, ensuring robust traceability, regulatory compliance and ultimately facilitating successful certification. This study proposes CertiA360, a tool designed to help teams improve requirement maturity, automate the changes in traceability, and align with the regulatory objectives. The tool was designed and validated in close collaboration with aerospace industry experts, using their feedback to ensure practical application and real-life effectiveness. The feedback collected demonstrated that the automation given by CertiA360 may reduce manual effort and allow response to changing requirements while ensuring compliance with DO-178C. While the tool is not yet qualified under DO-330 (Tool Qualification), findings suggest that when tailored appropriately, Agile methods can not only coexist with the requirements of safety-system development and certification in highly regulated domains like aerospace, but also add efficiency.
Problem

Research questions and friction points this paper is trying to address.

Integrating Agile methods into aerospace software development with strict compliance requirements
Automating change requests and traceability throughout the software development lifecycle
Ensuring regulatory compliance with DO-178C standard while maintaining Agile flexibility
Innovation

Methods, ideas, or system contributions that make the work stand out.

Automates change requests in Agile lifecycle
Ensures traceability and DO-178C compliance
Reduces manual effort for requirement changes
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
J
J. A. D. Macedo
Department of Informatics Engineering, Faculty of Engineering, University of Porto, Porto, 4200-465, Portugal
H
Hugo Fernandes
Department of Informatics Engineering, Faculty of Engineering, University of Porto, Porto, 4200-465, Portugal
J
J. Eduardo Ferreira Ribeiro
Department of Informatics Engineering, Faculty of Engineering, University of Porto, Porto, 4200-465, Portugal