Skip to Main content Skip to Navigation
Theses

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.
Complete list of metadatas

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

Identifiers

  • HAL Id : tel-00006328, version 1

Collections

UJF | IMAG | CNRS | VERIMAG | UGA

Citation

Marcelo Zanconi. Modeling and Analysis of Real Time Systems with Preemption, Uncertainty and Dependency. Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2004. English. ⟨tel-00006328⟩

Share

Metrics

Record views

266

Files downloads

489