基于实时模式感知数据流模型的Ingenuity 火星直升机设计与分析
系统与控制
2025-01-15 v1 系统与控制
摘要
Ingenuity 是一个已在 2021 年至 2024 年期间成功完成 70 多次火星飞行的自主网络-物理系统 (CPS)。确保其任务安全至关重要，因为任何故障都可能导致灾难性的经济损失和重大财务损失。数据流计算与通信模型 (DF MoCCs) 作为一种形式化框架，用于指定和分析此类 CPS 的时序行为。特别是，实时模式感知数据流 (RMDF) 模型非常适合指定和分析具有时序和模式依赖性的网络-物理系统，如Ingenuity。本文展示了将 RMDF 应用于 Ingenuity 指定与分析的案例。我们提出了Ingenuity 的数据流规范，分析了其时序行为，提供了可行性测试。最后，我们提出了对 Ingenuity 第六次飞行中发生的时序异常的合理解释。
引用
@article{arxiv.2501.07616,
title = {The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model},
author = {Guillaume Roumage and Selma Azaiez and Cyril Faure and Stéphane Louise},
journal= {arXiv preprint arXiv:2501.07616},
year = {2025}
}
备注
arXiv admin note: text overlap with arXiv:2501.07187