Copilot: monitoring embedded systems

ISSE, pp. 235-255, 2013.

Cited by: 25|Views18
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments