基于立方星的空间任务及其运行建模
软件工程
2021-02-25 v1
摘要
自 2000 年代初以来，立方星（CubeSat）不断发展，并在航天工业中占据越来越多“空间”。其短研制周期、低成本设备与搭载发射创造了一种进入太空、提供新服务并促成面向流程与应用新技术开发的新途径。验证与确认（V&V）正是此类任务之一。由于比传统空间任务发射更便宜，立方星以数量取胜。在已发射的逾 1000 颗立方星中，任务成功率仍低于 50%，这主要归咎于薄弱的 V&V 流程。基于模型的方法正试图助益于这些问题，正如其过去数年对软件开发者的帮助。作为复杂系统，航天产品可借由在不同层级引入模型而获益。运行目标可通过建模行为场景与仿真运行规程来实现。在此，我们给出一种使用集成 FSM 与 Statechart 功能的工具 ATOM SysVAP（有限自动机与执行计划验证系统）的可能建模方案。借助该工具，我们能够对空间任务的行为从顶层（即系统与分系统）至底层（子系统）建模，并仿真其交互（运行）。依托 Lua 编程语言，可生成分析文件、特定场景并控制内部变量。
引用
@article{arxiv.2102.12393,
title = {Modelling a CubeSat-based Space Mission and its Operation},
author = {Carlos Leandro Gomes Batista and Fátima Mattiello-Francisco},
journal= {arXiv preprint arXiv:2102.12393},
year = {2021}
}
备注
4 pages, 28th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics