Hierarchical system schedulability analysis framework using UPPAAL

So Jin Ahn, Dae Yon Hwang, Miyoung Kang, Jin Young Choi

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)2172-2176
Number of pages5
JournalIEICE Transactions on Information and Systems
Issue number8
Publication statusPublished - 2016 Aug

Bibliographical note

Funding Information:
This research was supported by the MSIP (Ministry of Science, ICT and Future Planning), Korea, under the ITRC (Information Technology Research Center) support program (IITP-2015-H8501-15-1012) supervised by the IITP (Institute for Information & Communications Technology Promotion) and Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A2009354).

Publisher Copyright:
Copyright © 2016 The Institute of Electronics, Information and Communication Engineers.


  • Formal methods
  • Hierarchical system
  • Real-time systems
  • Schedulability analysis

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence


Dive into the research topics of 'Hierarchical system schedulability analysis framework using UPPAAL'. Together they form a unique fingerprint.

Cite this