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
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
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO, USA
Print_ISBN :
978-1-4799-5002-7
DOI :
10.1109/DASC.2014.6979625
