█ 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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Applying software model checking to PALS systems


    Beteiligte:
    Nam, Min Young (Autor:in) / Chaki, Sagar (Autor:in) / Sha, Lui (Autor:in) / Kim, Cheolgi (Autor:in)


    Erscheinungsdatum :

    01.10.2014


    Format / Umfang :

    2391497 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 | Kraftfahrwesen | 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 Archiv | 2007