On considère le problème d'ordonnancement des systèmes temps-réel. On commence par la modelisation d'une certaine classe de programmes Java, avec des processus concurrents constitués d'une séquence de tâches temps-réel qui se synchronisent et peuvent accéder aux ressources communes. Pour ce modèle on analyse l'ordonnancement en proposant un algorithme d'attribution de priorités fixes; le problème de deadlock est aussi analysé grace à une technique de détection. A partir de ce problème, on aborde l'ordonnancement dans une approache plus générale basée sur le modèle des automates temporsés; on propose de techniques pour décider le problème d'ordonnancement qui réposent sur des procédures d'analyse symbolique d'accessibilité dans differents modèles: LIFO one-préemption, EDF one-préemption, General Scheduling. Pour chaque modèle on donne une serie de proprietés, notamment la preuve d'accessibilité. On conclut par donner une methode complète d'ordonnancement
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00006328 |
Date | 22 June 2004 |
Creators | Zanconi, Marcelo |
Source Sets | CCSD theses-EN-ligne, France |
Language | English |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0016 seconds