Identifiant pérenne de la notice : 247846139
Notice de type
Notice de regroupement
Note publique d'information : 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.
Note publique d'information : 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.
paprika.idref.fr
data.idref.fr
Documentation
