Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Ce travail s'inscrit dans la continuité de l'étude du langage de description de systèmes AltaRica. Ce langage, développé au Labri, permet de modéliser des systèmes réels de manière hiérarchique. L'objectif de la thèse est d'introduire le temps quantitatif dans le but de concevoir des systèmes temps réel, c'est à dire des systèmes assujettis à des contraintes temporelles.<br />Deux extensions du langage sont proposées : une version temporisée et une hybride. Ces extensions respectent les caractéristiques du langage initial et conservent les aspects de hiérarchie, de synchronisation, de partage de variables et de priorité statique. En outre, afin d'améliorer les descriptions temps réel, de nouveaux opérateurs de modélisation, comme l'urgence et les priorités temporelles, ont été ajoutés. Nous obtenons ainsi un langage hiérarchique de haut niveau de modélisation de systèmes temps réel. <br />Une étude formelle complète a été menée sur la sémantique du langage, le pouvoir d'expression des langages AltaRica temps réel et des moyens de traductions automatiques vers des modèles classiques existants. Ces algorithmes reposent sur la notion de mise à plat de modèle, i.e. réécrire le modèle sans sous composant.<br />Enfin, le langage temporisé est implanté dans un prototype qui étant donné un modèle le met à plat puis le traduit en automate temporisé. Ainsi, certains systèmes réels ont pu être modélisés puis des propriétés ont été vérifiées à l'aide du model checker UPPAAL.

Les nouvelles applications sur Internet nécessitent des garanties de qualité de service (QoS) de la part du réseau. Nous nous intéressons à deux paramètres de QoS : le temps de réponse et la gigue de bout-en-bout. Nous proposons un ordonnancement, noté FP/DP, à base de priorités fixes (FP), départageant les paquets ex aequo selon leurs priorités dynamiques (DP). La priorité fixe d'un flux reflète son degré d'importance et sa priorité dynamique est un paramètre temporel. FP/FIFO et FP/EDF sont deux exemples d'ordonnancement FP/DP. Nous déterminons des bornes déterministes sur les paramètres de QoS considérés, en utilisant l'approche par trajectoire. En monoprocesseur, nous améliorons les résultats existants et prouvons que FP/EDF domine FP/FIFO sous certaines conditions. En distribué, nous apportons de nouveaux résultats et montrons que l'approche par trajectoire est beaucoup moins pessimiste que l'approche holistique. Nos résultats sont appliqués dans une architecture DiffServ/MPLS.

La composition des systèmes temporisés est source de nombreux problèmes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systèmes temporisés qui préserve la réactivité temprorelle, à savoir que si le système ne peut réagir, alors le temps peut avancer. Nous effectuons d'abord une étude préliminaire sur la spécification des évolutions temporelles dans les systèmes, débouchant sur la définition de mécanismes de description adéquats. Ceci nous permet de définir une classe de modèles temporisés temporellement réactifs, par construction. Nous définissons sur cette classe des opérateurs de choix et de composition parallèle qui préservent cette propriété. En outre, les opérateurs sont définis de sorte à préserver l'activité dans le sens où si à partir d'un état une action est possible dans un composant, alors une action est possible dans la composition. L'opérateur de composition parallèle respecte également la propriété de progrès maximal grâce à l'utilisation d'opérateurs de choix avec priorités qui favorise les synchronisations. Un cadre général est donné pour exprimer différents modes de synchronisation, parmi lesquels on retiendra AND (synchronisation classique), MAX (synchronisation avec attente) et MIN (interruption). Pour terminer, nous développons une approche algébrique pour une sous-classe des modèles considérés.

