Hierarchical System Schedulability Analysis Framework Using UPPAAL

So Jin AHN  Dae Yon HWANG  Miyoung KANG  Jin-Young CHOI  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E99-D   No.8   pp.2172-2176
Publication Date: 2016/08/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2016EDL8003
Type of Manuscript: LETTER
Category: Software System
Keyword: 
hierarchical system,  schedulability analysis,  real-time systems,  formal methods,  UPPAAL,  

Full Text: PDF(455.9KB)
>>Buy this Article


Summary: 
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.