Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata: All material

From the communication:

“On behalf of the Program Committee for EWiLi 2018, I am pleased to inform you that the following submission has been accepted for publication in the workshop: Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata”

The best thing is that all the revisor’s comments are constructive. All three revisors gave an “accepted” on the paper (a paper can be: accepted, weakly accepted, borderline, weakly rejected, rejected)!

You can find the paper in this link: Paper

The presentation in this link: Slides

The model in this link: Model

The code is in this link: Code

All open-souce!