Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs

Les applications temps-réel, le plus souvent dédiées au contrôle de procédé, sont soumises à des contraintes temporelles strictes, destinées à garantir la sécurité et la cohérence du procédé contrôlé. Etant des applications multi tâches, elles doivent être ordonnancées, le critère sine qua non de qualité de la stratégie d'ordonnancement étant la garantie du respect des contraintes temporelles. Ces applications sont de plus en plus déployées sur des architectures multiprocesseurs. Dans ce contexte, de nombreux problèmes d'ordonnancement doivent encore être abordés. Tout d'abord, il n'existe pas d'ordonnancement en ligne optimal dans ce contexte dans le cas général, le problème de l'ordonnancement est NP-complet, et des anomalies d'ordonnancement apparaissent. Nous avons envisagé de prendre en compte la possibilité qu'une panne processeur survienne et nous avons étudié les mécanismes de reprise après la panne dans le cas où l'application est ordonnancée par EDF, puis par un algorithme P-équitable. Ces mécanismes nécessitent de disposer d'un certain nombre de résultats généraux. Nous avons donc étendu la définition de la P-équité à un contexte plus large que celui de la littérature, puis nous avons établi une condition suffisante d'ordonnançabilité dans ce contexte. Enfin, nous avons proposé un protocole efficace de gestion des flux apériodiques qui s'appuie sur une distribution P-équitable des temps creux. Cette répartition peut être obtenue soit en ordonnançant les tâches périodiques par une stratégie P-équitable quand le contexte le permet, soit via une analyse hors-ligne à base de réseaux de Petri.A real-time system is one whose logical correctness is based on the correctness of outputs and on their timeless. It must satisfy explicit (bounded) response-time constraints or risks severe consequences, including system failure. Now, systems are increasingly complex, using several processors to process a large number of tasks. For these reasons, we focus on the schedulability analysis of these applications on multiprocessor platforms and their scalability. In this regard we propose a new approach for fault-tolerant scheduling on multiprocessors with global preemptive EDF and Pfair policy. Our approach guarantees the completion of a scheduled task before its deadline in the presence of a processor failure. It more results on schedulability theory on multiprocessors when complex tasks systems are considered. First, we extend the notion of Pfairness to the context of asynchronous tasks with contrained deadline. We investigate feasibility conditions and we propose a rather efficient one. Then, we consider the problem of aperiodic tasks with contrained deadline adjunction. We propose an acceptance protocol, which relies on a fair distribution of the idle time units. The accepted aperiodic tasks are then scheduled in background. Finally, we consider interacting periodic tasks. We still try to distribute the idle time units fairly. For that aim, we consider a model-driven approach, based on the modelling of the application by a Petri net and we propose extraction rules which can accommodate our acceptance protocol.POITIERS-BU Sciences (861942102) / SudocSudocFranceF