使用 ASSL 为 NASA 任务开发实验模型

Emil Vassev; Mike Hinchey

doi:10.4204/EPTCS.20.10

使用 ASSL 为 NASA 任务开发实验模型

软件工程 2010-03-26 v1 机器人学

作者: Emil Vassev , Mike Hinchey

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

NASA 太空探索的新时代预示着深空探测任务的巨大前景，航天器应具备独立性、自主性和智能性。如今 NASA 越来越依赖自主计算的概念，利用这些概念来提高远程任务的生存能力，尤其是在无法进行人工维护的情况下。自主计算已被认为是开发自管理航天器系统的一种有前景的方法，这些系统采用机载智能并减少对控制链路的依赖。自主系统规范语言 (ASSL) 是一个用于形式化规范和生成自主系统的框架。作为针对依赖自主计算原理的太空探索任务模型开发的长期研究的一部分，我们使用 ASSL 为 NASA 任务开发形式化模型并生成功能原型。这有助于通过仿真验证特性并执行实验。在此，我们讨论使用 ASSL 开发此类任务的工作。

关键词

自主计算 ASSL NASA 任务航天器系统形式化规范仿真

引用

@article{arxiv.1003.0396,
  title  = {Developing Experimental Models for NASA Missions with ASSL},
  author = {Emil Vassev and Mike Hinchey},
  journal= {arXiv preprint arXiv:1003.0396},
  year   = {2010}
}

备注

7 pages, 4 figures, Workshop on Formal Methods for Aerospace (FMA'09)

使用 ASSL 为 NASA 任务开发实验模型

摘要

关键词

引用

备注

相关论文