从架构到二进制：确保基于模型的机载软件开发中的跨域一致性
From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development
浏览论文内容
中文总结 AI 辅助
针对机载软件开发中跨域不一致问题，提出以仓库为中心的实现方案，结合CI流水线与自动化检查，在实验项目中验证了方案的有效性。
中文摘要 AI 辅助
本文提出了一种有人及无人飞行器的机载软件开发方法，旨在减少系统、基于模型的功能及嵌入式软件各领域间的不一致性。在受ARP-4754B和DO-178C等标准影响的环境中，此类不一致性通常源于跨域边界的执行不足，而非流程定义缺失。基于先前提出的以关系接口数据库为核心的工具链，我们识别出反复出现的失效模式，并提出以仓库为中心的实现方案以解决这些问题，该方案针对无繁重流程开销的小型资源受限团队量身定制。每个领域被分配一个主仓库，配有跨仓库引用及专用CI流水线，用于生成、更新和验证交换的工件。自动化接口更新、差异变更通知及一致性检查以最少的人工工作量传播变更，并在耗时的代码生成和编译步骤前暴露不一致性。本文描述了一个正在进行的实验项目中的初始实现，并提供了其早期使用的定性反馈。
英文摘要
This paper presents an airborne software development approach for manned and unmanned aerial vehicles aimed at reducing inconsistencies across system, model-based functional, and embedded software domains. In environments influenced by standards such as ARP-4754B and DO-178C, these inconsistencies typically stem from insufficient enforcement across domain boundaries rather than missing process definitions. Building on a previously proposed toolchain centered on a relational interface database, we identify recurring failure modes and propose a repository-centered implementation to address them, tailored to small, resource-constrained teams operating without heavyweight process overhead. Each domain is assigned a primary repository with cross-repository references and dedicated CI pipelines that generate, update, and validate the exchanged artifacts. Automated interface updates, differential change notifications, and consistency checks propagate changes with minimal manual effort and surface inconsistencies before the time-consuming code-generation and compilation steps. An initial implementation in an ongoing experimental project is described, with qualitative feedback from its early use.
