█ 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
Applying software model checking to PALS systems
2014-10-01
2391497 byte
Conference paper
Electronic Resource
English
Applying software model checking to PALS systems
IEEE | 2014
|Automotive engineering | 2016
|Software model checking for avionics systems
IEEE | 2008
|PALS observations of soil moisture in SMEX02
NTRS | 2003
|Applying model checking to an automotive microcontroller application
Tema Archive | 2007
|