Characterization of blocking time in real-time systems with dynamic priority ceilings

Author(s):  
P. Rodriguez ◽  
A. Molano ◽  
A. Vifia
2004 ◽  
Vol 328 (1-2) ◽  
pp. 187-201 ◽  
Author(s):  
Farn Wang ◽  
Hsu-Chun Yen

10.29007/kkds ◽  
2018 ◽  
Author(s):  
Irina Virbitskaite ◽  
Natalya Gribovskaya ◽  
Eike Best

Timed transition systems are a widely studied model for real-time systems.The intention of the paper is to show how several categorical (open maps, path-bisimilarity and coalgebraic) approaches to an abstract characterization ofbisimulation relate to each other and to the numerous suggested behavioral equivalences of linear time -- branching time spectrum, in the setting of timed transition systems.


Symmetry ◽  
2021 ◽  
Vol 13 (8) ◽  
pp. 1488
Author(s):  
Basharat Mahmood ◽  
Naveed Ahmad ◽  
Majid Iqbal Khan ◽  
Adnan Akhunzada

The use of real-time systems is growing at an increasing rate. This raises the power efficiency as the main challenge for system designers. Power asymmetric multicore processors provide a power-efficient platform for building complex real-time systems. The utilization of this efficient platform can be further enhanced by adopting proficient scheduling policies. Unfortunately, the research on real-time scheduling of power asymmetric multicore processors is in its infancy. In this research, we have addressed this problem and added new results. We have proposed a dynamic-priority semi-partitioned algorithm named: Earliest-Deadline First with C=D Task Splitting (EDFwC=D-TS) for scheduling real-time applications on power asymmetric multicore processors. EDFwC=D-TS outclasses its counterparts in terms of system utilization. The simulation results show that EDFwC=D-TS schedules up to 67% more tasks with heavy workloads. Furthermore, it improves the processor utilization up to 11% and on average uses 14% less cores to schedule the given workload.


Sign in / Sign up

Export Citation Format

Share Document