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.0017 seconds