Construire des modèles qui représentent fidèlement les systèmes temps réels complexes est indispensable pour l'analyse de leurs propriétés fonctionnelles et temporelles. Ce travail présente une méthodologie de modélisation pour les systèmes temps réels dans le contexte de la technologie Java. Le modèle est obtenu par la restriction du modèle fonctionnel du logiciel avec les informations temporelles appropriées. Nous établissons un sous ensemble du langage Java qui réglemente la structure concurrente de l'application, la communication et les pratiques de programmation au niveau des threads, des objets et du flot de contrôle. Le modèle fonctionnel est construit à partir de règles de réécriture basées sur la sémantique du langage. Les modèles non temporisés sont ensuite décorés par les informations relatives à la plate forme d'exécution, la dynamique de l'environnement et les échéances temps réel. La méthodologie de modélisation à été implémentée dans l'outil JediTool.

Les nouveaux systèmes ont souvent recours à une implémentation distribuée du logiciel, pour des raisons d'efficacité et à cause de l'emplacement physique de certains capteurs et actuateurs. S'assurer de la correction d'un logiciel distribué est difficile car cela impose de considérer tous les enchevêtrements possibles des actions exécutées par des processus distincts. Cette thèse propose une méthode pour générer, à partir d'un modèle d'application haut niveau, une implémentation distribuée correcte et efficace. Le modèle de l'application comporte des composants communiquant au moyen d'interactions multiparties avec priorités. L'exécution d'une interaction multipartie, qui correspond à un pas de la sémantique, change de façon atomique l'état de tous les composants participant à l'interaction. On définit une implantation distribuée comme un ensemble de processus communiquant par envoi de message asynchrone. La principale difficulté est de produire une implémentation correcte et efficace des interactions multiparties avec priorités, en utilisant uniquement l'envoi de message comme primitive. La méthode se fonde sur un flot de conception rigoureux qui raffine progressivement le modèle haut niveau en un modèle bas niveau, à partir duquel le code pour une plateforme particulière est généré. Tous les modèles intermédiaires apparaissant dans le flot sont exprimés avec la même sémantique que le modèle original. À chaque étape du flot, les interactions complexes sont remplacés par des constructions utilisant des interactions plus simples. En particulier, le dernier modèle obtenu avant la génération du code ne contient que des interactions modélisant l'envoi de message. La correction de l'implémentation est obtenue par construction. L'utilisation des interactions multiparties comme primitives dans le modèle de l'application permet de réduire très significativement l'ensemble des états atteignables, par rapport à un modèle équivalent mais utilisant des primitives de communication plus simples. Les propriétés essentielles du système sont vérifiées à ce niveau d'abstraction. Chaque transformation constituante du flot de conception est suffisamment simple pour être complètement formalisée et prouvée, en termes d'équivalence observationelle ou d'équivalence de trace entre le modèles avant et après transformation. L'implémentation ainsi obtenue est correcte par rapport au modèle original, ce qui évite une coûteuse vérification a posteriori. Concernant l'efficacité, la performance de l'implémentation peut être optimisée en choisissant les paramètres adéquats pour les transformations, ou en augmentant la connaissance des composants. Cette dernière solution requiert une analyse du modèle de départ afin de calculer la connaissance qui est réutilisée pour les étapes ultérieures du flot de conception. Les différentes transformations et optimisations constituant le flot de conception ont été implémentées dans le cadre de BIP. Cette implémentation a permis d'évaluer les différentes possibilités ainsi que l'influence des différents paramètres, sur la performance de l'implémentation obtenue avec plusieurs exemples. Le code généré utilise les primitives fournies par les sockets POSIX, MPI ou les pthreads pour envoyer des messages entre les processus. / Distributed software is often required for new systems, because of efficiency and physical distribution and sensors and actuators. Ensuring correctness of a distributed implementation is hard due to the interleaving of actions belonging to distinct processes. This thesis proposes a method for generating a correct and efficient distributed implementation from a high-level model of an application. The input model is described as a set of components communicating through prioritized multiparty interactions. Such primitives change the state of all components involved in an interaction during a single atomic execution step. We assume that a distributed implementation is a set of processes communicating through asynchronous message-passing. The main challenge is to produce a correct and efficient distributed implementation of prioritized multiparty interactions, relying only on message-passing. The method relies on a rigorous design flow refining the high-level model of the application into a low-level model, from which code for a given platform is generated. All intermediate models appearing in the flow are expressed using the same semantics as the input model. Complex interactions are replaced with constructs using simpler interactions at each step of the design flow. In particular, the last model obtained before code generation contains only interactions modeling asynchronous message passing. The correctness of the implementation is obtained by construction. Using multiparty interaction reduces drastically the set of reachable states, compared to an equivalent model expressed with lower level primitives. Essential properties of the system are checked at this abstraction level. Each transformation of the design flow is simple enough to be fully formalized and proved by showing observational equivalence or trace equivalence between the input and output models. The obtained implementation is correct with respect to the original model, which avoids an expensive a posteriori verification. Performance can be optimized through adequate choice of the transformation parameters, or by augmenting the knowledge of components. The latter solution requires to analyze the original model to compute the knowledge, that is reused at subsequent steps of the decentralization. The various transformations and optimizations constituting the design flow have been implemented using the BIP framework. The implementation has been used to evaluate the different possibilities, as well the influence of parameters of the design flow, on several examples. The generated code uses either Unix sockets, MPI or pthreads primitives for communication between processes.

