Searched for: subject%3A%22Finite%255C-Point%255C%2Bmethod%22
(1 - 2 of 2)
Behrouzian, A.R.B. (author), Goswami, D. (author), Basten, T. (author), Geilen, M. (author), Alizadeh Ara, H. (author), Hendriks, M. (author)
(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions. Scheduling policies under which...
conference paper 2020
Behrouzian, A.R.B. (author), Goswami, D. (author), Geilen, M. (author), Hendriks, M. (author), Alizadeh Ara, H. (author), van Horssen, E.P. (author), Heemels, W.P.M.H. (author), Basten, T. (author)
This paper proposes methods for verification of (m, k)-firmness properties of control applications running on a shared TDMA-scheduled processor. We particularly consider dropped samples arising from processor sharing. Based on the available processor budget for any sample that is ready for execution, the Finite-Point (FP) method is proposed for...
conference paper 2016