Developing Experimental Models for NASA Missions with ASSL

NASA's new age of space exploration augurs great promise for deep space exploration missions whereby spacecraft should be independent, autonomous, and smart. Nowadays NASA increasingly relies on the concepts of autonomic computing, exploiting these to increase the survivability of remote missio...

Full description

Bibliographic Details
Main Authors: Emil Vassev, Mike Hinchey
Format: Article
Language:English
Published: Open Publishing Association 2010-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1003.0396v1