Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems-Reference-Cited by-同舟云学术

Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems

Published:2022-12 Issue: Volume: Page:
ISSN:
Container-title:The 11th International Symposium on Information and Communication Technology
language:
Short-container-title:

Author:

Tran Nhat-Hoa¹^ORCID

Affiliation:

1. School of Information and Communication Technology, Hanoi University of Science and Technology, Viet Nam

Publisher

ACM

Link

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

Reference14 articles.

1. Tobias Amnell , Elena Fersman , Leonid Mokrushin , Paul Pettersson , and Wang Yi . 2003 . TIMES: a tool for schedulability analysis and code generation of real-time systems . In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 60–72 . Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. 2003. TIMES: a tool for schedulability analysis and code generation of real-time systems. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 60–72.

2. Bruno Bouyssounouse and Joseph Sifakis . 2005. Real-Time operating systems . In Embedded Systems Design . Springer , 258–286. Bruno Bouyssounouse and Joseph Sifakis. 2005. Real-Time operating systems. In Embedded Systems Design. Springer, 258–286.

3. Albert MK Cheng . 2003. Real-time systems: scheduling, analysis, and verification . John Wiley & Sons . Albert MK Cheng. 2003. Real-time systems: scheduling, analysis, and verification. John Wiley & Sons.

4. Alexandre David , Jacob Illum , Kim G Larsen , and Arne Skou . 2018. Model-based framework for schedulability analysis using UPPAAL 4.1 . In Model-based design for embedded systems . CRC Press , 117–144. Alexandre David, Jacob Illum, Kim G Larsen, and Arne Skou. 2018. Model-based framework for schedulability analysis using UPPAAL 4.1. In Model-based design for embedded systems. CRC Press, 117–144.

5. Rob Gerth . [n. d.]. Concise PROMELA reference , 1997 . ([n. d.]). Rob Gerth. [n. d.]. Concise PROMELA reference, 1997. ([n. d.]).