Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling

Behrouzian, Amir; Goswami, Dip; Basten, Twan; Geilen, Marc; Alizadeh, Hadi; Hendriks, Martijn

doi:10.1109/rtas.2018.00037

Cited by 1 publication

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…4.1(a). By taking the periodicity into account and by choosing a different offset (which does not change the problem), we see that the time domain is composed of consecutive intervals [0, 10], (10,22), [22,32], (32,55) . .…”

Section: Dms Quantification: Timed-automata Methodsmentioning

confidence: 99%

“…The scalability of FAn for SPP policies is compared with that of three existing approaches: 1) a brute force approach which verifies all the possible alignments between the requested and available computing resources in a window of k consecutive jobs inspired by [14]; 2) a MILP-based method inspired by [69]; 3) a timed-automata model of the problem inspired by [10]. The FAn method scales substantially better to the problem instances with a large k and a high number of tasks than the timed-automata, brute force and the MILP approaches.…”

Section: Motivationmentioning

confidence: 99%

See 1 more Smart Citation

Firmness Analysis of Real-time Tasks

Behrouzian

Ara

Geilen

et al. 2020

ACM Trans. Embed. Comput. Syst.

Self Cite

View full text Add to dashboard Cite

This thesis is the result of team work and the following people directly or indirectly contributed in that Prof. Twan Basten, my promoter, directed me in this journey. His vision on the bigger picture was the key. Thank you Twan for patiently guiding me through this project and getting me to the desired outcome. I would like to thank Dr. Dip Goswami, my daily supervisor, for his advice on the technical aspects. The early steps towards this thesis and later shaping it would not have been possible without your contribution. As always, I felt blessed to have my lifelong friend, Hadi Alizadeh, next to me in the past four years. Thank you Hadi for your invaluable support. A big thanks to Dr. Marc Geilen. You always offered your help despite your busy schedule and the fact that you were not my official supervisor. I would like to thank Dr. Madjid Nabi who was a great support especially in the beginning of my PhD study. My heartfelt gratitude goes to my fellow PhD students, Rasool Tavakoli,

show abstract