自主式航电平台概念及其带来的软件工程挑战
软件工程
2021-03-24 v1 系统与控制
系统与控制
摘要
通常关联于自主计算概念的自我-* 特性是航电软件平台所期望的能力。它们减少了配置工作量，并天然提供了新的容错与资源节约可能。然而，严格的认证流程以及对静态和预定系统行为的要求，与自主计算系统的自适应和灵活本质相矛盾。我们提出了一种基于分区的架构，为航电软件平台提供自主特性，同时符合法规和公认技术，如 ARINC 653。其核心是基于领域特定模型和新型 MAP-QE-K 周期的平台意识。此外，我们建议了规划智能、虚拟鉴定机构和最小化执行单元。对每个组件，我们定义了所需的设计保证级别和可能的实现技术。我们讨论了整体可行性，并指出了运行时验证和运行时模型领域的核心挑战。这些挑战需要在实现自主航电之前解决，例如虚拟安全评估和可鉴定的领域特定模型数据库。
引用
@article{arxiv.2103.12065,
title = {The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges},
author = {Bjoern Annighoefer and Johannes Reinhart and Matthias Brunner and Bernd Schulz},
journal= {arXiv preprint arXiv:2103.12065},
year = {2021}
}
备注
7 pages, 5 figures