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
