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 条

[21] FTSyn: A framework for automatic synthesis of fault-tolerance
Ebnenasir A.
Kulkarni S.S.
Arora A.
Int. J. Softw. Tools Technol. Trans., 2008, 5 (455-471): : 455 - 471
[22] FAULT-TOLERANCE IN AUTOMATED MANUFACTURING SYSTEMS
MENDIGUTXIA, J
ZUBIZARRETA, P
GOENAGA, JM
BERASATEGUI, L
MANERO, L
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (02) : 275 - 285
[23] ON THE DESIGN OF MANUFACTURING SYSTEMS FOR FAULT-TOLERANCE
HAMMER, DK
PELS, HJ
TIMMERMANS, PJM
PRODUCTION MANAGEMENT METHODS, 1994, 19 : 325 - 333
[24] Availability evaluation of IoT systems with Byzantine fault-tolerance for mission-critical applications
Marcozzi, Marco
Gemikonakli, Orhan
Gemikonakli, Eser
Ever, Enver
Mostarda, Leonardo
INTERNET OF THINGS, 2023, 23
[25] FORMAL SPECIFICATION METHODS FOR REACTIVE SYSTEMS
FURBACH, U
JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (02) : 129 - 139
[26] A framework for formal specification of embedded systems
Bures, F
Rysavy, O
Scuglik, F
Sveda, M
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 323 - 330
[27] TRANSIENT FAULT-TOLERANCE IN DIGITAL-SYSTEMS
SOSNOWSKI, J
IEEE MICRO, 1994, 14 (01) : 24 - 35
[28] Fault-tolerance in air traffic control systems
Cristian, F
Dancey, B
Dehn, J
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1996, 14 (03): : 265 - 286
[29] Verifying Fault-Tolerance in Probabilistic Swarm Systems
Lomuscio, Alessio
Pirovano, Edoardo
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 325 - 331
[30] Fault-tolerance and reliability in networked sensor systems
Li, HL
Xing, LD
Proceedings of the 4th International Conference on Quality & Reliability, 2005, : 399 - 408

← 1 2 3 4 5 →