• DocumentCode
    181260
  • Title

    Applying software model checking to PALS systems

  • Author

    Nam, Min Young ; Chaki, Sagar ; Sha, Lui ; Kim, Cheolgi

  • Author_Institution
    University of Illinois at Urbana Champaign, Software Engineering Institute, Korea Aerospace University
  • fYear
    2014
  • fDate
    5-9 Oct. 2014
  • Firstpage
    1
  • Lastpage
    25
  • Abstract
    █ 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
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
  • Conference_Location
    Colorado Springs, CO, USA
  • Print_ISBN
    978-1-4799-5002-7
  • Type

    conf

  • DOI
    10.1109/DASC.2014.6979625
  • Filename
    6979625
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=181260