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

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.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF