A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331

Konstantin Dmitriev (1) , Shanza Ali Zafar (1) , Kevin Schmiechen (1) , Yi Lai (1) , Micheal Saleab (1) , Pranav Nagarajan (1) , Daniel Dollinger (1) , Markus Hochstrasser (1) , Florian Holzapfel (1) , Stephan Myschik (2)

1 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich
2 Universität der Bundeswehr München [Neubiberg]

The emergence of a global market for urban air mobility and unmanned aerial systems has attracted many startups across the world. These organizations have little training or experience in the traditional processes used in civil aviation for the development of software and electronic hardware. They are also constrained in the resources they can allocate for dedicated teams of professionals to follow these standardized processes. To fill this gap, this paper presents a custom workflow based on a subset of objectives derived from the foundational standards for safety critical software DO-178C/DO-331. The selection of objectives from the standards is based on the importance, degree of automation, and reusability of specific objectives. This custom workflow is intended to establish a lean and highly automated development life cycle resulting in higher quality software with better maintainability characteristics for research and prototype aircraft. It can also be proposed as means of compliance for software of certain applications such as unmanned aircraft systems, urban air mobility and general aviation. By producing the essential set of development and verification artifacts, the custom workflow also provides a scalable basis for potential future certification in compliance with DO-178C/DO-331. The custom workflow is demonstrated in a case study of an Autopilot Manual Disconnection System.

Mots clés: lean software development; model-based development; safety critical systems; software assurance; DO-331; DO-178C; agile development; requirements management

Domaines: Systèmes embarqués; Génie logiciel [cs.SE]

Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, et al.. A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331. 39th Digital Avionics System Conference, Oct 2020, online, United States. ⟨hal-02901623⟩