most citedAnalyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker

2 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

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…