Le Service Transactionnel Guide (STG) défini dans le cadre de cette thèse a été implanté sur une plate-forme système (Guide) fournissant des objets persistants et répartis ainsi qu'un environnement de développement d'applications réparties. Le STG est basé sur une extension du modèle des transactions emboitées qui permet plusieurs formes de parallélisme au sein des transactions (par exemple entre transaction mère et transaction filles) et hors transaction. Par ailleurs, le modèle rend possible l'utilisation des objets atomiques par les transactions, mais aussi dans un contexte non-transactionnel. Si le modèle de concurrence vise principalement la souplesse du service, le modèle d'atomicité aux pannes doit prendre en compte les contraintes imposées par le système sous-jacent. L'atomicité aux pannes des transactions emboitées réparties est basé sur la mise en oeuvre du concept de représentant et d'un protocole de terminaison original qui ne nécessite qu'une phase pour assurer la validation d'une sous-transaction répartie. Le STG est composé de classes spécialisées qui constituent son interface, et qui repose sur des mécanismes systèmes spécifiques implantés dans le noyau du système Guide.

Dans les avions et lanceurs, des systèmes entraînés par l’énergie hydraulique, mécanique ou pneumatique sont progressivement remplacés par des systèmes électriques pour des raisons techniques et industrielles. Cependant, ces nouveaux systèmes doivent répondre aux contraintes économiques et de poids concernant ces domaines tout en garantissant une certaine fiabilité. Dans ce contexte industriel, des topologies innovantes multi-machines multi-convertisseurs à haut niveau de fiabilité sont comparées ici à des structures plus standards toujours tolérantes aux défaillances. Ainsi, des topologies avec des machines polyphasées couplées électriquement en série ont été choisies pour ce travail de thèse. La mise en série permet la mutualisation des bras d’onduleurs, réduisant ainsi leur nombre, et augmente la résistance totale du système. La valeur crête du courant est alors réduite lors de l’apparition de certains défauts avec, comme contrepartie, une augmentation inéluctables des pertes Joule globales. Pour que le contrôle de ces machines couplées électriquement en série soit indépendant, il est mis en évidence pourquoi le nombre de phase de ces machines doit être supérieur à 3 et avec de plus une connexion électrique spéciale permutant les phases. Une nouvelle topologie brevetée est tout particulièrement étudiée et testée expérimentalement. Apres validation du concept, des stratégies de contrôle plus complexes et des reconfigurations de la commande après le défaut sont appliquées afin de juger des potentialités d’amélioration des systèmes Pour les comparaisons, des simulations et des essais expérimentaux ont été réalisés. Les critères choisis pour cette comparaison ont été la puissance de dimensionnement de l’onduleur, servant d’image de son coût et de son poids, les pertes Joule et le couple pulsatoire, tous les trois pour un fonctionnement en mode dégradé. / In airplanes and launch vehicles, hydraulics, mechanical and pneumatic systems are progressively being replaced by electric systems for technical and industrial reasons. However, these new electric systems have to take into account the economical and weight reliability constraints of the aeronautics industry, ensuring the required reliability. Therefore, novel high reliability multi-machine and multi-converter topologies are compared to standard structures looking forward to find solutions that can be industrially implemented. Then, series-coupled machine topologies were chosen for this work. The series-coupling mutualizes the inverter legs, reducing their number, and increases the total electrical resistance of the system. As a consequence, the peak-current after the occurrence of certain faults is reduced, but the total copper losses are higher. In order to independently control the series-coupled machines, it is highlighted the reason why the number of phases must be higher than 3 and with a special electric coupling that permutes the machine’s phases. A new patented topology is deeply analyzed with experimental tests. After a validation of the studied system, more complex control strategies and control reconfiguration after a fault are also implemented in order to evaluate the potential improvements on the system performance in degraded mode. Simulation and experimental results were used on this study. For this analysis the dimensioning power of the inverter, the copper losses and the torque ripple, all of them in degraded mode, are the compared criterions.

Dans la première partie de ce mémoire, nous étudions le modèle des protocoles de population, introduit dans\cite{DBLP:conf/podc/BeauquierBCK10}. Ce modèle permet de représenter les grands réseaux de capteurs (ou agents) mobiles anonymes dotés de faibles ressources. Les contraintes de ce modèle sont si sévères que la plupart des problèmes classiques d'algorithmique répartie, tels que la collecte de données, le consensus ou l'élection d'un leader, sont difficiles à analyser, sinon impossibles à résoudre.Nous commençons notre étude par le problème de collecte de données. Celui-ci consiste principalement à transférer des valeurs réparties dans la population d'agents mobiles vers une station de base en un minimum de temps (temps de convergence). En utilisant un hypothèse d'équité, dite hypothèse de temps couvertures et introduite dans \cite{DBLP:conf/podc/BeauquierBCK10}, nous calculons des bornes optimales sur le temps de convergences de différents protocoles concrets. Ensuite, nous étudions le problème du consensus et d'élection de leader. Il a été montré que ces problèmes sont impossibles à résoudre dans le modèle original des protocoles de population. Pour contourner cette impossibilité, il est possible d'adjoindre au modèle certaines hypothèses sous la forme d'oracles. Nous proposons ensuite divers oracles permettant de résoudre le problème du consensus et d'élection de leader dans divers environnements, et nous étudions leurs puissances relatives. Ce faisant, nous développons un cadre formel permettant de représenter toutes les variétés d'oracles introduites, ainsi que leur possibles relations.Dans la seconde partie de ce mémoire, nous étudions le problème de la réplication de machine à états finis dans le modèle (classique) de communications asynchrones à passage de message. L'algorithme Paxos, introduit dans \cite{lamportPartTimeParliament,lamport01paxos} est une solution (partielle) bien connue au problème de la réplication capable de tolérer des pannes crash. Notre contribution, dans cette partie,consiste à améliorer Paxos afin qu'il puisse également tolérer des défaillances transitoires. Ce faisant, nous définissons la notions de machine répliquée pratiquement autostable. / In the first part of this thesis, we focus on a recent model, calledpopulation protocols, which describes large networksof tiny wireless mobile anonymous agents with very limited resources.The harsh constraints of the original model makes most of theclassical problems of distributed algorithmics, such as datacollection, consensus and leader election, either difficult to analyzeor impossible to solve.We first study the data collection problem, which mainly consists intransferring some values to a base station. By using a fairnessassumption, known as cover times, we compute tight bounds on theconvergence time of concrete protocols. Next, we focus on theproblems of consensus and leader election. It is shown that theseproblems are impossible in the original model. To circumvent theseissues, we augment the original model with oracles, and study theirrelative power. We develop by the way a formal framework generalenough to encompass various sorts of oracles, as well as theirrelations.In the second part of the thesis, we study the problem ofstate-machine replication in the more classical model of asynchronousmessage-passing communication. The Paxos algorithm is a famous(partial) solution to the state-machine replication problem whichtolerates crash failures. Our contribution is the enhancement of Paxosin order to tolerate transient faults as well. Doing so, we define thenotion of practically self-stabilizing replicated state-machine.