2 papers
cs.OS2026
Awkernel: RTOS Bridging DAG Scheduling Theory and Component-Oriented Real-Time Systems Practice
Atsushi Yano, Ryo Nishimura, Yutaro Kobayashi +3
Real-time directed acyclic graph (DAG) scheduling provides a rigorous basis for timing analysis and efficiency in component-oriented real-time systems (CORTS) such as autonomous dr…
cs.SE2025
A Case Study on Model Checking and Runtime Verification for Awkernel
Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki +1
In operating system development, concurrency poses significant challenges. It is difficult for humans to manually review concurrent behaviors or to write test cases covering all po…