 |
|
Theses
Modeling and Analysis of Real Time Systems with Preemption, Uncertainty and Dependency
Modeling and Analysis of Real Time Systems with Preemption, Uncertainty and Dependency
Abstract : We consider scheduling real time systems. We give a model for a special class of real time programs, based on dependencies (shared resources and communications). We analyse this model and give a fixed priority assignment algorithm with a detection technique to treat deadlock. We extend this approach and give a real time model based on timed automata. We propose some techniques to deal with the problem of schedulability based on some policies such as LIFO, EDF and a General Preemptive Policy. For each model, we prove the decidability of the scheduler through the resolution of its corresponding reachability problem.
https://tel.archives-ouvertes.fr/tel-00006328
Contributor : Marcelo Zanconi <>
Submitted on : Monday, June 28, 2004 - 4:19:20 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Wednesday, September 12, 2012 - 4:20:35 PM
Contributor : Marcelo Zanconi <>
Submitted on : Monday, June 28, 2004 - 4:19:20 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Wednesday, September 12, 2012 - 4:20:35 PM