La radiocommunication est un domaine d’application en constante évolution. Les organisations, qui utilisent des systèmes de radiocommunication dans leurs tâches quotidiennes, doivent absolument suivre cette évolution pour maintenir leur capacité à réaliser leurs objectifs. Ces organisations utilisent actuellement des systèmes qui sont peu flexibles, très coûteux et rarement compatibles. Les standards du Projet 25 (P25) ont été créés dans le but d’enrayer les problèmes de compatibilité entre les systèmes développés par les différents manufacturiers, tout en offrant un moyen de communication numérique efficace. Le déploiement des systèmes de radiocommunication P25 s’effectue actuellement, au Québec, à partir de sites fixes faisant partie du Réseau national intégré de radiocommunication (RENIR). Le problème rencontré par un déploiement fixe est l’impossibilité de couvrir tout le territoire québécois et l’incapacité à offrir les services lorsqu’un ou plusieurs sites sont mis hors services par l’action éventuelle d’une catastrophe naturelle ou d'une guerre. Une des alternatives au déploiement fixe des radiocommunications est le déploiement mobile qui s’effectue à partir de sites portables et de sites montés sur véhicules routiers et aériens. Cependant, ce type de déploiement est souvent chronophage car il dépend beaucoup de facteurs humains. Ce projet a donc pour objectif de concevoir des algorithmes permettant l’accélération du déploiement mobile des radiocommunications P25. Ainsi, deux algorithmes d’accélération de déploiement ont été conçus et intégrés au prototype d’un contrôleur de sous-système P25. Les tests du prototype permettent d'anticiper des résultats encourageants en ce qui a trait à l’avenir du déploiement mobile du standard de radiocommunication P25. En effet, l’équipe de recherche a déterminé que ce prototype pourrait réduire considérablement le temps requis pour déployer une zone de couverture radio.

On décrit à travers un exemple simple un probleme de gestion des ressources décrites par l'utilisateur. Cet exemple permet de mettre en évidence deux caractéristiques peu habituelles dans les problèmes de gestion des ressources. On propose une technique de contrôle du parallélisme qui tient compte des caractéristiques citées. On considère un environnement reparti ou les accès à une ressource peuvent être demandés à partir des sites autres que celui où la ressource est implémentée. On décrit le fonctionnement de la proposition dans cet environnement ainsi qu'un ensemble d'outils suffisants pour la mettre en œuvre.

Selon les domaines d'applications, différentes façons de modéliser le partage de ressources ont été envisagées. Un des premiers modèles apparus est issu du "Dining Philosophers Problem" de Dijkstra, généralisé par la suite par Chandy et Misra à travers le "Drinking Philosophers Problem". Nous nous intéressons à des versions markoviennes de ces situations, dans lesquelles les durées pour la prise et l'utilisation des ressources sont aléatoires. L'évaluation puis l'optimisation des performances des systèmes de ressources partagées nous conduit à étudier l'équilibre de ces modèles. Cette étude s'inscrit dans le contexte des propriétés de Markov des champs aléatoires sur les graphes dont nous présentons quelques résultats généraux. Nous utilisons également le formalisme des systèmes de particules. Nous introduisons une nouvelle classe de modèles markoviens de ressources partagées pour lesquels nous généralisons des outils classiques. Nous présentons des résultats de réversibilité et envisageons des techniques de comparaison stochastique. Pour des systèmes finis, nous donnons quelques calculs explicites de mesures d'équilibre. Des systèmes qui augmentent en taille et en complexité peuvent être approchés par des systèmes infinis. Pour des systèmes sur des graphes infinis construits à partir d'un arbre, nous mettons en évidence des phénomenes de transition de phase.

