Static Timing Analysis for Hard Real-Time Systems
No abstract available.
Related papers
- WCET-aware static locking of instruction caches CGO 2012
- Prototyping a Real-Time Embedded System in Smalltalk OOPSLA 1989
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems POPL 1992
- The Design and Performance of a Hard Real-Time Object Event Service OOPSLA 1997
- Eventrons: a safe programming construct for high-frequency hard real-time applications PLDI 2006
- Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language CC 1994