Hierarchical System Schedulability Analysis Framework Using UPPAAL
So Jin AHN, Dae Yon Hwang, Miyoung Kang, Jin‐Young Choi · IEICE Transactions on Information and Systems · 2016
Analyzing the schedulability of hierarchical real-time systems is difficult because of the systems' complex behavior. It gets more complicated when shared resources or dependencies among tasks are included. This paper introduces a framework based on UPPAAL that can analyze the schedulability of hierarchical real-time systems.