From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling-Reference-Cited by-同舟云学术

From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling

Published:2022-12 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE Real-Time Systems Symposium (RTSS)
language:
Short-container-title:

Author:

Bedarkar Kimaya¹,Vardishvili Mariam¹,Bozhko Sergey¹,Maida Marco¹,Brandenburg Bjorn B.¹

Affiliation:

1. Max Planck Institute for Software Systems (MPI-SWS)

Funder

European Research Council (ERC)

German Research Foundation (Deutsche Forschungsgemeinschaft, DFG)

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9984704/9984706/09984720.pdf?arnumber=9984720

Reference54 articles.

1. On strong and weak sustainability, with an application to self-suspending real-time tasks;cerqueira;Proc of Euromicro Conference on Real-Time Systems (ECRTS),0

2. PROSA: A Case for Readable Mechanized Schedulability Analysis

3. The calculus of constructions

4. Many suspensions, many problems: a review of self-suspending tasks in real-time systems

5. Response Time Analysis for Hybrid Task Sets under Fixed Priority Scheduling

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

1. Bandwidth Limitation Based on Content Classification Using Queue Trees and Hierarchical Token Buckets;E3S Web of Conferences;2024

2. Specifying Fault-Tolerant Mixed-Criticality Scheduling;Lecture Notes in Computer Science;2024

3. What Really is pWCET? A Rigorous Axiomatic Proposal;2023 IEEE Real-Time Systems Symposium (RTSS);2023-12-05

4. Extending rely-guarantee thinking to handle real-time scheduling;Formal Methods in System Design;2023-11-30

5. Compositional verification of embedded real-time systems;Journal of Systems Architecture;2023-09