Correct and reliable collaboration among elements of layered sensor networks is crucial for maintaining an accurate and comprehensive picture of the battlespace. This paper describes an automated method for formally verifying that the architectures and internal interactions of layered sensor networks will not fail to meet requirements.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal verification of layered sensing architectures


    Beteiligte:
    Tyler, B (Autor:in) / Langdon, A (Autor:in) / Chawla, P (Autor:in)


    Erscheinungsdatum :

    01.07.2010


    Format / Umfang :

    405188 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formal Verification for Fault-Tolerant Architectures/PVS Design

    Rushby, J. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    Formal Verification of Safety Architectures for Automated Driving

    Eberhart, Clovis / Dubut, Jeremy / Haydon, James et al. | IEEE | 2023


    Verification of System Architectures Using Modal Logics and Formal Model Checking Techniques

    Zaidi, A. K. / Levis, A. H. | British Library Conference Proceedings | 2006


    Formal Verification at System Level

    Mazzini, S. / Puri, S. / Mari, F. et al. | British Library Conference Proceedings | 2009