Brevet FR3153164A1 — publié le 20250321

Plateforme avionique avec activation différenciée de ressources pour l’exécution d’application(s) logicielle(s), aéronef associé Cette plateforme avionique (20) comprend une carte électronique de communication avec un ou plusieurs équipements externes à la plateforme ; un groupe de carte/s électronique/s de calcul (25), chacune comportant des ressources (40) pour l’exécution d’application/s logicielle/s ; et une carte d’alimentation électrique des cartes de communication et de calcul (25) ; lesdites cartes étant interconnectées. Le groupe de carte/s électronique/s de calcul (25) comporte des ressources activées par défaut, dites ressources primaires (40P), et des ressources désactivées par défaut, dites ressources secondaires (40S), les ressources secondaires (40S) étant distinctes des ressources primaires (40P), la ou les applications logicielles étant exécutables uniquement sur des ressources (40) activées, une quantité disponible prédéfinie de ressources (40) pour l’exécution d’application/s logicielle/s correspondant alors aux ressources primaires (40P) ; et en cas d’indisponibilité de ressources primaires (40P), des ressources secondaires (40S) sont activées pour compenser au moins partiellement l’indisponibilité desdites ressources primaires (40P). Figure pour l'abrégé : Figure 3 Plateforme avionique avec activation différenciée de ressources pour l’exécution d’application(s) logicielle(s), aéronef associé La présente invention concerne une plateforme avionique destinée à être embarquée à bord d’un aéronef, comprenant une carte électronique de communication configurée pour communiquer avec un ou plusieurs équipements externes à la plateforme ; un groupe de carte/s électronique/s de calcul, chacune comportant des ressources et étant configurée pour l’exécution d’application/s logicielle/s ; une carte d’alimentation électrique configurée pour convertir une énergie électrique reçue depuis un réseau d’alimentation électrique embarqué à bord de l’aéronef en une autre énergie électrique délivrée aux cartes électroniques de communication et de calcul ; les cartes d’alimentation électrique et électroniques de communication et de calcul étant interconnectées. L’invention concerne également un aéronef comprenant une telle plateforme avionique. Le document FR 3 094 595 B1 décrit une plateforme avionique du type précité formant un serveur multimédia pour distribuer, via des terminaux de divertissement et aux passagers de l’aéronef, des contenus multimédias, par exemple des films, des émissions de télévision, des jeux ou de la musique ; ou des paramètres du vol et de son avancement ; ou encore des annonces de l’équipage. La plateforme avionique comprend plusieurs cartes d’un même titre fonctionnel parmi une carte commutateur réseau formant une carte électronique de commutation, une carte d’alimentation électrique, une carte de stockage de données et une carte de calcul. Le fait d’avoir plusieurs cartes de même type fonctionnel permet d’améliorer la fiabilité et la disponibilité de la plateforme avionique, les cartes de même type fonctionnel étant redondantes entre elles. La fiabilité d’une telle plateforme avionique peut toutefois être encore améliorée. Le but de l’invention est alors de proposer une plateforme avionique permettant d’offrir une fiabilité encore meilleure. A cet effet, l’invention a pour objet une plateforme avionique destinée à être embarquée à bord d’un aéronef, la plateforme avionique comprenant : - une carte électronique de communication configurée pour communiquer avec un ou plusieurs équipements externes à la plateforme ; - un groupe de carte/s électronique/s de calcul, chacune comportant des ressources et étant configurée pour l’exécution d’application/s logicielle/s ; - une carte d’alimentation électrique configurée pour convertir une énergie électrique reçue depuis un réseau d’alimentation électrique embarqué à bord de l’aéronef en une autre énergie électrique délivrée aux cartes électroniques de communication et de calcul ; les cartes d’alimentation électrique et électroniques de communication et de calcul étant interconnectées ; le groupe de carte/s électronique/s de calcul comportant des ressources activées par défaut, dites ressources primaires, et des ressources désactivées par défaut, dites ressources secondaires, les ressources secondaires étant distinctes des ressources primaires, la ou les applications logicielles étant exécutables uniquement sur des ressources activées, une quantité disponible prédéfinie de ressources pour l’exécution d’application/s logicielle/s correspondant alors aux ressources primaires ; et en cas d’indisponibilité de ressources primaires, des ressources secondaires sont activées pour compenser au moins partiellement l’indisponibilité desdites ressources primaires. Avec la plateforme avionique selon l’invention, seule une partie des ressources du groupe de carte/s électronique/s de calcul est activée par défaut, ces ressources activées par défaut étant dites ressources primaires, et d’autres ressources dudit groupe de carte/s électronique/s de calcul sont désactivés par défaut, et dites ressources secondaires. Les applications logicielles sont exécutables uniquement sur des ressources activées, et les ressources primaires sont alors prévues pour correspondre à une quantité disponible prédéfinie de ressources nécessaires pour l’exécution des applications logicielles. En outre, en cas d’indisponibilité de ressources primaires, en particulier lors du fonctionnement de la plateforme avionique, c’est-à-dire lors de sa mise en œuvre, des ressources secondaires sont activées pour compenser au moins partiellement lesdites ressources primaires indisponibles. Ainsi, la plateforme avionique selon l’invention permet d’améliorer encore la fiabilité, en proposant un processus de redondance de ressources, en complément de la redondance entre cartes de même type fonctionnel de l’état de la technique. Avantageusement, au moins une carte électronique de calcul, et de préférence chaque carte électronique de calcul, comporte à la fois des ressources primaires et des ressources secondaires. Cela permet d’offrir un processus de redondance de ressources intra-cartes. Avantageusement encore, pour chaque type de ressource, au moins une carte électronique de calcul, et de préférence chaque carte électronique de calcul, comporte à la fois des ressources primaires et des ressources secondaires. Cela permet d’offrir un processus de redondance de ressources intra-cartes et pour chaque type de ressources. Suivant d’autres aspects avantageux de l’invention, la plateforme avionique comprend une ou plusieurs des caractéristiques suivantes, prises isolément ou suivant toutes les combinaisons techniquement possibles : - au moins une carte électronique de calcul comporte à la fois des ressources primaires et des ressources secondaires ; chaque carte électronique de calcul comportant de préférence à la fois des ressources primaires et des ressources secondaires ; - le groupe de carte/s électronique/s de calcul comporte des ressources d’un ou plusieurs types parmi le groupe consistant en : ressource CPU, ressource GPU, ressources communication réseau, ressource mémoire vive et ressource mémoire de stockage ; et le groupe de carte/s électronique/s de calcul comporte alors des ressources primaires et secondaires pour chaque type respectif ; le groupe de carte/s électronique/s de calcul comportant de préférence des ressources de tous les types parmi le groupe précité ; - au moins une carte électronique de calcul comporte, pour chaque type de ressource, à la fois des ressources primaires et des ressources secondaires ; chaque carte électronique de calcul comportant de préférence, pour chaque type de ressource, à la fois des ressources primaires et des ressources secondaires ; - le groupe de carte/s électronique/s de calcul comporte N ressource/s secondaire/s de chaque type pour être résistant/s à N panne/s, N étant un nombre entier supérieur ou égal à 1 ; -l’activation, respectivement la désactivation, de ressources du groupe de carte/s électronique/s de calcul est mise en œuvre de manière logicielle via un orchestrateur de services logiciels d’application/s logicielle/s ; - chaque carte électronique de calcul comporte en outre un ou plusieurs commutateurs de ressource/s ; et l’activation, respectivement la désactivation, de ressources du groupe de carte/s électronique/s de calcul est mise en œuvre de manière matérielle via les commutateurs de ressource/s ; - le groupe de carte/s électronique/s de calcul comporte plusieurs cartes électroniques de calcul, incluant chacune le ou les mêmes types de ressources ; les cartes électroniques du groupe de cartes électroniques de calcul étant de préférence toutes identiques ; - chaque carte électronique de calcul comporte deux demi-cartes, les deux demi-cartes d’une carte électronique de calcul respective étant activables séparément l’une de l’autre, respectivement désactivables séparément l’une de l’autre ; et - l’indisponibilité de ressources primaires est une indisponibilité pour dysfonctionnement ou une indisponibilité pour réduction de consommation électrique. L’invention concerne également un aéronef comprenant une plateforme avionique telle que définie ci-dessus. Ces caractéristiques et avantages de l’invention apparaîtront plus clairement à la lecture de la description qui va suivre, donnée uniquement à titre d’exemple non limitatif, et faite en référence aux dessins annexés, sur lesquels : FIG. 1 la FIG. 1 est une vue schématique d’un aéronef comprenant une plateforme avionique comportant des ressources pour l’exécution de services logiciels d’application/s logicielle/s ; un coffret électronique formant la plateforme avionique, le coffret comportant une carte fond de panier et plusieurs cartes électroniques connectées à la carte fond de panier ; FIG. 2 la FIG. 2 est une représentation schématique d’une architecture matérielle et logicielle de cartes électroniques du coffret de la FIG. 1 ; et FIG. 3 la FIG. 3 est une vue schématique de la plateforme avionique de la FIG. 1 , avec représentation de ressources activées par défaut, dites ressources humaines, et d’autres ressources désactivées par défaut, dites ressources secondaires, ainsi que d’un processus d’activation de ressources secondaires pour compenser une indisponibilité de certaines ressources primaires. Dans la description, ainsi que dans les revendications, les termes « /s » ou « /x » suivant le nom d’un objet signifient que cela désigne un ou plusieurs objets de ce nom, et ces termes sont identiques aux termes « /s » ou « (x) », et pourront être remplacés par ceux-ci s’il en est besoin, sans que cela change le contenu de l’invention. À titre d’exemple, l’expression « d’application/s logicielle/s » signifie alors « d’une ou de plusieurs applications logicielles », l’expression « résistance à panne/s » signifie « résistance à une ou plusieurs pannes », et l’expression « au/x service/s » signifie « au service ou aux services ». Sur la FIG. 1 , un aéronef 10 comprend une plateforme avionique 20, formant de manière générale un serveur embarqué de données (de l’anglais on-board data center ), afin d’offrir différents types de services à bord de l’aéronef 10. La plateforme avionique 20 est par exemple configurée pour offrir des services de cockpit pour un équipage de l’aéronef 10 et/ou des services de maintenance pour le sol et/ou des services de divertissement pour les passagers à bord de l’aéronef 10. La plateforme avionique 20 forme, par exemple, un serveur multimédia configuré pour diffuser, via des terminaux de divertissement non représentés, des contenus multimédias aux passagers de l’aéronef 10, en particulier lors du vol (par exemple des films, des émissions de TV, des jeux ou de la musique), et/ou des informations sur le déroulement du vol (altitude, vitesse, position courante, avancement, etc.). En complément facultatif, le serveur multimédia, formé par la plateforme avionique 20, est configuré pour diffuser des informations pratiques concernant par exemple l’aéroport d’arrivée, par exemple via des annonces sous forme sonore et/ou vidéo. Chaque terminal de divertissement est connu en soi, et est relié au serveur multimédia via un réseau local, non représenté, embarqué à bord de l’aéronef 10 respectif. Chaque terminal de divertissement est par exemple fixé ou intégré dans le siège même du passager, ou bien est fixé ou intégré dans le dossier du siège se trouvant devant le siège du passager. Les sièges sont typiquement agencés en rangées au sein de l’aéronef 10. La plateforme avionique 20 comprend au moins une carte électronique de communication 22, un groupe de carte/s électronique/s de calcul 25, au moins une carte d’alimentation électrique 28, les cartes d’alimentation électrique 28 et électroniques de communication 22 et de calcul 25 étant interconnectées entre elles, par exemple via une carte fond de panier 30, comme représenté sur la FIG. 1 . La plateforme avionique 20 est par exemple réalisée sous forme d’un coffret électronique 32 comportant la carte fond de panier 30, une ou plusieurs cartes électroniques de communication 22, une ou plusieurs cartes électroniques de calcul 25 et une ou plusieurs cartes d’alimentation électrique 28. Chaque carte électronique de communication 22, chaque carte électronique de calcul 25, respectivement chaque carte d’alimentation électrique 28, est connectée à la carte fond de panier 30 via un connecteur fond de panier 34 respectif, comme représenté sur la FIG. 1 . Le coffret électronique 32 comporte en outre un boîtier de protection 36 à l’intérieur duquel sont logées la carte fond de panier 30 et la pluralité de cartes électroniques de communication 22 et de calcul 25 et de carte/s d’alimentation électrique 28 ; ainsi que des connecteurs externes 38 agencés en périphérie du boitier 36. Les connecteurs externes 38 sont notamment destinés à permettre la connexion de la plateforme avionique 20 au réseau local, ainsi qu’à un réseau d’alimentation électrique, non représentés et embarqués à bord de l’aéronef 10. Avantageusement, la plateforme avionique 20 comprend plusieurs cartes 22, 25, 28 d’un même type, à savoir plusieurs cartes électroniques de communication 22, plusieurs cartes électroniques de calcul 25 et plusieurs cartes d’alimentation électrique 28. L’homme du métier comprendra alors que le fait d’avoir plusieurs cartes 22, 25, 28 de même type permet d’améliorer la fiabilité et la disponibilité de la plateforme 20, les cartes de même type étant redondantes entre elles. En outre, le fait d’avoir un nombre élevé de cartes 22, 25, 28, en particulier de cartes électroniques de calcul 25, permet de diminuer la « granularité » de chaque carte 22, 25, 28 au sein du coffret électronique 32, et de réduire alors le coût et le besoin en termes de ressources 40Pour effectuer une redondance satisfaisante des cartes 22, 25, 28. Dans l’exemple de la FIG. 1 , la plateforme avionique 20 comprend deux cartes électroniques de communication 22, six cartes électroniques de calcul 25 et une carte d’alimentation électrique 28. En variante, la plateforme avionique 20 comprend deux cartes électroniques de communication 22, six cartes électroniques de calcul 25 et deux cartes d’alimentation électrique 28, afin d’avoir une redondance pour chaque type de carte. Chaque carte électronique de communication 22 est configurée pour communiquer avec un ou plusieurs équipements, non représentés, externes à la plateforme 20. Chaque carte électronique de communication 22 est également appelée carte d’entrée-sortie, et également notée I/O (de l’anglais Input/Output ) à la FIG. 1 . Chaque carte électronique de calcul 25, également notée C à la FIG. 1 , comporte des ressources 40 et est configurée pour l’exécution d’application/s logicielle/s. Les ressources 40, également appelées ressources matérielles, sont des éléments physiques ou logiques propres à être mis à disposition de la ou des applications logicielles. Les ressources 40 sont, par exemple, réparties en les catégories suivantes visibles à la FIG. 2 : - ressources 40A de type CPU (de l’anglais Central Processing Unit ) ; - ressources 40B de type GPU (de l’anglais Graphics Processing Unit ) ; - ressources 40C de type communication réseau, telles que ressource de type Ethernet, notées ETH sur la FIG. 2 , pour communiquer avec le réseau local embarqué d’une part, et avec un réseau de communication externe à l’aéronef 10 d’autre part, - ressources 40D de type mémoire vive, c’est-à-dire de type RAM (de l’anglais Random Access Memory ) ; et - ressources 40E de type mémoire de stockage, c’est-à-dire de type mémoire de masse (de l’anglais mass memory ), telles que ressources SSD (de l’anglais Solid State Drive ). L’homme du métier comprendra que les ressources de type CPU 40A et de type GPU 40B sont des ressources calculatoires, c’est-à-dire aptes à effectuer des opérations de calcul, les ressources de type GPU 40B étant plus dédiées à du calcul graphique et celles de type CPU 40A à du calcul général. L’homme du métier comprendra également que ces ressources de type CPU 40A et de type GPU 40B, ainsi que les autres ressources de type communication réseau 40C, de type mémoire vive 40D et de type mémoire de stockage 40E, sont réalisées sous forme d’au moins un composant électronique intégrable sur une carte de circuit imprimé, et par exemple sous forme d’un circuit intégré, tel qu’un ASIC (de l’anglais Application Specific Integrated Circuit ), ou sous forme d’un composant logique programmable, tel qu’un FPGA (de l’anglais Field Programmable Gate Array ), ou sous forme d’un microcontrôleur, ou encore sous forme d’un processeur spécifique, tel qu’un processeur spécialisé en traitement du signal ou DSP (de l’anglais Digital Signal Processor ). Le type de composant électronique à utiliser préférentiellement pour réaliser chaque type de ressource parmi les types précités de ressources est connu de l’homme du métier, et n’est alors pas décrite plus en détail. Avantageusement, le groupe de carte/s électronique/s de calcul 25 comporte des ressources 40 de tous les types parmi le groupe précité. Dans l’exemple de la FIG. 3 , chaque carte électronique de calcul 25 comporte des ressources 40 de tous les types parmi le groupe précité. Autrement dit, dans cet exemple, chaque carte électronique de calcul 25 comporte à la fois des ressources 40A de type CPU, des ressources 40B de type GPU, des ressources 40C de type communication réseau, des ressources 40D de type mémoire vive et des ressources 40E de type mémoire de stockage. Le groupe de carte/s électronique/s de calcul 25 comporte plusieurs cartes électroniques de calcul 25, incluant chacune le ou les mêmes types de ressources 40. Avantageusement, les cartes électroniques du groupe de cartes électroniques de calcul 25 sont toutes identiques, c’est-à-dire inclus toutes les mêmes ressources 40A, 40B, 40C, 40D et 40E, comme dans l’exemple de la FIG. 3 . Dans cet exemple de la FIG. 3 , chaque carte électronique de calcul 25 comporte en particulier deux ressources 40A de type CPU, une ressource 40B de type GPU, deux ressources 40C de type communication réseau, quatre ressources 40D de type mémoire vive, et deux ressources 40E de type mémoire de stockage. Sur la FIG. 2 , chaque carte électronique de calcul 25 comporte une couche matérielle 42 (de l’anglais hardware ), une couche logicielle de bas niveau 44 (de l’anglais low-level software ), une couche logicielle de niveau médian 46 (de l’anglais middleware ) et une couche logicielle de haut niveau 48 (de l’anglais high-level software ), ces quatre couches 42, 44, 46 et 48 étant superposées. Lorsqu’avantageusement toutes les cartes électroniques de calcul 25 sont matériellement analogues, voire matériellement identiques, elles possèdent alors toutes la même couche matérielle 42. Avantageusement, toutes les cartes électroniques de calcul 25 possèdent les mêmes couches logicielles, c’est-à-dire respectivement la même couche bas niveau 44, la même couche niveau médian 46 et la même couche haut niveau 48. Autrement dit, la couche bas niveau 44 est unique pour le groupe de cartes électroniques de calcul 25, tout en étant stockée distinctement sur chacune des cartes électroniques de calcul 25. De même, la couche niveau médian 46 est unique pour le groupe de cartes électroniques de calcul 25, tout en étant stockée distinctement sur chacune des cartes électroniques de calcul 25. La couche haut niveau 48 est également unique pour le groupe de cartes électroniques de calcul 25, tout en étant stockée distinctement sur chacune des cartes électroniques de calcul 25. Avantageusement encore, ces couches bas niveau 44, niveau médian 46 et haut niveau 48 sont en outre assemblées en un seul et unique cluster logiciel agrégeant l’ensemble de ces ressources logicielles. Chaque carte d’alimentation électrique 28, également notée P à la FIG. 1 , est configurée pour convertir une énergie électrique reçue, via un ou plusieurs connecteurs externes 38 respectifs, depuis le réseau d’alimentation électrique embarqué à bord de l’aéronef 10 en une autre énergie électrique délivrée aux cartes électroniques de communication 22 et de calcul 25. L’énergie électrique délivrée aux cartes électroniques 22, 25 est typiquement une énergie électrique continue ou énergie DC (de l’anglais Direct Current ), et chaque carte d’alimentation électrique 28 comporte alors un convertisseur alternatif-continu, ou convertisseur AC-DC (AC de l’anglais Alternative Current ), lorsque l’énergie électrique reçue depuis le réseau d’alimentation électrique embarqué est une énergie électrique alternative, ou bien un convertisseur continu-continu, ou convertisseur DC-DC, lorsque ladite énergie électrique reçue est une énergie continue. La couche matérielle 42 de chaque carte électronique de calcul 25 comporte les ressources 40, et typiquement les ressources 40A de type CPU, les ressources 40B de type GPU, les ressources 40C de type communication réseau, les ressources 40D de type mémoire vive, et les ressources 40E de type mémoire de stockage. La couche logicielle de bas niveau 44 comprend une unité 50 de chargement d’un programme d’amorçage (de l’anglais bootloader ), et une unité 52 de fourniture de services de bas niveau comportant par exemple un noyau (de l’anglais kernel ), tel qu’un noyau Linux, et un ou plusieurs pilotes logiciels (de l’anglais driver ). La couche logicielle de niveau médian 46 comprend un orchestrateur 60, un gestionnaire de conteneurs informatiques 62, un gestionnaire de fichiers 64 et un ensemble 66 de fichiers de configuration, l’orchestrateur 60, également appelé dispositif d’orchestration ou encore dispositif de gestion, étant apte à piloter un ou plusieurs services logiciels 70, dits aussi services logiciels unitaires, c’est-à-dire à gérer l’exécution de tels services logiciels 70. Le gestionnaire de conteneurs informatiques 62 de chaque carte électronique de calcul 25 est notamment configuré pour obtenir une liste des conteneurs informatiques, c’est-à-dire des ressources logicielles, présents sur la carte électronique de calcul 25 respective, afin que l’orchestrateur 60 puisse ensuite piloter leur exécution. En outre, le gestionnaire de conteneurs informatiques 62 de l’une des cartes électroniques de calcul 25 est désigné comme gestionnaire maître parmi les gestionnaires 62 des différentes cartes électroniques de calcul 25, chaque gestionnaire 62 de la ou des autres cartes électroniques de calcul 25 étant alors esclave. Le gestionnaire maître de conteneurs informatiques 62 est alors configuré en outre pour obtenir, via chaque gestionnaire esclave 62, une liste des conteneurs informatiques de chaque autre carte de calcul 25, puis pour générer une liste des conteneurs informatiques de toutes les cartes électroniques calcul 25, c’est-à-dire une liste de l’ensemble des ressources logicielles formant le cluster logiciel décrit précédemment. La couche logicielle de haut niveau 48 comprend lesdits services logiciels 70. Lorsque la plateforme avionique 20 forme un serveur de services de cockpit, les services logiciels 70 correspondent par exemple à un service de système non-avionique de type sac de vol électronique ou EFB (de l’anglais Electronic Flight Bag ), déporté accessible par un pilote au travers d’une simple navigateur web, ou encore à un service agrégeant des données météorologiques pour proposer des trajectoires alternatives moins génératrices de trainées de condensation. Lorsque la plateforme avionique 20 forme un serveur de services de maintenance, les services logiciels 70 correspondent par exemple à un service embarqué de maintenance prédictive, ou à des services de « health monitoring » permettant de détecter des seuils critiques dans le fonctionnement des systèmes avioniques. Lorsque la plateforme avionique 20 forme un serveur de services de divertissement, c’est-à-dire le serveur multimédia, les services logiciels 70 correspondent par exemple aux services proposés aux passagers de l’aéronef 10 : vidéo à la demande ou VOD (de l’anglais Video On Demand ), audio à la demande ou AOD (de l’anglais Audio On Demand ), jeux, paramètres du vol (altitude, vitesse, etc.) et de son avancement (par exemple à l’aide d’une « moving map »), annonces audio et/ou vidéo de l’équipage, etc. Selon l’invention, le groupe de carte/s électronique/s de calcul 25 comporte des ressources 40 activées par défaut, dites ressources primaires 40P, et des ressources 40 désactivées par défaut, dites ressources secondaires 40S, les ressources secondaires 40S étant distinctes des ressources primaires 40P, comme représenté sur la FIG. 3 . Sur la FIG. 3 , les ressources primaires 40P sont représentées avec un type de trait différent de celui utilisé pour les ressources secondaires 40S, pour illustrer le fait que les ressources secondaires 40S sont distinctes et séparées des ressources primaires 40P. Dans l’exemple de la FIG. 3 , les ressources primaires 40P, activées par défaut, sont représentées en trait gras, i.e. épais ; et les ressources secondaires 40S, désactivées par défaut, sont représentées en trait fin, par exemple en trait pointillé. Par « par défaut » dans les expressions « ressources activées par défaut », et respectivement « ressources désactivées par défaut », on entend avant une nouvelle mise en œuvre de la plateforme avionique 20, par exemple en sortie d’usine suite à la fabrication de la plateforme avionique 20, ou encore après une reconfiguration logicielle de la plateforme avionique 20, i.e. après un changement de configuration logicielle de la plateforme avionique 20, c’est-à-dire après chargement de nouvelle/s application/s logicielle/s sur la plateforme avionique 20. Un ensemble minimum de ressources, comportant un CPU 40A et un slot de mémoire vive 40D, fait partie des ressources activées par défaut pour pourvoir agir sur une reconfiguration de la plateforme avionique 20, notamment afin de pouvoir exécuter le gestionnaire de conteneurs informatiques 62. Autrement dit, les ressources primaires 40P de chaque carte électronique de calcul 25 comporte typiquement au moins une ressource de type CPU 40A et au moins une ressource de type mémoire vive 40D. La ou les applications logicielles sont exécutables uniquement sur des ressources 40 activées, et une quantité disponible prédéfinie de ressources 40 pour l’exécution d’application/s logicielle/s correspond alors aux ressources primaires 40P. En cas d’indisponibilité de ressources primaires 40P, des ressources secondaires 40S sont alors activées pour compenser au moins partiellement, et de préférence intégralement, i.e. totalement, l’indisponibilité desdites ressources primaires 40P. Dans l’exemple de la FIG. 3 , une carte électronique de calcul 25 (à savoir la quatrième carte de calcul 25 en partant de la gauche) est totalement en défaut, c’est-à-dire hors service, et représentée sous forme barrée par une croix. Toutes les ressources 40 de cette carte de calcul 25 sont alors indisponibles, en particulier ses ressources primaires 40P activées par défaut. Dans cet exemple de la FIG. 3 , des ressources secondaires 40S d’autres cartes électroniques de calcul 25 sont alors activées pour compenser cette indisponibilité des ressources primaires 40P de la carte de calcul 25 en défaut, comme représenté d’une part par la flèche R1 pour illustrer l’activation des ressources secondaires 40S de type mémoire GPU sur la troisième carte électronique de calcul 25 en partant de la gauche venant compenser l’indisponibilité des ressources primaires 40P de type GPU de la carte en défaut, et d’autre part par la flèche R2 pour illustrer l’activation des ressources secondaires 40S de type CPU et mémoire vive sur la cinquième carte de calcul 25 en partant de la gauche venant compenser l’indisponibilité des ressources primaires 40P de type CPU et mémoire vive de la carte en défaut. Dans cet exemple de la FIG. 3 , l’activation des ressources secondaires selon les flèches R1 et R2 vient alors totalement compenser l’indisponibilité des ressources primaires 40P de la carte de calcul 25 en défaut, à savoir de la quatrième carte de calcul 25 en partant de la gauche. L’homme du métier comprendra que les ressources secondaires 40S sélectionnées puis activées, telles que celles pointées par les flèches R1 et R2 dans l’exemple de la FIG. 3 , deviennent alors, après activation, des ressources primaires 40P. Autrement dit, de manière générale, l’activation de ressources secondaires 40S pour compenser une indisponibilité de ressources primaires 40P transforme lesdites ressources secondaires 40S activées en ressources primaires 40P, ces ressources désactivées par défaut devenant activées. L’indisponibilité de ressources primaires 40P est typiquement une indisponibilité pour cause de dysfonctionnement de ces ressources primaires 40P. En variante, l’indisponibilité de ressources primaires 40P est une indisponibilité pour cause de réduction de consommation électrique, cette réduction étant volontaire (afin de réduire alors la consommation électrique de la plateforme avionique 20 au global) ou involontaire (par exemple suite à un dysfonctionnement partiel de la carte d’alimentation électrique 28, ou encore à une baisse de tension sur le réseau d’alimentation électrique embarqué). En complément facultatif, au moins une carte électronique de calcul 25 comporte à la fois des ressources primaires 40P et des ressources secondaires 40S. Dans l’exemple de la FIG. 3 , toutes les cartes électroniques de calcul 25, à l’exception de la troisième carte électronique de calcul 25 en partant de la gauche, comportent à la fois des ressources primaires 40P et des ressources secondaires 40S. Avantageusement, chacune des cartes électroniques de calcul 25 comporte à la fois des ressources primaires 40P et des ressources secondaires 40S. En complément facultatif, au moins une carte électronique de calcul 25 comporte, pour plusieurs types de ressource 40, à la fois des ressources primaires 40P et des ressources secondaires 40S. Dans l’exemple de la FIG. 3 , toutes les cartes électroniques de calcul 25, à l’exception de la troisième carte électronique de calcul 25 en partant de la gauche, comportent, pour plusieurs types de ressource 40, à la fois des ressources primaires 40P et des ressources secondaires 40S. Les types de ressources pour lesquels chacune de ces cinq cartes électroniques de la FIG. 3 comporte à la fois des ressources primaires 40P et des ressources secondaires 40S sont le type CPU (ressources 40A) et le type mémoire vive (ressources 40D). Avantageusement, chaque carte électronique de calcul 25 comporte, pour plusieurs types de ressource 40, à la fois des ressources primaires 40P et des ressources secondaires 40S. En complément facultatif encore, au moins une carte électronique de calcul 25 comporte, pour chaque type de ressource 40, à la fois des ressources primaires 40P et des ressources secondaires 40S. Avantageusement, chaque carte électronique de calcul 25 comporte, pour chaque type de ressource 40, à la fois des ressources primaires 40P et des ressources secondaires 40S. En complément facultatif, le groupe de carte/s électronique/s de calcul 25 comporte N ressource/s secondaire/s 40S de chaque type pour être résistant/s à N panne/s, N étant un nombre entier supérieur ou égal à 1. Selon ce complément, la valeur N du nombre de panne/s est la somme des nombres de ressource/s défaillante/s de chaque type, avec en outre une relation de dépendance par rapport aux ressources de type CPU 40A. La relation de dépendance est que si toutes les ressources de type CPU 40A d’une carte électronique de calcul 25 respective sont défaillantes, alors ladite carte électronique de calcul 25 est considérée comme globalement défaillante, et toutes les autres ressources de type GPU 40B, de type communication réseau 40C, de type mémoire vive 40D, et de type mémoire de stockage 40E de cette carte 25 sont donc comptabilisées comme défaillantes. L’activation, respectivement la désactivation, de ressources 40 du groupe de carte/s électronique/s de calcul 25 est par exemple effectuée de manière logicielle, typiquement via l’orchestrateur 60 de services logiciels 70 d’application/s logicielle/s. En variante, non représentée, chaque carte électronique de calcul 25 comporte en outre un ou plusieurs commutateurs de ressource/s, non représentés. Selon cette variante, l’activation, respectivement la désactivation, de ressources 40 du groupe de carte/s électronique/s de calcul 25 est alors effectuée de manière matérielle, en particulier via lesdits commutateurs de ressource/s et un dispositif électronique d’orchestration, non représenté. Pour l’activation, respectivement la désactivation, de ressources 40 du groupe de carte/s électronique/s de calcul 25, l’orchestrateur 60 ou le dispositif électronique d’orchestration est configuré pour accéder à une liste des ressources primaires 40P et des ressources secondaires 40S courantes, afin de savoir quelles sont les ressources secondaires 40S disponibles suite à la détection d’une indisponibilité de certaines ressources primaires 40P. puis pour sélectionner des ressources secondaires 40S à activer parmi celles disponibles, notamment en fonction du type des ressources primaires 40P détectées comme indisponibles, et enfin pour mettre à jour la liste des ressources primaires 40P et des ressources secondaires 40S en retirant les ressources primaires 40P détectées comme indisponibles et modifiant les ressources secondaires 40S sélectionnées puis activées en ressources primaires 40P. La liste des ressources primaires 40P et des ressources secondaires 40S courantes est par exemple en forme d’un fichier informatique, stocké en mémoire de masse. Dans l’exemple de la FIG. 2 , l’orchestrateur 60 de chaque carte électronique de calcul 25 est par exemple configuré pour gérer la liste des ressources primaires 40P et des ressources secondaires 40S de la carte électronique de calcul 25 respective sur laquelle il est hébergé. En outre, l’orchestrateur 60 de l’une des cartes électroniques de calcul 25 est désigné comme orchestrateur maître parmi les orchestrateurs 60 des différentes cartes électroniques de calcul 25, chaque orchestrateur 60 de la ou des autres cartes électroniques de calcul 25 étant alors esclave. L’orchestrateur 60 maître est alors configuré en outre pour obtenir, via chaque orchestrateur 60 esclave, une liste des ressources primaires 40P et des ressources secondaires 40S de chaque autre carte de calcul 25, puis pour gérer une liste globale des ressources primaires 40P et des ressources secondaires 40S de toutes les cartes électroniques calcul 25, avec en outre une répartition par carte 25 desdites ressources primaires 40P et secondaires 40S. En outre, si l’orchestrateur 60 maître est hébergé sur une carte électronique de calcul 25 qui devient indisponible, telle que la carte de calcul 25 en défaut dans l’exemple de la FIG. 3 , à savoir la quatrième carte en partant de la gauche sur cette figure, alors un nouvel orchestrateur 60 est élu comme orchestrateur maître parmi les orchestrateurs 60 esclaves, afin de poursuivre la gestion de l’exécution des applications logicielles, ainsi que la gestion de la liste globale des ressources primaires 40P et des ressources secondaires 40S de toutes les cartes électroniques calcul 25 disponibles, c’est-à-dire qui ne sont pas en défaut. En variante, la gestion de l’exécution des applications logicielles, ainsi que la gestion de la liste globale des ressources primaires 40P et des ressources secondaires 40S des cartes électroniques calcul 25, est effectuée par un dispositif électronique d’orchestration qui est externe aux cartes électroniques de calcul 25. En complément, si l’indisponibilité des ressources primaires 40P est temporaire et si les ressources primaires 40P retirées de la liste des ressources primaires 40P et des ressources secondaires 40S redeviennent ultérieurement disponibles, alors l’orchestrateur 60 ou le dispositif électronique d’orchestration est configuré en outre pour, suite à cette nouvelle disponibilité des ressources primaires 40P précédemment retirées, modifier la liste des ressources primaires 40P et des ressources secondaires 40S en incluant ces ressources primaires 40P précédemment retirées en tant que nouvelles ressources secondaires 40S. En complément facultatif, non représenté, chaque carte électronique de calcul 25 comporte deux demi-cartes, les deux demi-cartes d’une carte électronique de calcul 25 respective étant activables séparément l’une de l’autre, respectivement désactivables séparément l’une de l’autre. Les deux demi-cartes d’une carte électronique de calcul 25 sont fonctionnellement isolées l’une de l’autre, avec des pistes conductrices séparées, résultant de routages distincts, tout en étant disposées sur un même substrat, i.e. un même support mécanique, et en étant alors liées mécaniquement l’une à l’autre. Avantageusement, les ressources sont de même type d’une demi-carte à l’autre, et préférentiellement identiques d’une demi-carte à l’autre, pour les deux demi-cartes d’une même carte électronique de calcul 25. Ainsi, le fait d’avoir des ressources secondaires 40S désactivées par défaut permet d’avoir une redondance de ressources, en sus d’une simple redondance de cartes électroniques de calcul 25, et ces ressources secondaires 40S forme alors une réserve de ressources 40 pour pallier au moins partiellement à une indisponibilité, pour cause de dysfonctionnement ou de réduction d’énergie, de certaines ressources primaires 40P activées par défaut, et alors prévue par défaut pour exécuter la ou les applications logicielles. Cette compensation en tout ou partie de l’indisponibilité de ressources primaires via l’activation de ressources secondaires permet alors de poursuivre en tout ou partie l’exécution de la ou des applications logicielles. Cette redondance de ressources 40 permet alors d’améliorer la fiabilité de la plateforme avionique 20. Avantageusement, lorsqu’au moins une carte électronique de calcul, et de préférence chaque carte électronique de calcul, comporte à la fois des ressources primaires et des ressources secondaires, et ceci de préférence pour chaque type de ressources, cela offre en outre une redondance de ressources intra-cartes, et de préférence pour chaque type de ressources. On conçoit alors que la plateforme avionique 20 selon l’invention offre un fonctionnement encore plus fiable que la plateforme de l’état de la technique. Plateforme avionique (20) destinée à être embarquée à bord d’un aéronef (10), la plateforme avionique (20) comprenant : - une carte électronique de communication (22) configurée pour communiquer avec un ou plusieurs équipements externes à la plateforme (20) ; - un groupe de carte/s électronique/s de calcul (25), chacune comportant des ressources (40) et étant configurée pour l’exécution d’application/s logicielle/s ; - une carte d’alimentation électrique (28) configurée pour convertir une énergie électrique reçue depuis un réseau d’alimentation électrique embarqué à bord de l’aéronef (10) en une autre énergie électrique délivrée aux cartes électroniques de communication (22) et de calcul (25) ; les cartes d’alimentation électrique (28) et électroniques de communication (22) et de calcul (25) étant interconnectées ; caractérisée en ce que le groupe de carte/s électronique/s de calcul (25) comporte des ressources (40) activées par défaut, dites ressources primaires (40P), et des ressources (40) désactivées par défaut, dites ressources secondaires (40S), les ressources secondaires (40S) étant distinctes des ressources primaires (40P), la ou les applications logicielles étant exécutables uniquement sur des ressources (40) activées, une quantité disponible prédéfinie de ressources (40) pour l’exécution d’application/s logicielle/s correspondant alors aux ressources primaires (40P) ; et en cas d’indisponibilité de ressources primaires (40P), des ressources secondaires (40S) sont activées pour compenser au moins partiellement l’indisponibilité desdites ressources primaires (40P). Plateforme avionique (20) selon la revendication 1, dans laquelle au moins une carte électronique de calcul (25) comporte à la fois des ressources primaires (40P) et des ressources secondaires (40S) ; chaque carte électronique de calcul (25) comportant de préférence à la fois des ressources primaires (40P) et des ressources secondaires (40S). Plateforme avionique (20) selon la revendication 1 ou 2, dans laquelle le groupe de carte/s électronique/s de calcul (25) comporte des ressources (40) d’un ou plusieurs types parmi le groupe consistant en : ressource CPU (40A), ressource GPU (40B), ressources communication réseau (40C), ressource mémoire vive (40D) et ressource mémoire de stockage (40E) ; et le groupe de carte/s électronique/s de calcul (25) comporte alors des ressources primaires (40P) et secondaires pour chaque type respectif ; le groupe de carte/s électronique/s de calcul (25) comportant de préférence des ressources (40) de tous les types parmi le groupe précité. Plateforme avionique (20) selon les revendications 2 et 3, dans laquelle au moins une carte électronique de calcul (25) comporte, pour chaque type de ressource (40), à la fois des ressources primaires (40P) et des ressources secondaires (40S) ; chaque carte électronique de calcul (25) comportant de préférence, pour chaque type de ressource (40), à la fois des ressources primaires (40P) et des ressources secondaires (40S). Plateforme avionique (20) selon l’une quelconque des revendications précédentes, dans laquelle le groupe de carte/s électronique/s de calcul (25) comporte N ressource/s secondaire/s (40S) de chaque type pour être résistant/s à N panne/s, N étant un nombre entier supérieur ou égal à 1. Plateforme avionique (20) selon l’une quelconque des revendications 1 à 5, dans laquelle l’activation, respectivement la désactivation, de ressources (40) du groupe de carte/s électronique/s de calcul (25) est mise en œuvre de manière logicielle via un orchestrateur (60) de services logiciels (70) d’application/s logicielle/s. Plateforme avionique (20) selon l’une quelconque des revendications 1 à 5, dans laquelle chaque carte électronique de calcul (25) comporte en outre un ou plusieurs commutateurs de ressource/s ; et l’activation, respectivement la désactivation, de ressources (40) du groupe de carte/s électronique/s de calcul (25) est mise en œuvre de manière matérielle via les commutateurs de ressource/s. Plateforme avionique (20) selon l’une quelconque des revendications précédentes, dans laquelle le groupe de carte/s électronique/s de calcul (25) comporte plusieurs cartes électroniques de calcul (25), incluant chacune le ou les mêmes types de ressources (40) ; les cartes électroniques du groupe de cartes électroniques de calcul (25) étant de préférence toutes identiques. Plateforme avionique (20) selon l’une quelconque des revendications précédentes, dans laquelle chaque carte électronique de calcul (25) comporte deux demi-cartes, les deux demi-cartes d’une carte électronique de calcul (25) respective étant activables séparément l’une de l’autre, respectivement désactivables séparément l’une de l’autre. Plateforme avionique (20) selon l’une quelconque des revendications précédentes, dans laquelle l’indisponibilité de ressources primaires (40P) est une indisponibilité pour dysfonctionnement ou une indisponibilité pour réduction de consommation électrique. Aéronef (10) caractérisé en ce qu’il comprend une plateforme avionique (20) selon l’une quelconque des revendications précédentes.