31 search results - page 1 / 7 » Modelling and Proof Analysis of Interrupt Driven Scheduling |
136
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
154
click to vote
TASE
2009
IEEE
16 years 4 days ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
161
Voted
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
136
click to vote
TAMODIA
2004
15 years 6 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
155
click to vote
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...