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 missions, particularly when human tending is not feasible. Autonomic computing has been recognized as a promising approach for the development of self-managing spacecraft systems that employ onboard intelligence and rely less on control links. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. As part of long-term research targeted at the development of models for space exploration missions that rely on principles of autonomic computing, we have employed ASSL to develop formal models and generate functional prototypes for NASA missions. This helps to validate features and perform experiments through simulation. Here, we discuss our work on developing such missions with ASSL.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Developing Experimental Models for NASA Missions with ASSL


    Beteiligte:
    Emil Vassev (Autor:in) / Mike Hinchey (Autor:in)


    Erscheinungsdatum :

    2010




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt





    ASSL showcases latest solid-state laser research

    British Library Online Contents | 2001


    Solid-state lasers catch a lift at ASSL

    British Library Online Contents | 2000


    NASA solar missions

    Kalkofen, W. | NTRS | 1996


    NASA Solar Missions

    Kalkofen, W. / COSPAR / Scientific Commission E | British Library Conference Proceedings | 1995