论文标题
基于DO-178C/DO-331
A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331
论文作者
论文摘要
全球空气流动性和无人空中系统的出现吸引了世界各地的许多初创公司。这些组织在民航中用于开发软件和电子硬件的传统过程中几乎没有培训或经验。他们还可以限制他们可以分配的资源，用于专业的专业人士团队遵循这些标准化流程。为了填补这一空白，本文基于从安全关键软件DO-178C/DO-331的基础标准中得出的目标子集提出了自定义工作流程。从标准中选择目标是基于特定目标的重要性，自动化程度和可重复使用性。这种自定义工作流程旨在建立一个精益且高度自动化的开发生命周期，从而产生更高质量的软件，具有更好的研究和原型飞机的可维护性。还可以提出作为对某些应用程序软件的合规手段，例如无人飞机系统，城市空气流动性和通用航空。通过生产基本的开发和验证工件，自定义工作流程还为符合DO-178C/DO-331的潜在未来认证提供了可扩展的基础。自动驾驶手动断开系统的案例研究中证明了自定义工作流程。
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.
