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 条
  • [1] Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
    Kuang, Heng
    Bentahar, Jamal
    Ormandjieva, Olga
    Shafieidizaji, Nassir
    Klasa, Stan
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2010, 217 : 357 - 380
  • [2] A COMPOSITIONAL FRAMEWORK FOR FAULT-TOLERANCE BY SPECIFICATION TRANSFORMATION
    PELED, D
    JOSEPH, M
    THEORETICAL COMPUTER SCIENCE, 1994, 128 (1-2) : 99 - 125
  • [3] Formal Specification of Button-Related Fault-Tolerance Micropatterns
    Sun, Mu
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 263 - 279
  • [4] A formal model for fault-tolerance in distributed systems
    Hamid, B
    Mosbah, M
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
  • [5] A Fault-tolerance Framework for Distributed Component Systems
    Hamid, Brahim
    Radermacher, Ansgar
    Vanuxeem, Patrick
    Lanusse, Agnes
    Gerard, Sebastien
    PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 84 - 91
  • [6] Dynamic scheduling and fault-tolerance: Specification and verification
    Janowski, T
    Joseph, M
    REAL-TIME SYSTEMS, 2001, 20 (01) : 51 - 81
  • [7] Dynamic Scheduling and Fault-Tolerance: Specification and Verification
    Tomasz Janowski
    Mathai Joseph
    Real-Time Systems, 2001, 20 : 51 - 81
  • [8] Specification and verification of fault-tolerance, timing, and scheduling
    Liu, ZM
    Joseph, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 46 - 89
  • [9] A framework for reconfiguration-based fault-tolerance in distributed systems
    Porcarelli, S
    Castaldi, M
    Di Giandomenico, F
    Bondavalli, A
    Inverardi, P
    ARCHITECTING DEPENDABLE SYSTEMS II, 2004, 3069 : 167 - 190
  • [10] A scalable fault-tolerance framework for mobile intelligent agent systems
    Vuong, S
    Chen, J
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XV, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS III, 2002, : 416 - 419