期刊： REAL-TIME SYSTEMS, 2021; 57 (3)
Mixed-criticality (MC) scheduling of sequential tasks (with no intra-task parallelism) has been well-explored by the real-time systems community. Howe......
For reaching deterministic self-stabilising distributed synchronisation with commercial-off-the-shelf (COTS) Ethernet, this paper explores the Wire-Ad......
期刊： REAL-TIME SYSTEMS, 2020; 56 (3)
Given an n-dimensional integer vector v = (nu(1), nu(2),., nu(n)) with nu(1) <= nu(2) <= ... <= nu(n), a pinwheel schedule for v is an infini......
期刊： REAL-TIME SYSTEMS, 2020; 56 (4)
This paper investigates scheduling methods for two-stage real-time systems (2S-RTSs) that execute aperiodic tasks with firm and soft end-to-end deadli......
期刊： REAL-TIME SYSTEMS, 2019; 55 (3)
Synchronous reactive models are widely used in the development of embedded software and systems. The schedulability analysis of tasks obtained as the ......
期刊： REAL-TIME SYSTEMS, 2019; 55 (3)
In mixed-criticality scheduling, the widely adopted mode-switch scheme assumes that both high- and low-criticality tasks are schedulable when no tasks......
期刊： REAL-TIME SYSTEMS, 2018; 54 (1)
Graph-based task models have been studied to better model and analyze the schedulability of real-time systems. Among them, the digraph task model, wit......
期刊： REAL-TIME SYSTEMS, 2017; 53 (2)
TTEthernet is a deterministic, synchronized and congestion-free network protocol based on the Ethernet standard and compliant with the ARINC 664p7 sta......
期刊： REAL-TIME SYSTEMS, 2017; 53 (2)
In multiprocessor systems, synchronization protocols can result in non-trivial (remote) blocking, which can cause timing impacts in real-time systems.......
