A Formal Specification of Fault-Tolerance in Prospecting Asteroid Mission with Reactive Autonomic Systems Framework

被引：0

作者：

Kuang, Heng ^{[1
]}

Ormandjieva, Olga ^{[1
]}

Klasa, Stan ^{[1
]}

Bentahar, Jamal ^{[1
]}

机构：

[1] Concordia Univ, Montreal, PQ, Canada

来源：

21ST IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS | 2010年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 Autonomic Systems Framework.

引用

页数：8

共 50 条

[31] MODELING OF HIERARCHICAL DISTRIBUTED SYSTEMS WITH FAULT-TOLERANCE
SHIEH, YB
GHOSAL, D
CHINTAMANENI, PR
TRIPATHI, SK
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (04) : 444 - 457
[32] FAULT-TOLERANCE IN REAL-TIME SYSTEMS
PHAM, H
JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 25 (01) : 1 - 2
[33] Fault-tolerance in air traffic control systems
UCSD
ACM Trans Comput Syst, 3 (265-286):
[34] Security, fault-tolerance and their verification for ambient systems
Hoepman, JH
SECURITY AND PRIVACY IN THE AGE OF UNCERTAINTY, 2003, 122 : 441 - 446
[35] Validation of guidance control software requirements specification for reliability and fault-tolerance
Sheldon, FT
Kim, HY
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2002 PROCEEDINGS, 2002, : 312 - 318
[36] Coding approach for fault-tolerance in multiagent systems
Miletic, F
Dewilde, P
2005 INTERNATIONAL CONFERENCE ON INTEGRATION OF KNOWLEDGE INTENSIVE MULTI-AGENT SYSTEMS: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 555 - 560
[37] A solution for fault-tolerance in replicated database systems
Chen, CG
Zhou, WL
PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2003, 2745 : 411 - 422
[38] Fault-tolerance of serial bus-systems
Mores, R
ELECTRONIC SYSTEMS FOR VEHICLES, 1996, 1287 : 709 - 731
[39] A fault-tolerance mechanism for mobile agent systems
Leung, Kwai Ki
Ng, Kam Wing
INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 1006 - +
[40] Structural analysis of fault-tolerance for homogeneous systems
Tanaka, R
Iwata, S
Shin, S
PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 1920 - 1921

← 1 2 3 4 5 →