L’objectif de cette thèse est double. D’une part, il convient de montrer que la réforme de l’État libanais ne progresse pas depuis l’accord de Taëf. Aujourd’hui, le Liban fait face à un blocage en raison de la controverse opposant les partis et forces politiques du pays autour de cette question. D’autre part, il s’agit d’identifier cette controverse sur la base de leurs priorités électorales et de la légitimité des coalitions qu’ils forment.Dans la première partie, nous avons exploré la structure de la Constitution, l'évolution des relations entre les partis libanais et l’État, et la typologie des partis libanais. À l’issue de cette partie, nous avons présenté les diverses tentatives de réforme effectuées dans les domaines du social, de l’économie, de la justice, de la défense, des relations extérieures et de l'environnement.Dans la deuxième partie, nous avons analysé les programmes électoraux présentés par les partis à l’occasion des élections parlementaires et municipales des années 1993, 1996, 1998, 2000 et 2004. Nous avons accordé une large place au projet porté par le Premier ministre Rafic Hariri, concernant la reconstruction du pays et surtout de Beyrouth après des années de guerre. Les diverses positions des partis envers ce projet ont aussi été récapitulées.Dans la troisième partie, nous avons procédé à une étude comparative des programmes électoraux des partis lors des deux élections parlementaires libanaises de 2005 et 2009. Nous avons vu que la transformation du système partisan ont entraîné des changements en termes de priorités électorales au sein des partis ; d’où l’émergence d’autres conceptions de la réforme de l’État. Dans le dernier chapitre, nous avons proposé une étude de terrain portant sur trois principaux éléments: la participation des jeunes Libanais, leurs visions sur les priorités de la réforme de l’État, et leurs perceptions des forces au pouvoir et des partis politiques dans ce processus de réforme. Enfin, nous avons interviewé des membres et des responsables de partis, afin de cerner leurs points de vue et de déterminer si, selon eux, il existe une solution à la crise que vit l’État libanais. Cette étude nous a permis d’ouvrir des nouvelles voies de recherche pour l’avenir du Liban. / This study has a dual aim: On the one hand, addressing the failure of the Lebanese state’s reform process, because of the parties dispute over it, since the Taif Agreement until today. And on the other hand it aims to identify this dispute from these parties electoral priorities and their political coalitions perspective In the first part, we explored the structure of the Lebanese Constitution, the evolving relationship between parties and the state, and then the political and the typology of these parties. Finally, in this part, we addressed reform efforts in various areas such as: social, economic, justice, defense, environment, and foreign relationships.In the second part, we analyzed the election programs during different parliamentary and municipal elections of 1993, 1996, 1998, 2000 and 2004. This led us to focus on Prime Minister Rafic Hariri's project to rebuild the country, in particular, Beirut after the civil war and the position of the parties concerning this project.In the third part, we made a comparative study for the parties' election programs for the two parliamentary elections of 2005 and 2009. It was noted that the transformation accord in the party system has led to changes in the electoral priorities of the parties and thus in their perspectives towards the reform of the State. In the last chapter, we made a field study on the participation of the Lebanese youth, their views on the priorities of the reform of the state, and their perceptions of the Parliament’s role, the government and the political parties' role in the process of the State reform. Finally, we interviewed members and leaders of the political parties to stand at their views on solving the crisis of the Lebanese state. We hope this study will contribute in opening new horizons for the future of Lebanon.

