Analyzing Stochastic Fixed-Priority Real-Time Systems
Abstract elided by the publisher.
Related papers
- Object-oriented real-time concurrency OOPSLA 2000
- Slicing Real-Time Programs for Enhanced Schedulability TOPLAS 1997
- RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI 2025
- DFix: automatically fixing timing bugs in distributed systems PLDI 2019
- LARTS: Language Abstractions for Real-Time and Secure Systems OOPSLA 2026
- Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation OOPSLA 2022
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol POPL 2011