A Framework for Evaluating Schedulability Analysis Tools-Reference-Cited by-同舟云学术

A Framework for Evaluating Schedulability Analysis Tools

Published:2017 Issue: Volume: Page:539-559
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Shan Lijun,Graf Susanne,Quinton Sophie,Fejoz Loïc

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-63121-9_27

Reference29 articles.

1. The Amalthea project. http://www.amalthea-project.org/

2. Albers, K., Slomka, F.: An event stream driven approximation for the analysis of real-time systems. In: Proceedings of the 16th Euromicro Conference on Real-Time Systems, ECRTS 2004, pp. 187–195. IEEE (2004)

3. Lecture Notes in Computer Science;R Alur,1999

4. Lecture Notes in Computer Science;T Amnell,2001

5. Lecture Notes in Computer Science;T Amnell,2004

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

1. A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems;IEEE Access;2020

2. Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms;Lecture Notes in Computer Science;2020

3. Schedulability analysis of real-time multiframe cosimulations on multicore platforms;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2019-09-18

4. Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems;2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC);2018-05

5. Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools;Formal Methods for Industrial Critical Systems;2018