Contribution à la validation des systèmes temps réel distribués : ordonnancement à priorités fixes et placement
Institution:
PoitiersDisciplines:
Directors:
Abstract EN:
In this report, we study fixed priorities real-time distributed systems. In a distributed context, the application cannot be validate by simulation. Schedulability can be verified by an analytic method based on a worst case analysis. We present a method that assigns priorities to tasks and messages. This method is optimal in respect of the holistic analysis. Schedulability of distributed applications strongly depends on software and material architectures mapping. We propose a method achieving, in a simultaneous manner, the allocation of tasks on processors and the priorities assignment to tasks and messages. This searching method is extended in order to consider communications between tasks upon a same processor. Finally, both methods are confronted to an industrial automotive distributed system example.
Abstract FR:
Nous étudions dans ce mémoire les systèmes temps réel distribués à priorités fixes. Dans un contexte distribué, la simulation ne peut valider une application. Seule une méthode analytique basée sur une étude pire cas permet de vérifier l'ordonnançabilité dans un tel contexte. Nous présentons une méthode optimale d'affection des priorités aux tâches et messages fondée sur l'analyse holistique. L'ordonnançabilité d'une application distribuée est fortement dépendante du couplage des architectures logicielle et matérielle. Nous proposons ensuite une méthode réalisant, de manière simultanée, le placement des tâches sur les processeurs et l'affectation des priorités aux tâches et aux messages. Cette méthode de recherche est étendue afin de considérer la communication entre tâches s'exécutant sur un même processeur. Enfin nous confrontons ces deux méthodes à une application distribuée issue du milieu industriel automobile.