@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. Copyright: Copyright 2017 Elsevier B.V., All rights reserved.",
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",
}