3 search results - page 1 / 1 » Copilot: A Hard Real-Time Runtime Monitor |
RV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
ECRTS
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
RTSS
2008
IEEE
13 years 11 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...