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)

Abstract

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
VolumeE99D
Issue number8
DOIs
Publication statusPublished - 2016 Aug 1

Keywords

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

ASJC Scopus subject areas

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

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

  • Cite this