Hierarchical system schedulability analysis framework using UPPAAL

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

Research output: Contribution to journalArticle

1 Citation (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 1



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

ASJC Scopus subject areas

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

Cite this