Introduction : The acute care surgery (ACS) units are dedicated to the prompt management of surgical emergencies. It is a systemic way of organizing on-call services to diminish conflict between urgent care and elective obligations. The aim of this study was to define the characteristics of an ACS unit and to find common criteria in units with reported good functioning. Methods : As of July 1st 2014, 22 Canadian hospitals reported having an ACS unit. A survey with questions about the organization of the ACS units, the population it serves, the number of emergencies and trauma cases treated per year, and the satisfaction about the implementation of this ACS unit was sent to those hospitals. Results : The survey’s response rate was 73%. The majority of hospitals were tertiary or quaternary centers, served a population of more than 200 000 and had their ACS unit for more than three years. The median number of surgeons participating in an ACS unit was 8.5 and the majority were doing seven day rotations. The median number of operating room days was 2.5 per week. Most ACS units (85%) had an estimated annual volume of more than 2500 emergency consultations (including both trauma and non-trauma) and 80% operated over 1000 cases per year. Nearly all the respondents (94%) were satisfied with the implementation of the ACS unit in their hospital. Conclusion : Most surgeons felt that the implementation of an ACS unit resulted in positive outcomes. However, there should be a sizeable catchment population and number of surgical emergencies to justify the resulting financial and human resources. / Introduction : Les unités de soins aigus chirurgicaux (USAC) sont des unités dédiées à la prise en charge rapide des patients se présentant avec des urgences chirurgicales. Elles ont pour rôle de diviser le service de chirurgie générale afin d’organiser le système de garde en diminuant le conflit entre la prise en charge des urgences chirurgicales et les obligations électives. Nous avions pour objectif de définir les caractéristiques des USAC et de trouver des critères communs aux unités ayant rapporté un fonctionnement efficace et une bonne organisation. Méthodes : En date du 1er juillet 2014, vingt-deux hôpitaux canadiens rapportaient posséder une USAC. Un questionnaire comportant des questions sur l’organisation de leur USAC, la population desservie, le nombre d’urgences chirurgicales annuelles et la satisfaction en lien avec l’implantation de leur USAC leur a été envoyé. Résultats : Nous avons obtenu un taux de réponse de 73%. La majorité des hôpitaux étaient des centres tertiaires ou quaternaires, servaient une population de plus de 200 000 personnes et possédaient une USAC depuis plus de trois ans. Un nombre médian de 8,5 chirurgiens participaient à l’USAC et travaillaient en alternance sur une période de 7 jours. Le nombre médian de priorités opératoires était de 2,5 jours par semaine. La plupart des unités (85%) avait un nombre annuel estimé de plus de 2 500 consultations urgentes et 80% des unités opéraient plus de 1 000 cas par année. La grande majorité des répondants (94%) se disait satisfaite de la création d’une USAC dans leur hôpital. Conclusion : La majorité des chirurgiens affirme avoir vu un impact positif depuis la mise en place de l’USAC. Par contre, pour justifier la création d’une USAC, il semble nécessaire que soient présents un certain bassin de population, un nombre minimal annuel d’urgences chirurgicales ainsi qu’un certain nombre de chirurgiens y participant.

