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.

Read More

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. This site uses Google Analytics.