Modeling and Analysis of Real Time Systems with Preemption, Uncertainty and Dependency
| العنوان: | Modeling and Analysis of Real Time Systems with Preemption, Uncertainty and Dependency |
|---|---|
| المؤلفون: | Zanconi, Marcelo |
| المساهمون: | VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Université Joseph-Fourier - Grenoble I, Yovine Sergio(sergio.yovine@imag.fr), ZANCONI, Marcelo |
| المصدر: | Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier-Grenoble I, 2004. English |
| بيانات النشر: | HAL CCSD, 2004. |
| سنة النشر: | 2004 |
| مصطلحات موضوعية: | [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], real time systems, scheduling, decidability of scheduling, ordonnancement, systèmes temps reel, JAVA |
| الوصف: | 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. 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 |
| وصف الملف: | application/pdf |
| اللغة: | English |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e5a7090110bdd2c3080b6dd708731033 https://tel.archives-ouvertes.fr/tel-00006328/file/tel-00006328.pdf |
| Rights: | OPEN |
| رقم الانضمام: | edsair.dedup.wf.001..e5a7090110bdd2c3080b6dd708731033 |
| قاعدة البيانات: | OpenAIRE |
| الوصف غير متاح. |