2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.FL2022★ 2 cited
Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker
Chen-Kai Lin, Bow-Yaw Wang
FreeRTOS is a real-time operating system with configurable scheduling policies. Its portability and configurability make FreeRTOS one of the most popular real-time operating system…
cs.OS2018★ 1 cited
A Spin-based model checking for the simple concurrent program on a preemptive RTOS
Chen-Kai Lin, Ching-Chun, Huang +1
We adapt an existing preemptive scheduling model of RTOS kernel by eChronos from machine-assisted proof to Spin-based model checker. The model we constructed can be automatically v…