An Exact Schedulability Analysis for Global Fixed-Priority Scheduling of the AER Task Model-Reference-Cited by-同舟云学术

An Exact Schedulability Analysis for Global Fixed-Priority Scheduling of the AER Task Model

Published:2023-01-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th Asia and South Pacific Design Automation Conference
language:
Short-container-title:

Author:

Thilakasiri Thilanka¹,Becker Matthias¹

Affiliation:

1. KTH Royal Institute of Technology, Sweden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3566097.3567850

Reference19 articles.

1. Schedulability analysis of global memory-predictable scheduling

2. Rajeev Alur and David L Dill . 1994. A theory of timed automata. Theoretical computer science 126, 2 ( 1994 ), 183--235. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183--235.

3. Jatin Arora , Cláudio Maia , Syed Aftab Rashid , Geoffrey Nelissen, and Eduardo Tovar. 2022 . Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme. Journal of Systems Architecture 122 (2022). Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, and Eduardo Tovar. 2022. Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme. Journal of Systems Architecture 122 (2022).

4. Contention-Free Execution of Automotive Applications on a Clustered Many-Core Platform

5. Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems . In International hybrid systems workshop . Springer , 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems. In International hybrid systems workshop. Springer, 232--243.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Work in Progress: Predictable Execution of Isolated Real-Time Tasks on Multicore Systems Using the LET Paradigm;2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS);2024-05-13

2. Methods to Realize Preemption in Phased Execution Models;ACM Transactions on Embedded Computing Systems;2023-09-09

3. Improved Bus Contention Analysis for 3-Phase Tasks;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30