Compositional Verification for Hierarchical Scheduling of Real-Time Systems

2013 ◽  
Vol 39 (5) ◽  
pp. 638-657 ◽  
Author(s):  
Laura Carnevali ◽  
Alessandro Pinzuti ◽  
Enrico Vicario
Keyword(s):  
Real Time ◽  
Compositional Verification ◽  
Real Time Systems ◽  
Hierarchical Scheduling ◽  
Time Systems

scholarly journals Compositional verification of real-time systems using Ecdar

2012 ◽  
Vol 14 (6) ◽  
pp. 703-720 ◽  
Author(s):  
Alexandre David ◽  
Kim. G. Larsen ◽  
Axel Legay ◽  
Mikael H. Møller ◽  
Ulrik Nyman ◽  
...  
Keyword(s):  
Real Time ◽  
Compositional Verification ◽  
Real Time Systems ◽  
Time Systems

Adaptive Hierarchical Scheduling Framework for TiRTOS

2019 ◽  
Vol 10 (1) ◽  
pp. 119-135
Author(s):  
Hesham Hussien ◽  
Eman Shaaban ◽  
Said Ghoniemy
Keyword(s):  
Real Time ◽  
Traditional Scheduling ◽  
Real Time Systems ◽  
Hierarchical Scheduling ◽  
Temporal Partitioning ◽  
Cpu Time ◽  
Hard Real Time ◽  
Time Systems ◽  
Concurrent Applications ◽  
Single Processor

The complexity of embedded real-time systems has increased, and most applications have large diversity in execution times of their tasks. Therefore, most traditional scheduling techniques do not satisfy requirements of such applications. This article proposes an adaptive hierarchical scheduling framework for a set of independent concurrent applications composing of soft and hard real time tasks, that run on a single processor. It ensures temporal partitioning between independent applications with budget adaption feature, where CPU time of each application is periodically and dynamically assigned. Implemented in the kernel of TI-RTOS on a resource constrained platform, experiments show that proposed scheme provides good performance for multiple applications with dynamic tasks under overload conditions. Compared with traditional priority scheduler originally implemented in TI-RTOS and EDF scheduler, it achieves low miss ratio with minimal overhead while yielding temporal partitioning.

Towards adaptive hierarchical scheduling of real-time systems

ETFA2011 ◽  
2011 ◽  
Author(s):  
Nima Moghaddami Khalilzad ◽  
Thomas Nolte ◽  
Moris Behnam ◽  
Mikael Asberg
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Hierarchical Scheduling ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document