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 | |
| Publication status | Published - 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
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