Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.07616 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915102036328448 |
|---|---|
| author | Roumage, Guillaume Azaiez, Selma Faure, Cyril Louise, Stéphane |
| author_facet | Roumage, Guillaume Azaiez, Selma Faure, Cyril Louise, Stéphane |
| contents | Ingenuity is an autonomous Cyber-Pysical System (CPS) that has successfully completed more than 70 flights over Mars between 2021 and 2024. Ensuring the safety of its mission is paramount, as any failure could result in catastrophic economic damage and significant financial losses. Dataflow Models of Computation and Communication (DF MoCCs) serve as a formal framework for specifying and analyzing the timing behavior of such CPSs. In particular, the Real-time Mode-aware Dataflow (RMDF) model is highly suitable to specify and analyze real-time and mode-dependent Cyber-Physical Systems (CPSs) like Ingenuity. This paper showcases the application of RMDF for the specification and analysis of Ingenuity. We propose a dataflow specification of Ingenuity, analyze its timing behavior, and provide a feasibility test. Finally, we proposed a plausible explanation of the timing anomaly that occurred during the sixth flight of Ingenuity. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_07616 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model Roumage, Guillaume Azaiez, Selma Faure, Cyril Louise, Stéphane Systems and Control Ingenuity is an autonomous Cyber-Pysical System (CPS) that has successfully completed more than 70 flights over Mars between 2021 and 2024. Ensuring the safety of its mission is paramount, as any failure could result in catastrophic economic damage and significant financial losses. Dataflow Models of Computation and Communication (DF MoCCs) serve as a formal framework for specifying and analyzing the timing behavior of such CPSs. In particular, the Real-time Mode-aware Dataflow (RMDF) model is highly suitable to specify and analyze real-time and mode-dependent Cyber-Physical Systems (CPSs) like Ingenuity. This paper showcases the application of RMDF for the specification and analysis of Ingenuity. We propose a dataflow specification of Ingenuity, analyze its timing behavior, and provide a feasibility test. Finally, we proposed a plausible explanation of the timing anomaly that occurred during the sixth flight of Ingenuity. |
| title | The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2501.07616 |