█ SMC is challenging for real-time distributed systems. █ Compositional strategy to Software Model Check PALS Systems. • Verify PALSWare using provable Simplification Abstractions • Execution Independence • Induction with Network Invariant • Verification Cases • Verify PALS-based Application based on PALSWare properties. • Replace PALSWare with PALS Service Code • Semantically Equivalent Sequential Program — Using PALS Sequentialization Property


    Access

    Download


    Export, share and cite



    Title :

    Applying software model checking to PALS systems


    Contributors:
    Nam, Min Young (author) / Chaki, Sagar (author) / Sha, Lui (author) / Kim, Cheolgi (author)


    Publication date :

    2014-10-01


    Size :

    2391497 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Applying software model checking to PALS systems

    Nam, Min-Young / Sha, Lui / Chaki, Sagar et al. | IEEE | 2014


    Parking pals

    Blake,T. / Bosch,Stuttgart,DE | Automotive engineering | 2016


    Software model checking for avionics systems

    Cofer, Darren / Whalen, Michael / Miller, Steven | IEEE | 2008


    PALS observations of soil moisture in SMEX02

    Njoku, E. / Wilson, W. / Yueh, S. et al. | NTRS | 2003


    Applying model checking to an automotive microcontroller application

    Schlich, B. / Salewski, F. / Kowalewski, S. | Tema Archive | 2007