Si certains conservent un objectif scientifique et expérimental, la plupart des projets spatiaux visent maintenant à développer des systèmes profitables soumis à de fortes contraintes opérationnelles. Dimensionner ces systèmes, "ni trop, ni trop peu", est donc un objectif majeur qui conditionne leur viabilité économique. Si trop de risques sont pris les investisseurs se feront rares, et si le système est surdimensionné son coût peut être également rapidement dissuasif. Dans ce contexte, l'étude de la Disponibilité Opérationnelle en phases d'avant-projet donne certains critères précieux pour évaluer le compromis coût / prise de risque et permet ainsi de guider très tôt certains choix de conception. Cependant la complexité et la taille croissante de ces systèmes ont rapidement mis en évidence certaines limites des méthodes classiques d'évaluation de cette grandeur. La théorie des réseaux de Petri, riche d'une trentaine d'années de recherche et principalement appliquée à l'analyse, l'évaluation et la commande des systèmes distribués, offre des perspectives intéressantes pour dépasser ces limites. La principale contribution de ce travail mené au sein de l'Agence française de l'Espace et d'un industriel du spatial a été de favoriser son utilisation pour l'étude de la Disponibilité Opérationnelle de système spatiaux complexes et dans le cadre très concret des phases d'avant-projets. On a tout d'abord justifié l'intérêt que les réseaux de Petri présentent tant pour la modélisation que pour l'évaluation de tels systèmes par comparaison aux approches classiques. Puis on a illustré leur utilisation sur des programmes bien réels et dans le cadre d'un travail intégré avec les équipes projets. Enfin, on a proposé les bases d'une démarche de modélisation orientée application dont le but est d'aider des non spécialistes à concevoir aisément des modèles de systèmes complexes. Ce sont ces trois grandes étapes qui sont ici présentées.

Les systèmes de stockage de l'énergie électrique de forte capacité sont configurés en systèmes matriciels de cellules élémentaires. Les caractéristiques électriques de ces cellules n'évoluent pas toutes de manière identique, diminuant la disponibilité, à court terme par décharge rapide, à long terme en réduisant la durée de vie. Pour améliorer ces performances, des cellules redondantes et des circuits d'équilibrage sont insérés pour assurer une reconfiguration adéquate. Il devrait être possible d'accroître la disponibilité en reconfigurant les connexions internes. Nous comparons deux solutions classiques : série-parallèle (SP) et parallèle-série (PS) avec une nouvelle permettant de redistribuer le courant dans une batterie : le C-3C. Les performances sont évaluées en terme de fiabilité et de disponibilité. Nous proposons également un algorithme de pilotage adapté. La fiabilité est améliorable par redondance. Les cellules supplémentaires seront utilisées pour remplacer des cellules affaiblies. Le système peut également être conçu pour tolérer la défection d'une partie des cellules. Nous démontrons par des diagrammes de fiabilité et des chaînes de Markov que les architectures C-3C et PS présentent le même niveau de fiabilité, supérieur à celui d'une architecture SP. La durabilité des structures peut être améliorée en pilotant la mise en service des ressources disponibles selon différentes stratégies déclinées dans un algorithme de choix fondé sur les États de charge ou les États de Santé. Nous avons modélisé une cellule sous Matlab, en simulant les paramètres de vieillissement et leur évolution dynamique. Ainsi quelle que soit l'architecture, pour peu qu'elle comprenne une part minimale de redondance, une adéquate gestion différentiée des cellules permet une amélioration de la disponibilité de 40%. Par souci de reproductibilité, nous avons également modélisé ces structures par un réseau de Petri coloré, de manière à esquisser l'instrumentation et le dimensionnement de la commande. / High-capacity electrical energy storage system (EESS) are often matrix-organized system with a large number of elementary storage cells. Due to manufactoring tolerances and their individual use, the electrical characteristics of these cells do not evolve in the same way. These imbalances reduce operative dependability, in the short term by contributing to a decrease of the charge-discharge capacity, in the long-term by shortening lifetime. To improve storage performance, redundant cells can be added. It is also possible, in order to increase efficiency of stored energy restitution, to balance electrical characteristics by using energy exchange forced by an adequate configuration. It should therefore be possible to increase long-term operative dependability by reconfiguring internal connections in dynamic mode. Parallel-series (PS) architecture EESS consists of the series association of blocks, made up of several cells connected in parallel. Series-Parallel dual solution (SP) associates strings of cells in parallel. If other architectures are being studied, often requiring several switches per cell to reconfigure the matrix, we propose in this thesis a new architecture, called C3C, satisfying an acceptable level of reliability and distributing current flows. We then compare the classic solutions and the C3C in terms of reliability and the long-term operative dependability and propose a reflection on the possibilities to discrete control aspects to pilot architecture with a suitable control algorithm. The reliability of any structure can be improved by redundancy, with additional cells that will be used either to replace failing cells or temporarily supplemeting the weak ones. The system may also be designed to tolerate the defect of a portion of the cells. We demonstrate by modeling reliability diagrams and Markov chains that the C3C and PS architectures have a much eigher level of reliability than a SP architecture. The sustainability of these structures can also be improved by piloting activating and rest of the available resources according to different strategies in a choice algorithm based on SoC (State of Charge) or SoH (State of Health) of each cell. To do this, we model a cell on Matlab, precisely simulating the aging parameters and their dynamic evolution. It emerges that, whatever the architecture, if it includes a minimal share of redundant cells, an adequate differentiated management of the cells allows an improvement of the long-term operative dependability of nearly 40% on average. In order to study the reconfigurability control of architectures, we propose a model based on Discrete Event Systems through a colored Petri net. Simulation of this model has reinforced the behaviors already identified.