基于反应自主系统框架的小行星勘探任务容错规范

ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors Pub Date : 2010-07-07 DOI:10.1109/ASAP.2010.5540769

Heng Kuang, O. Ormandjieva, S. Klasa, J. Bentahar

{"title":"基于反应自主系统框架的小行星勘探任务容错规范","authors":"Heng Kuang, O. Ormandjieva, S. Klasa, J. Bentahar","doi":"10.1109/ASAP.2010.5540769","DOIUrl":null,"url":null,"abstract":"The NASA's Autonomous Nano Technology Swarm (ANTS) is a generic mission architecture consisting of miniaturized, autonomous, self-similar, reconfigurable, and addressable components forming structures. The Prospecting Asteroid Mission (PAM) is one of ANTS applications for survey of large dynamic populations. In this paper, we propose a formal approach based on Category Theory to specify the fault-tolerance property in PAM by Reactive Autonomie Systems Framework.","PeriodicalId":175846,"journal":{"name":"ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework\",\"authors\":\"Heng Kuang, O. Ormandjieva, S. Klasa, J. Bentahar\",\"doi\":\"10.1109/ASAP.2010.5540769\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The NASA's Autonomous Nano Technology Swarm (ANTS) is a generic mission architecture consisting of miniaturized, autonomous, self-similar, reconfigurable, and addressable components forming structures. The Prospecting Asteroid Mission (PAM) is one of ANTS applications for survey of large dynamic populations. In this paper, we propose a formal approach based on Category Theory to specify the fault-tolerance property in PAM by Reactive Autonomie Systems Framework.\",\"PeriodicalId\":175846,\"journal\":{\"name\":\"ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-07-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASAP.2010.5540769\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASAP.2010.5540769","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

NASA的自主纳米技术群(ANTS)是一种通用任务架构，由小型化、自主、自相似、可重构和可寻址的组件组成结构。小行星勘探任务(PAM)是蚁群技术在大型动态种群调查中的应用之一。本文提出了一种基于范畴论的形式化方法，通过响应式自治系统框架来确定PAM的容错特性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework

The NASA's Autonomous Nano Technology Swarm (ANTS) is a generic mission architecture consisting of miniaturized, autonomous, self-similar, reconfigurable, and addressable components forming structures. The Prospecting Asteroid Mission (PAM) is one of ANTS applications for survey of large dynamic populations. In this paper, we propose a formal approach based on Category Theory to specify the fault-tolerance property in PAM by Reactive Autonomie Systems Framework.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors

自引率

0.00%

发文量