█ 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
01.10.2014
2391497 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Applying software model checking to PALS systems
IEEE | 2014
|Kraftfahrwesen | 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 Archiv | 2007
|