Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives the results of research into formal methods techniques for verification and validation of NASA swarm-based missions. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence for which to apply the formal methods. This paper will give the evaluation of these formal methods and give partial specifications of the ANTS mission using four selected methods. We then give an evaluation of the methods and the needed properties of a formal method for effective specification and prediction of emergent behavior in swarm-based systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems


    Beteiligte:
    Rouff, Christopher (Autor:in) / Vanderbilt, Amy (Autor:in) / Hinchey, Mike (Autor:in) / Truszkowski, Walt (Autor:in) / Rash, James (Autor:in)

    Kongress:

    2nd IEEE International Conference Software Engineering ad Formal Methods (IEEE SEFM 2004) ; 2004 ; Beijing, China


    Erscheinungsdatum :

    2004-01-01


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Formal Methods for Autonomic and Swarm-based Systems

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


    Formal Methods for Autonomic and Swarm-Based Systems

    C. Rouff / A. Vanderbilt / M. Hinchey et al. | NTIS | 2004


    Detecting Emergent Behaviors with Semi-Boolean Algebra

    Haglich, P. / Rouff, C. / Pullum, L. et al. | British Library Conference Proceedings | 2010


    Emergent system identification using particle swarm optimization [4512-22]

    Voss, M. S. / Feng, X. / International Society for Optical Engineering | British Library Conference Proceedings | 2001