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

School of Cybersecurity

Research output: Contribution to journal › Article › peer-review

3 Citations (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

Keywords

Formal methods
Hierarchical system
Real-time systems
Schedulability analysis
UPPAAL

ASJC Scopus subject areas

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

Access to Document

10.1587/transinf.2016EDL8003

Cite this

@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}",

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 {\textcopyright} 2016 The Institute of Electronics, Information and Communication Engineers.",

year = "2016",

month = aug,

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

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

PY - 2016/8

Y1 - 2016/8

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

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 -

Hierarchical system schedulability analysis framework using UPPAAL

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this