Swarms of intelligent rovers and spacecraft are being considered for a number of future NASA missions. These missions will provide NASA scientist and explorers greater flexibility and the chance to gather more science than traditional single spacecraft missions. These swarms of spacecraft are intended to operate for large periods of time without contact with the Earth. To do this, they must be highly autonomous, have autonomic properties and utilize sophisticated artificia1 intelligence. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm type of missions NASA is considering. This mission will explore the asteroid belt using an insect colony analogy cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. Verifying such a system would be a huge task. This paper discusses ongoing work to develop a formal method for verifying swarm and autonomic systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods for Autonomic and Swarm-Based Systems


    Beteiligte:
    C. Rouff (Autor:in) / A. Vanderbilt (Autor:in) / M. Hinchey (Autor:in) / W. Truszkowski (Autor:in) / J. Rush (Autor:in)

    Erscheinungsdatum :

    2004


    Format / Umfang :

    10 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal Methods for Autonomic and Swarm-based Systems

    Rouff, Christopher / Vanderbilt, Amy / Hinchey, Mike et al. | NTRS | 2004


    A Formal Approach to Self-configurable Swarm-based Space-exploration Systems

    Vassev, E. / Hinchey, M. / Nixon, P. | Tema Archiv | 2010


    Autonomic Systems

    Truszkowski, Walt / Hallock, Harold L. / Rouff, Christopher et al. | Springer Verlag | 2009


    Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems

    Rouff, Christopher A. / Hinchey, Michael G. / Truszkowski, Walter F. et al. | NTRS | 2006


    Towards a Formal Approach to Swarm Technology

    Rouff, C.A. / Hinchey, M.G. / Truszkowski, W.F. et al. | AIAA | 2004