Les systèmes de production de type flow-shop sont des systèmes déterministes qui peuvent être modélisés analytiquement de manière relativement aisée dans une structure algébrique de dioïde. Les opérations dont est muni un dioïde sont essentiellement basées sur des phénomènes de synchronisation et de délai, ce qui permet d'aboutir à un modèle linéaire. Cependant, les systèmes de production manufacturiers présentent de plus en plus d'éléments hétérogènes en interaction et font ainsi partie d'une classe plus générale de systèmes, les job-shops. Ces interactions se caractérisent parfois par des conflits ; dès lors, une modélisation analytique linéaire n'est plus possible. En considérant un système à conflits, non plus directement, mais via ses comportements extrémaux, il est possible d'en obtenir une modélisation approchée, qui est linéaire dans un dioïde d'intervalles. Moyennant l'utilisation de règles d'affectation des ressources partagées et de politiques de routage appropriées, nous définissons des modèles linéaires de ces sections. On propose un modèle approché, dans un dioïde d'intervalles, de ces systèmes complexes, afin de bénéficier des contributions théoriques des structures algébriques de dioïde. Par ailleurs, les réseaux de Petri forment un outil graphique privilégié pour la représentation des systèmes dynamiques à événements discrets que sont les systèmes de production. Nous proposons une définition de la sémantique d'une sous-classe bien particulière de ces réseaux : les graphes d'événements temporisés à incertitudes temporelles, qui permettent de retranscrire des relations exprimées dans un dioïde d'intervalles. En somme, notre contribution permet d'étudier certains job-shops, alors que les possibilités actuelles se limitaient à l'étude de flow-shops.

La prédictibilité est un aspect important des systèmes temps-réel critiques. Garantir la fonctionnalité de ces systèmespasse par la prise en compte des contraintes temporelles. Les architectures mono-cœurs traditionnelles ne sont plussuffisantes pour répondre aux besoins croissants en performance de ces systèmes. De nouvelles architectures multi-cœurssont conçues pour offrir plus de performance mais introduisent d'autres défis. Dans cette thèse, nous nous intéressonsau problème d’accès aux ressources partagées dans un environnement multi-cœur.La première partie de ce travail propose une approche qui considère la modélisation de programme avec des formules desatisfiabilité modulo des théories (SMT). On utilise un solveur SMT pour trouverun chemin d’exécution qui maximise le temps d’exécution. On considère comme ressource partagée un bus utilisant unepolitique d’accès multiple à répartition dans le temps (TDMA). On explique comment la sémantique du programme analyséet le bus partagé peuvent être modélisés en SMT. Les résultats expérimentaux montrent une meilleure précision encomparaison à des approches simples et pessimistes.Dans la deuxième partie, nous proposons une analyse de temps de réponse de programmes à flot de données synchroness'exécutant sur un processeur pluri-cœur. Notre approche calcule l'ensemble des dates de début d'exécution et des tempsde réponse en respectant la contrainte de dépendance entre les tâches. Ce travail est appliqué au processeur pluri-cœurindustriel Kalray MPPA-256. Nous proposons un modèle mathématique de l'arbitre de bus implémenté sur le processeur. Deplus, l'analyse de l'interférence sur le bus est raffinée en prenant en compte : (i) les temps de réponseet les dates de début des tâches concurrentes, (ii) le modèle d'exécution, (iii) les bancsmémoires, (iv) le pipeline des accès à la mémoire. L'évaluation expérimentale est réalisé sur desexemples générés aléatoirement et sur un cas d'étude d'un contrôleur de vol. / Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties --such as the timing behavior -- have high impact on the system's correctness. As many safety-critical systems have agrowing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasinglypopular solution is the use of multi-core systems, even in the real-time domain. Recent many-core architectures, such asthe Kalray MPPA, were designed to take advantage of the performance benefits of a multi-core architecture whileoffering certain predictability. It is still hard, however, to predict the execution time due to interferences on sharedresources (e.g., bus, memory, etc.).To tackle this challenge, Time Division Multiple Access (TDMA) buses are often advocated. In the first part of thisthesis, we are interested in the timing analysis of accesses to shared resources in such environments. Our approach usesSatisfiability Modulo Theory (SMT) to encode the semantics and the execution time of the analyzed program. To estimatethe delays of shared resource accesses, we propose an SMT model of a shared TDMA bus. An SMT-solver is used to find asolution that corresponds to the execution path with the maximal execution time. Using examples, we show how theworst-case execution time estimation is enhanced by combining the semantics and the shared bus analysis in SMT.In the second part, we introduce a response time analysis technique for Synchronous Data Flow programs. These are mappedto multiple parallel dependent tasks running on a compute cluster of the Kalray MPPA-256 many-core processor. Theanalysis we devise computes a set of response times and release dates that respect the constraints in the taskdependency graph. We derive a mathematical model of the multi-level bus arbitration policy used by the MPPA. Further,we refine the analysis to account for (i) release dates and response times of co-runners, (ii)task execution models, (iii) use of memory banks, (iv) memory accesses pipelining. Furtherimprovements to the precision of the analysis were achieved by considering only accesses that block the emitting core inthe interference analysis. Our experimental evaluation focuses on randomly generated benchmarks and an avionics casestudy.