Copilot: monitoring embedded systems
ISSE, pp. 235-255, 2013.
Runtime verification (RV) is a natural fit for ultra-critical systems that require correct software behavior. Due to the low reliability of commodity hardware and the adversity of operational environments, it is common in ultra-critical systems to replicate processing units (and their hosted software) and incorporate fault-tolerant algori...More
PPT (Upload PPT)