Hierarchical System Schedulability Analysis Framework Using UPPAAL

作者：Ahn So Jin^*; Hwang Dae Yon; Kang Miyoung; Choi Jin Young

来源：IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D(8): 2172-2176.

DOI：10.1587/transinf.2016EDL8003

• hierarchical system
• schedulability analysis
• real-time systems
• formal methods
• UPPAAL

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.

• 出版日期2016-8