REVERT: Runtime Verification for Real-Time Systems.

Sangeeth Kochanthara Geoffrey Nelissen David Pereira Rahul Purandare

Published in: RTSS (2016)

Keyphrases

real time systems
distributed systems
real time
embedded systems
timing constraints
model checking
real time database systems
mission critical
case study
real time embedded
web services
dynamic programming
anytime algorithms
architectural model
embedded real time systems