72 citations · 79 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.DC2020
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Wang Yi, Morteza Mohaqeqi, Susanne Graf
Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or t…
cs.DC2020
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling
Xu Jiang, Nan Guan, Maolin Yang +2
Schedulability bounds not only serve as efficient tests to decide schedulability of real-time task systems but also reveal insights about the worst-case performance of scheduling a…
cs.DC2020★ 1 cited
On the Analysis of Parallel Real-Time Tasks with Spin Locks
Xu Jiang, Nan Guan, He Du +2
Locking protocol is an essential component in resource management of real-time systems, which coordinates mutually exclusive accesses to shared resources from different tasks. Alth…