Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context-Reference-Cited by-同舟云学术

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Published:2015-05-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
language:
Short-container-title:

Author:

Kim Jin Hyun¹,Boudjadar Abdeldjalil²,Nyman Ulrik³,Mikučionis Marius³,Larsen Kim G.³,Skou Arne³,Lee Insup⁴,Thi Xuan Phan Linh⁴

Affiliation:

1. INRIA/IRISA, Rennes, France

2. Queen's University, Kingston, ON, Canada

3. Aalborg University, Aalborg, Denmark

4. University of Pennsylvania, Philadelphia, PA, USA

Funder

EU Artemis Projects

Publisher

ACM

Link

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

Reference28 articles.

1. A comparison of compositional schedulability analysis techniques for hierarchical real-time systems

2. M. Asberg T. Nolte and P. Pettersson. Prototyping and code synthesis of hierarchically scheduled systems using times. Journal of Convergence (Consumer Electronics) 1(1):77--86 December 2010. M. Asberg T. Nolte and P. Pettersson. Prototyping and code synthesis of hierarchically scheduled systems using times. Journal of Convergence (Consumer Electronics) 1(1):77--86 December 2010.

3. Preemptively scheduling hard-real-time sporadic tasks on one processor

4. Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

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

1. Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking;2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2022-04-06

2. Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults;2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS);2021-04-07

3. Predictability Analysis of Interruptible Systems by Statistical Model Checking;IEEE Design & Test;2018-04

4. Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU;2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS);2017-11

5. High-level frameworks for the specification and verification of scheduling problems;International Journal on Software Tools for Technology Transfer;2017-09-04