Reproduce “A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, Pranav Nagarajan, Daniel Dollinger, Markus Hochstrasser and 2 more
Researchers from the Technical University of Munich and Universität der Bundeswehr München developed a lean, highly-automated model-based software development process for aerospace applications that adheres to a subset of DO-178C/DO-331 objectives. This methodology reduced development effort by approximately 50% for a case study while producing high-quality, certifiable software artifacts.
Key insights
- Strategic tailoring of DO-178C/DO-331 objectives enables significant reductions in development effort while maintaining a quality level comparable to Level C, by prioritizing objectives with high automation potential and direct safety relevance.
- Leveraging Model-Based Development (MBD) with extensive early verification at the model level (e.g., simulation, static analysis) effectively shifts defect detection earlier in the lifecycle, preventing costly downstream issues.
- The combination of commercial-off-the-shelf tools with custom-developed process automation and traceability solutions is crucial for streamlining the certification evidence generation in a continuous integration environment.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.