Response-time analysis in hierarchically-scheduled time-partitioned distributed systems
This paper develops an offset-based response-time analysis technique for analyzing
complex distributed real-time systems where processing and communication resources use …
complex distributed real-time systems where processing and communication resources use …
Scheduling self-suspending real-time tasks with rate-monotonic priorities
K Lakshmanan, R Rajkumar - 2010 16th IEEE Real-Time and …, 2010 - ieeexplore.ieee.org
Recent results have shown that the feasibility problem of scheduling periodic tasks with self-
suspensions is NP-hard in the strong sense. We observe that a variation of the problem …
suspensions is NP-hard in the strong sense. We observe that a variation of the problem …
Control-quality driven design of cyber-physical systems with robustness guarantees
Many cyber-physical systems comprise several control applications sharing communication
and computation resources. The design of such systems requires special attention due to …
and computation resources. The design of such systems requires special attention due to …
End-to-end response time analysis for rt-mqtt: Trajectory approach versus holistic approach
Nowadays, custom components are increasingly being replaced by commercially available
off-the-shelf hardware and standard protocols. Additionally, emerging industrial paradigms …
off-the-shelf hardware and standard protocols. Additionally, emerging industrial paradigms …
Offline and online evolutionary bi-directional RRT algorithms for efficient re-planning in dynamic environments
SR Martin, SE Wright… - 2007 IEEE International …, 2007 - ieeexplore.ieee.org
This paper explores the use of evolutionary algorithms (EAs) to formulate additional biases
for a probabilistic motion planner known as the rapidly exploring random tree (RRT) …
for a probabilistic motion planner known as the rapidly exploring random tree (RRT) …
[HTML][HTML] Integrating formal schedulability analysis into a verified OS kernel
Formal verification of real-time systems is attractive because these systems often perform
critical operations. Unlike non real-time systems, latency and response time guarantees are …
critical operations. Unlike non real-time systems, latency and response time guarantees are …
Extending worst case response-time analysis for mixed messages in controller area network with priority and FIFO queues
The existing worst case response-time analysis for controller area network (CAN) with nodes
implementing priority and First In First Out (FIFO) queues does not support mixed messages …
implementing priority and First In First Out (FIFO) queues does not support mixed messages …
Torsche scheduling toolbox for matlab
This paper presents a Matlab based Scheduling toolbox TORSCHE (Time Optimization of
Resources, SCHEduling). The toolbox offers a collection of data structures that allow the …
Resources, SCHEduling). The toolbox offers a collection of data structures that allow the …
Worst-case end-to-end delay analysis of an avionics AFDX network
H Bauer, JL Scharbarg… - 2010 Design, Automation & …, 2010 - ieeexplore.ieee.org
AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major
upgrade for avionics systems. But network delay analysis is required to evaluate end-to-end …
upgrade for avionics systems. But network delay analysis is required to evaluate end-to-end …
Real-time schedulability tests for preemptive multitasking
CJ Fidge - Real-Time Systems, 1998 - Springer
When developing multitasking real-time systems, schedulability tests are used to formally
prove that a given task set will meet its deadlines. A wide range of such tests have appeared …
prove that a given task set will meet its deadlines. A wide range of such tests have appeared …