从瀑布式的航空航天认证走向敏捷的可认证迭代
From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
AI总结：
本文提出一种符合DO-178C标准的持续文档生成策略与工具，通过迭代创建和无缝合并软件组件文档，实现可认证的敏捷迭代，经航空航天业界验证证实了其适用性，促进了敏捷实践在该领域的推广。
摘要：
敏捷软件开发因其适应需求变更的能力，在航空航天工业中正变得越来越受欢迎。然而，安全攸关领域需要符合严格的法规，例如 DO-178C 航空电子标准，该标准要求详尽的文档记录。这一约束的主要挑战不在于内容本身，而在于从系统级需求到各类测试与验证证据的全面可追溯性，包括谁在何时对哪个制品做了什么。目前，这主要是在项目结束时执行的手动活动，这阻碍了将航空航天应用软件开发敏捷化的努力。在本文中，我们提出了一种策略和工具，支持生成符合 DO-178C 要求的持续文档。通过迭代地创建与每个软件组件相关联的 DO-178C 文档，并将其与先前生成的文档无缝合并，我们为实现真正持续的可认证迭代开辟了道路，这是对当前瀑布式行业实践的演进。所提出的机制和工具是与航空航天工业专业人士共同设计和验证的，从而证实了其适用性和实用性。生成的制品表明，文档自动化在航空航天工业中是可行的，为在这一高度受监管的领域更广泛地采用敏捷实践开辟了道路。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
