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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1587/transinf.2016EDL8003 | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS |
Keywords | Field | DocType |
hierarchical system, schedulability analysis, real-time systems, formal methods, UPPAAL | Hierarchical control system,Pattern recognition,Computer science,Theoretical computer science,Artificial intelligence,Formal methods | Journal |
Volume | Issue | ISSN |
E99D | 8 | 1745-1361 |
Citations | PageRank | References |
1 | 0.37 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
So Jin Ahn | 1 | 1 | 0.70 |
Dae-Yon Hwang | 2 | 6 | 1.17 |
Mi-Young Kang | 3 | 40 | 11.87 |
Jin-young Choi | 4 | 606 | 50.44 |