Cette thèse se compose de trois essais sur le rôle des institutions dans le processus de développement. Le chapitre 2 examine dans quelle mesure l'existence de régimes multiples est associée à la qualité des institutions d'un pays, et analyse la différence de rôle joué par les institutions politiques et économiques dans le processus de croissance. Les résultats indiquent que les institutions économiques sont les causes immédiates et ont un impact direct sur le taux de croissance. Les institutions politiques sont les causes profondes, et sont donc les éléments qui déterminent dans quel régime de croissance se trouve un pays.Le chapitre 3 réétudie la problématique de la malédiction des ressources naturelles. Il teste l'hypothèse que l'effet de l'abondance en ressources naturelles sur le taux de croissance dépend du régime de croissance dans lequel le pays est inclus. Les résultats montrent un régime de bénédiction où les ressources naturelles favorisent la croissance et un régime de malédiction où les ressources naturelles ne stimulent pas la croissance. En outre plus de démocratie augmente la probabilité pour qu'un pays donné appartienne au premier régime. Le chapitre 4 teste si les différences de priorités politiques entre les hommes et les femmes, ou si les caractéristiques à l'échelle du pays telles que la qualité des institutions expliquent l'écart au soutien à la démocratie entre ces deux groupes d'individus. L'étude a montré que le contexte institutionnel du pays dans lequel les femmes vivent joue un rôle primordial. / This dissertation consists of three essays on institutions in the process of development. Chapter 2 considers to what extent the existence of multiple regimes is associated to the quality of institutions in a country, and analyses the difference of the role played by political and economic institutions in the growth process. The results indicate that economic institutions are proximate causes and have a direct impact on the growth rate. On the other hand political institutions are deep causes, and thus are the key determinant for which growth regime a country belongs to. In chapter 3, I re-examine the question of the resource curse. I test to which extent the impact of natural resources on the growth rate depends truly on the growth regime to which a country belongs. I find two different growth regimes. One is a resource-blessed regime in which natural resources increase signicantly the growth rate. The second one is a resource-cursed regime in which natural resources do not stimulate the growth rate. The analysis of the determinants of whether a country belongs or not to the blessed resource regime indicates that high level of democracy increases the probability for a given country to belong to this regime. Chapter 4 tries to understand and to provide potential explanations to why women are less supportive of democracy than men in Sub-sahara Africa. We test whether this gap is due to individual differences in policy priorities or to country-wide characteristics. The results support that in Sub-sahara Africa the gender gap in support for democracy disappears in countries with high level of the Human Development Indicator and of political rights.

A la suite de beaucoup d’autres pays, ceux de l’Union économique et monétaire ouest africaine (UEMOA) ont adopté le système de gestion par la performance des politiques publiques. Il s’agit d’un système global qui inclut, en phase d’élaboration des politiques publiques – déclinées en missions, programmes et actions -, de reconnaître la contrainte budgétaire qui s’impose partout, de définir le périmètre de ces politiques, d’en dégager les priorités et d’envisager leur exécution dans un cadre pluriannuel. En phase d’exécution, la gestion par la performance implique d’accorder plus de liberté aux gestionnaires, notamment dans l’utilisation des ressources tant humaines que matérielles. En contrepartie de cette liberté, se trouve la responsabilité des gestionnaires. En phase de contrôle enfin, la gestion par la performance suppose la modernisation des contrôles a posteriori traditionnels par leur inclusion dans les contrôles préventifs managériaux que sont le contrôle interne, le contrôle de gestion, l’audit. Elle suppose enfin un usage plus systématique de l’évaluation. / Behind many of other countries, those of the West African Monetary and economic Union adopted the management by performance system. It’s a global system of management of public policies, which come in missions, programs and actions. It includes, in the stage of public policies elaboration, to recognize the budgetary restriction which imposes up on everywhere and to specify the framework of these policies and to draw priorities and to consider the long term basis for their execution. The system supposes, in the stage of accomplishment, to grant freedom to managers, particularly in their use of the means, what implies, in return, their accountability. At last, the system supposes, in a third stage, a systematic use of internal control and audit and evaluation.