Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide new services and enable the development of new technologies for processes and applications. That is the case of the Verification and Validation of these missions. As they are cheaper to launch than traditional space missions, CubeSats win by numbers. With more than 1000 CubeSats launched they still achieve less than 50% rate of successful missions and that is caused mainly by poor V&V processes. Model Based approaches are trying to help in these problems as they help software developers along the last years. As complex systems, space products can be helped by the introduction of models in different levels. Operational goals can be achieved by modeling behavioral scenarios and simulating operational procedures. Here, we present a possible modeling solution using a tool that integrates the functionalities of FSM and Statechartes, the ATOM SysVAP (System for Validation of Finite Automatons and Execution Plans). With this tool we are able to model the behaviour of a space mission, from its top level (i.e. system and segments) to its low level (subsystems) and simulate their interactions (operation). With the help of Lua Programming Language, it is possible to generate analysis files, specific scenarios and control internal variables.

中文翻译：

---

基于CubeSat的太空任务及其操作建模

自2000年代初期以来，CubeSat一直在发展，并在太空工业中获得越来越多的“太空”。他们的开发时间表短，成本低廉的设备和背负式发射，为进入太空，提供新服务以及为流程和应用开发新技术提供了一种新途径。这些任务的核实和确认就是这种情况。由于它们的发射比传统的太空任务便宜，因此CubeSats在数量上胜出。发射了1000多个CubeSat之后，它们的成功执行率仍不到50％，这主要是由于V＆V流程不佳所致。基于模型的方法正试图解决这些问题，因为它们在过去的几年中一直在帮助软件开发人员。作为复杂的系统，引入不同级别的模型可以帮助太空产品。可以通过对行为情景进行建模并模拟操作程序来实现操作目标。在这里，我们提出了一种使用集成了FSM和状态图功能的工具ATOM SysVAP（有限自动机和执行计划验证系统）的可能的建模解决方案。使用此工具，我们可以对太空任务的行为进行建模，从其最高层（即系统和细分）到其低层（子系统），并模拟它们之间的相互作用（运行）。借助Lua编程语言，可以生成分析文件，特定方案并控制内部变量。我们提供了一种使用集成了FSM和状态图功能的工具ATOM SysVAP（有限自动机和执行计划验证系统）的可行建模解决方案。使用此工具，我们可以对太空任务的行为进行建模，从其最高层（即系统和细分）到其低层（子系统），并模拟它们之间的相互作用（运行）。借助Lua编程语言，可以生成分析文件，特定方案并控制内部变量。我们提供了一种使用集成了FSM和状态图功能的工具ATOM SysVAP（有限自动机和执行计划验证系统）的可行建模解决方案。使用此工具，我们可以对太空任务的行为进行建模，从其最高层（即系统和细分）到其低层（子系统），并模拟它们之间的相互作用（运行）。借助Lua编程语言，可以生成分析文件，特定方案并控制内部变量。系统和细分）到底层（子系统）并模拟它们的交互（操作）。借助Lua编程语言，可以生成分析文件，特定方案并控制内部变量。系统和细分）到底层（子系统）并模拟它们的交互（操作）。借助Lua编程语言，可以生成分析文件，特定方案并控制内部变量。