A formal specification of fault-tolerance in prospecting asteroid mission with reactive autonomic systems framework

Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors

Volumn , Issue , 2010, Pages 99-106

  Kuang, Heng ^a   Ormandjieva, Olga ^a   Klasa, Stan ^a   Bentahar, Jamal ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ASTEROID MISSION; AUTONOMIC SYSTEMS; AUTONOMOUS NANO TECHNOLOGY SWARMS; CATEGORY THEORY; DYNAMIC POPULATION; FORMAL APPROACH; FORMAL SPECIFICATION; MISSION ARCHITECTURES; RE-CONFIGURABLE; SELF-SIMILAR;

ARCHITECTURE; ASTEROIDS; FAULT TOLERANCE; NASA; QUALITY ASSURANCE;

COMPUTER ARCHITECTURE;

EID: 77955865445     PISSN: 10636862     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASAP.2010.5540769     Document Type: Conference Paper

References (11)

1. th International Astronautical Congress, Vancouver, Canada, October 2004.
2. th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, September 2005, Page 125-133.
3. J. Fiadeiro, Categories for Software Engineering, Springer, November 2004.
4. th IEEE International Conference on Automated Software Engineering, October 1998, Page 12-21.
5. H. Kuang, O. Ormandjieva, S. Klasa, N. Khurshid, and J. Bentahar, "Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study," Studies in Computational Intelligence, Volume 253/2009, Page 119-134, November 2009, Springer Berlin/Heidelberg.
6. O. Ormandjieva and J. Quiroz, "Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems," Proc. of the Int. Conf. on Software Engineering Theory and Practice, Orlando, USA, July 2008.
7. rd International Multi-Conference on Computing in the Global Information Technology, Greece, 2008, pp. 186-192.
8. E. Vassev, Q. T. D. Nguyen, "Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers," CoRR abs/0911.3092, November 2009.
9. W. M. Lee, "Modelling and Specification of Autonomous Systems using Category Theory," PhD Thesis, University College of London, London, UK, October 1989.
10. th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, Belfast, Northern Ireland, March 2008, Page 54-64.
11. st International Conference on Autonomic and Autonomous Systems, Silicon Valley, USA, 2006, pp. 29-34.