A Generic Task Model Using Timed Automata to Design and Analyze Real-Time Applications - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2011

A Generic Task Model Using Timed Automata to Design and Analyze Real-Time Applications

Yasmina Abdeddaïm
Damien Masson

Résumé

In this work, we propose an approach for automated analysis of real-time scheduling problems based on timed automata. Tasks are modeled using timed automata while schedulers correspond to feasible runs computed using model checking algorithms. Using this model, we present a method to prove on one hand the feasibility of a scheduling problem and to compute, on the other hand, an hybrid off-line/on-line scheduling policy. We expose how to use it to re-demonstrate well known results, to produce efficient schedule regarding of various properties such as minimal preemption number, and to address the problem of scheduling real-time task set composed by possibly self-suspending tasks which is known to be NP-hard.
Fichier principal
Vignette du fichier
formats11.pdf (314.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00598870 , version 1 (08-06-2011)

Identifiants

  • HAL Id : hal-00598870 , version 1

Citer

Yasmina Abdeddaïm, Damien Masson. A Generic Task Model Using Timed Automata to Design and Analyze Real-Time Applications. 2011. ⟨hal-00598870⟩
281 Consultations
149 Téléchargements

Partager

Gmail Facebook X LinkedIn More