机构名称：
¥ 1.0
摘要 - 从2000年代初期开始，这些立方体一直在增长，并在太空行业中获得了越来越多的“空间”。他们的短期开发时间表，低成本设备和piggack的推出创造了一种新的方式来访问该空间，提供新的服务并实现开发过程和应用程序的新技术。这些任务的验证和验证就是这种情况。，由于它们比传统太空任务便宜，因此Cubesats赢得了数字。发起了1000多个立方体，他们的成功任务率仍然不到50％，这主要是由于V＆V流程较差。基于模型的方法正在尝试解决这些问题，因为它们可以帮助软件开发人员过去几年。作为复杂的系统，可以通过引入不同级别的模型来帮助太空产品。可以通过对行为方案进行建模和模拟操作程序来实现操作目标。在这里，我们使用一种可能集成了FSM和Statechartes功能的工具，即Atom Sysvap（有限自动机验证系统和执行计划）。使用此工具，我们能够从顶层建模太空任务的行为（即系统和段）至低级别（子系统）并模拟其相互作用（操作）。借助LUA编程语言，可以生成分析文件，特定方案和控制内部变量。索引术语 - 基于模型，操作，有限状态机器，验证和验证
建模基于立方体的太空任务及其操作
主要关键词
相关文件推荐
