Future missions of deep-space exploration will require an on-board computational capability that can support autonomy and enhanced science processing. The integration of emerging commodity multi-core technology into space-borne systems can provide the required performance; however, protecting such systems against faults has become a critical research issue. In this paper we present an approach to fault tolerance based on a newly developed introspection framework that supports runtime monitoring of program execution and feedback-oriented recovery. We discuss the relationship of this approach to traditional Verification and Validation (V&V) and propose methods for the automatic generation of assertions from static and dynamic analysis.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Introspection-Based Verification and Validation


    Beteiligte:
    Zima, Hans P. (Autor:in) / James, Mark L. (Autor:in)


    Erscheinungsdatum :

    2009-07-01


    Format / Umfang :

    209328 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Introduction to Robot Introspection

    Zhou, Xuefeng / Wu, Hongmin / Rojas, Juan et al. | Springer Verlag | 2020

    Freier Zugriff


    Introspection on Anti-Seismic of Rural Housing

    Li, Wei-Jian / Gong, Chang-Qing / Ren, Xiao-Song | Tema Archiv | 2013


    Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection

    Zhou, Xuefeng / Wu, Hongmin / Rojas, Juan et al. | TIBKAT | 2020

    Freier Zugriff

    Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection

    Zhou, Xuefeng / Wu, Hongmin / Rojas, Juan | Katalog Medizin | 2020