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 条

[41] FAULT-TOLERANCE - SURVIVAL ATTRIBUTE OF DIGITAL SYSTEMS
AVIZIENIS, A
PROCEEDINGS OF THE IEEE, 1978, 66 (10) : 1109 - 1125
[42] Fault-tolerance of computation systems with functional reconfiguration
Bogatyrev, V.A.
Pribory i Sistemy Upravleniya, 2001, (11): : 51 - 54
[43] Automated Analysis of Fault-Tolerance in Distributed Systems
Scott D. Stoller
Fred B. Schneider
Formal Methods in System Design, 2005, 26 : 183 - 196
[44] FAULT-TOLERANCE IN HIGHLY PARALLEL HARDWARE SYSTEMS
GROSSPIETSCH, KE
IEEE MICRO, 1994, 14 (01) : 60 - 68
[45] Automated analysis of fault-tolerance in distributed systems
Stoller, SD
Schneider, FB
FORMAL METHODS IN SYSTEM DESIGN, 2005, 26 (02) : 183 - 196
[46] Fault-tolerance in very large archival systems
Saltzer, Jerome H., 1991, (25):
[47] Fault-tolerance for multi-agent systems
M.M. Institute of Computer Technology and Business Management, M.M. University, Mullana, Haryana, India
不详
Proc. - IEEE Int. Conf. Comput. Sci. Autom. Eng., CSAE, (53-57):
[48] ALGORITHMIC FAULT-TOLERANCE OF CONTROL-SYSTEMS
GLUMOV, VM
ZEMLYAKOV, SD
RUTKOVSKII, VY
SILAEV, AV
AUTOMATION AND REMOTE CONTROL, 1988, 49 (09) : 1109 - 1132
[49] On Methods for the Formal Specification of Fault Tolerant Systems
Mazzara, Manuel
PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81
[50] Reactive systems developing by formal specification transformations
Attoui, A
Hasbani, A
EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 339 - 344

← 1 2 3 4 5 →