Hierarchical system schedulability analysis framework using UPPAAL

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

Research output: Contribution to journalArticle

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

Fingerprint

Hierarchical systems
Real time systems

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

Cite this

Hierarchical system schedulability analysis framework using UPPAAL. / Ahn, So Jin; Hwang, Dae Yon; Kang, Miyoung; Choi, Jin Young.

In: IEICE Transactions on Information and Systems, Vol. E99D, No. 8, 01.08.2016, p. 2172-2176.

Research output: Contribution to journalArticle

Ahn, So Jin ; Hwang, Dae Yon ; Kang, Miyoung ; Choi, Jin Young. / Hierarchical system schedulability analysis framework using UPPAAL. In: IEICE Transactions on Information and Systems. 2016 ; Vol. E99D, No. 8. pp. 2172-2176.
@article{5ed727666a964e629df1f8f2067a0f4d,
title = "Hierarchical system schedulability analysis framework using UPPAAL",
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.",
keywords = "Formal methods, Hierarchical system, Real-time systems, Schedulability analysis, UPPAAL",
author = "Ahn, {So Jin} and Hwang, {Dae Yon} and Miyoung Kang and Choi, {Jin Young}",
year = "2016",
month = "8",
day = "1",
doi = "10.1587/transinf.2016EDL8003",
language = "English",
volume = "E99D",
pages = "2172--2176",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "8",

}

TY - JOUR

T1 - Hierarchical system schedulability analysis framework using UPPAAL

AU - Ahn, So Jin

AU - Hwang, Dae Yon

AU - Kang, Miyoung

AU - Choi, Jin Young

PY - 2016/8/1

Y1 - 2016/8/1

N2 - 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.

AB - 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.

KW - Formal methods

KW - Hierarchical system

KW - Real-time systems

KW - Schedulability analysis

KW - UPPAAL

UR - http://www.scopus.com/inward/record.url?scp=84983063624&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84983063624&partnerID=8YFLogxK

U2 - 10.1587/transinf.2016EDL8003

DO - 10.1587/transinf.2016EDL8003

M3 - Article

AN - SCOPUS:84983063624

VL - E99D

SP - 2172

EP - 2176

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 8

ER -