From Waterfallish Aerospace Certification onto Agile Certifiable Iterations

• URL: http://arxiv.org/abs/2503.04265v1
• Date: Thu, 06 Mar 2025 09:49:57 GMT
• Title: From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
• Authors: J. Eduardo Ferreira Ribeiro, Mário Zenha-Rela, João Gabriel Silva,
• Abstract summary: We present a strategy and tools that support the generation of continuous documentation complying with DO-178C requirements.<n>By iteratively creating the DO-178C documentation associated with each software component, we open the way to truly continuous certifiable iterations.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• ARGO-SLSA: Software Supply Chain Security in Argo Workflows [0.0]
  Argonatives is an engine for managing software artifacts in an automated fashion. It does not include built-in functionality for frameworks like Supply-chain Levels for Software Artifacts (SLSA) This paper proposes a provenance controller built on top of Argos to enhance artifact security.
  arXiv  Detail & Related papers  (2025-03-25T21:32:23Z)
• UOOR: Seamless and Traceable Requirements [28.579389358111115]
  The proposed solution is a requirements engineering method, called UOOR.<n>The method unifies many known requirements concepts and a few new ones in a framework entirely devised to accommodate and support seamless change throughout the project lifecycle.<n>The UOOR approach is not just a theoretical proposal but has been designed for practical use and has been applied to a significant real-world case study: Roborace.
  arXiv  Detail & Related papers  (2025-02-25T20:03:01Z)
• Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
  We present the Code-Development Benchmark (Codev-Bench), a fine-grained, real-world, repository-level, and developer-centric evaluation framework. Codev-Agent is an agent-based system that automates repository crawling, constructs execution environments, extracts dynamic calling chains from existing unit tests, and generates new test samples to avoid data leakage.
  arXiv  Detail & Related papers  (2024-10-02T09:11:10Z)
• The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance [45.53834452021771]
  GitHub Actions (GA) is an orchestration platform that streamlines the automatic execution of engineering tasks. Human intervention is necessary to correct defects, update dependencies, or existing workflow files.
  arXiv  Detail & Related papers  (2024-09-04T01:33:16Z)
• Model-driven realization of IDTA submodel specifications: The good, the bad, the incompatible? [49.60138105915326]
  Asset Administration Shells are trending in Industry 4.0. In February 2024, the Industrial Digital Twin Association announced 84 and released 18 AAS submodel specifications. We present a model-driven approach, which transforms extracted information from IDTA specifications into an intermediary meta-model and, from there, generates API code and tests.
  arXiv  Detail & Related papers  (2024-06-20T16:33:46Z)
• Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
  Process compliance focuses on ensuring that the actual engineering work is followed as closely as possible to the described engineering processes. Checking these process constraints is still a daunting task that requires a lot of manual work and delivers feedback to engineers only late in the process. We present an automated constraint checking approach that can incrementally check temporal constraints across inter-related engineering artifacts upon every artifact change.
  arXiv  Detail & Related papers  (2023-12-20T13:26:31Z)
• Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development [0.0]
  Domain-specific standards and guidelines play a crucial role in regulating safety-critical systems. This paper analyses the DO-178C document within the context of software development for safety-critical aerospace systems.
  arXiv  Detail & Related papers  (2023-11-07T20:58:02Z)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  We provide a framework to encode system specifications and define corresponding certificates. We present an automated approach to formally synthesise controllers and certificates. Our approach contributes to the broad field of safe learning for control, exploiting the flexibility of neural networks.
  arXiv  Detail & Related papers  (2023-09-12T09:37:26Z)
• Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
  This article examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools.
  arXiv  Detail & Related papers  (2023-01-05T18:18:46Z)
• A Brief Survey of Current Software Engineering Practices in Continuous Integration and Automated Accessibility Testing [0.0]
  This paper attempts to map the current scene of the software engineering effort spent on improving accessibility via continuous integration. We also try to explore steps that agile teams may take to train members on how to implement accessibility testing.
  arXiv  Detail & Related papers  (2021-02-27T01:13:43Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.