Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints - Archive ouverte HAL
Article Dans Une Revue International Journal of Software Engineering and Knowledge Engineering Année : 2018

Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints

Résumé

The timing requirements of real-time systems can be guaranteed by well-designed scheduling policies. The analysis of such scheduling uses an abstract task model of the system to diagnose the practicability of timing requirements. The task models have evolved from periodic models to more sophisticated graph-based ones, among which digraph real-time (DRT) task model is the most applicable because of its good expressiveness and analysis efficiency. However, the DRT model cannot support the commonly used precedence constraints within or between tasks. In this paper, we propose a new task model that extends the DRT model to support precedence constraints. Based on our model, we present two methods of uniprocessor schedulability analysis for static priority scheduling policy and earliest deadline first (EDF) scheduling policy. We also introduce an optimization technique to improve the efficiency of model analysis. Our experiments show that, despite a high computational complexity of the problem, our approach scales very well for large sets of tasks with precedence constraints.
Fichier non déposé

Dates et versions

hal-02485780 , version 1 (20-02-2020)

Identifiants

Citer

Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc. Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints. International Journal of Software Engineering and Knowledge Engineering, 2018, 28 (11n12), pp.1575-1595. ⟨10.1142/S0218194018400181⟩. ⟨hal-02485780⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

More