Hierarchical system schedulability analysis framework using UPPAAL

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

doi:10.1587/transinf.2016EDL8003

Hierarchical system schedulability analysis framework using UPPAAL

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

Graduate School of Convergence IT

Research output: Contribution to journal › Article

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 language	English
Pages (from-to)	2172-2176
Number of pages	5
Journal	IEICE Transactions on Information and Systems
Volume	E99D
Issue number	8
DOIs	https://doi.org/10.1587/transinf.2016EDL8003
Publication status	Published - 2016 Aug 1

Fingerprint

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

Ahn, S. J., Hwang, D. Y., Kang, M., & Choi, J. Y. (2016). Hierarchical system schedulability analysis framework using UPPAAL. IEICE Transactions on Information and Systems, E99D(8), 2172-2176. https://doi.org/10.1587/transinf.2016EDL8003

@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 = aug,

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 -

Access to Document

10.1587/transinf.2016EDL8003