Automata-Based Modeling of Interrupts in the Linux PREEMPT RT Kernel

This is the first paper of my main thesis topic, which is modeling the behavior of real-time tasks on Linux. The reference for the paper is:

D. B. de Oliveira, R. S. de Oliveira, T. Cucinotta and L. Abeni, “Automata-based modeling of interrupts in the Linux PREEMPT RT kernel,” 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Limassol, 2017, pp. 1-8.

and you can find the paper at IEEExpore, or here.