Modélisation et analyse de systèmes temps réel, avec préemption, incertitude et dépendances

Modeling and analysis of real time systems with preemption, uncertainty and dependency

• Auteur / Autrice : Marcelo Zanconi
• Direction : Sergio Yovine
• Type : Thèse de doctorat
• Discipline(s) : Informatique. Systèmes et communications
• Date : Soutenance en 2004
• Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Résumé

La thèse s'inscrit dans le domaine de la spécification et de l'analyse de systèmes temps-réel. Elle porte en particulier sur les problèmes d'ordonnancement automatique de tâches avec contraintes temps réel, applicable dans le domaine du développement des sytèmes embarqués. On présente le problème de l'ordonnancement d'un certain type de programmes Java temps réel, en considérant un programme comme un ensemble de processus concurrents que peuvent se synchroniser et accéder à des ressources communes ; on propose des techniques algorithmiques pour attribuer des priorités fixes, dans un cadre général. On présente aussi de nouvelles techniques pour décider le problème de l'ordonnancement, en allant des plus particulières vers les plus générales. Ces techniques sont basées sur des processus d'analyse symbolique d'accessibilité dans les modèles temporisés considérés. On présente une preuve de la décidabilité du problème pour chaque opération symbolique.

This thesis deals with the especification and anlysis of real time systems. We study the problem of schedulability of real time tasks, applicable to embedded systems. We study the problem of scheduling a real time program in Java, considering it as a set of processes which can communicate and use shared resources. Under this scenario, we give some techniques to assign priorities. We introduce some new techniques to decide schedulabilitily of real time systems, modelled through times automata and we proove the decidability under a dynamic priority assignment procedure for each of the possible operations.