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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal verification of layered sensing architectures


    Contributors:
    Tyler, B (author) / Langdon, A (author) / Chawla, P (author)


    Publication date :

    2010-07-01


    Size :

    405188 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal Verification of Safety Architectures for Automated Driving

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


    Formal Verification for Fault-Tolerant Architectures/PVS Design

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


    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