5 citations · 6 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks
Gang Chen, Nan Guan, Di Liu +4
Mixed-criticality models are an emerging paradigm for the design of real-time systems because of their significantly improved resource efficiency. However, formal mixed-criticality…
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors
Xu Jiang, Nan Guan, Xiang Long +1
Federated scheduling is a promising approach to schedule parallel real-time tasks on multi-cores, where each heavy task exclusively executes on a number of dedicated processors, wh…