Title | ||
---|---|---|
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. |
Abstract | ||
---|---|---|
Rate-monotonic scheduling (RMS) is one of the most important real-time scheduling used in the industry. There are a large number of results about RMS, especially on its schedulability. However, the theoretical results do not contain enough details to be used directly for an industrial RMS implementation. On the other hand, the correctness of such an implementation is of the crucial importance. In ... |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/TIE.2016.2633476 | IEEE Transactions on Industrial Electronics |
Keywords | Field | DocType |
Real-time systems,Schedules,Analytical models,Mathematical model,Object oriented modeling,Job shop scheduling,Scheduling algorithms | Programming language,Fair-share scheduling,Computer science,Correctness,Flow shop scheduling,Modeling language,Control engineering,Two-level scheduling,Rate-monotonic scheduling,Dynamic priority scheduling,Computer engineering,Formal verification | Journal |
Volume | Issue | ISSN |
64 | 4 | 0278-0046 |
Citations | PageRank | References |
2 | 0.37 | 22 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiaxiang Liu | 1 | 2 | 1.72 |
Min Zhou | 2 | 69 | 22.62 |
xiaoyu | 3 | 82 | 12.85 |
Ming Gu | 4 | 554 | 74.82 |
Jia-guang Sun | 5 | 1807 | 134.30 |