INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
- un module 32 d’activation d’exécution d’au moins une desdites applications logicielles stockées, configuré pour recevoir au moins une requête d’exécution d’au moins une application exécutable d’un dispositif externe de commande et/ou pour valider une condition d’activation d’exécution d’au moins une application logicielle,
-un module 34 de gestion d’une pile d’exécution, configuré pour déterminer, pour chaque application logicielle à exécuter, une allocation de ressources calculatoires locales 26, 28 du dispositif de calcul périphérique 20 pour exécuter tout ou partie de l’application à exécuter, et pour lancer l’exécution locale de ladite partie de l’application à exécuter et requérir, dans le cas où seule une première partie de ladite application est exécutée localement, une exécution distante, par le système de calcul distant 8, d’une deuxième partie de l’application à exécuter, complémentaire de la première partie ;
-un module 36 de gestion de données et résultats, configuré pour consolider et mémoriser les résultats, et communiquer les résultats au dispositif externe de commande et/ou au système de calcul distant.
Les modules 30, 32, 34, 36 sont adaptés à coopérer, comme décrit plus en détail ci-après, pour mettre en œuvre un procédé d’exécution d’applications logicielles tel que décrit plus en détail ci-après.
Selon un autre exemple, le système d’éclairage comporte au moins une source de lumière montée sur le support entrainé en rotation autour de l’axe de rotation.
La est une vue en perspective d’un premier exemple de réalisation d’un poste d’inspection conforme à l’invention.
La est une vue en élévation montrant le poste d’inspection de la dans une première étape caractéristique.
La est une vue de dessus prise sensiblement selon les lignes IIA de la .
La est une vue latérale prise sensiblement selon les lignes IIB de la .
La est un exemple d’une image prise d’un profil d’un récipient, obtenue avec un poste d’inspection conforme à la .
La est une vue en élévation montrant le poste d’inspection de la dans une deuxième étape caractéristique d’inspection d’un récipient.
La est une vue en élévation montrant le poste d’inspection de la dans une troisième étape caractéristique d’inspection du récipient qui suit dans la file le récipient précédemment inspecté.
La est une vue en perspective d’un deuxième exemple de réalisation d’un poste d’inspection conforme à l’invention.
La est une vue en élévation montrant le poste d’inspection de la dans une première étape caractéristique d’inspection d’un récipient.
La est une vue de dessus prise sensiblement selon les lignes VIA de la .
La est une vue latérale prise sensiblement selon les lignes VIB de la .
La est une vue de dessus montrant le poste d’inspection de la dans une deuxième étape caractéristique d’inspection d’un récipient.
La est une vue de dessus montrant le poste d’inspection de la dans une troisième étape caractéristique d’inspection du récipient qui suit dans la file, le récipient précédemment inspecté.
La est une vue de dessus montrant le poste d’inspection de la dans une quatrième étape caractéristique d’inspection.
La section de soufflante 2 comprend en particulier un rotor de soufflante 9 s’étendant en amont d’un stator de soufflante. Les aubes du stator de soufflante sont alors généralement dénommées aubes de sortie ( « Outlet Guide Vane » ou « OGV » en anglais) et présentent un calage fixe par rapport au moyeu du stator de soufflante. Par ailleurs, le taux de dilution du système propulsif 1 est par exemple supérieur ou égal à 10, par exemple compris entre 10 et 20 inclus, par exemple entre 10 et 18 inclus, par exemple entre 10 et 15 inclus. La vitesse périphérique au sommet 21 des aubes du rotor de soufflante 9 peut par ailleurs être comprise entre 260 m/s et 400 m/s. Les aubes 14 du rotor de soufflante 9 peuvent être fixes ou présenter un calage variable. Le rapport de pression de soufflante peut être compris entre 1,20 et 1,45.
Le mécanisme de réduction 19 peut comprendre par exemple un mécanisme de réduction 19 à train d’engrenage épicycloïdal, par exemple de type « épicycloïdal » ou « planétaire » selon la terminologie parfois rencontrée de l’homme du métier, monoétage ou biétage. Selon une première variante, le mécanisme de réduction 19 peut être du type planétaire (« star » en anglais) ( ) et comprendre un pignon solaire 19a (entrée du mécanisme de réduction 19), centré sur un axe X de rotation du mécanisme de réduction 19 (généralement confondu avec l’axe longitudinal X) et configuré pour être entrainé en rotation par l’arbre basse pression 11, une couronne 19b (sortie du mécanisme de réduction 19) coaxiale avec le pignon solaire 19a et configurée pour entrainer en rotation l’arbre de soufflante 20 autour de l’axe X de rotation, et une série de satellites 19c répartis circonférentiellement autour de l’axe X de rotation entre le pignon solaire 19a et la couronne 19b, chaque satellite 19c étant engrené intérieurement avec le pignon solaire 19a et extérieurement avec la couronne 19b. La série de satellites 19c est montée sur un porte-satellites 19d qui est fixe par rapport à une partie stator 19e du système propulsif 1, par exemple par rapport à un carter de la section de compresseur 4, 5. Selon une deuxième variante, le mécanisme de réduction 19 peut être de type « épicycloïdal » (« planetary » en anglais) ( ), auquel cas la couronne 19b est montée fixement sur la partie stator 19e du système propulsif 1 et l’arbre de soufflante 20 est entrainé en rotation par le porte-satellites 19d qui est donc mobile en rotation par rapport à une partie stator 19 e du système propulsif 1, par exemple par rapport à un carter de la section de compresseur 4, 5).
Le taux de réduction du mécanisme de réduction 19 est supérieur ou égal à 2,5 et inférieur ou égal à 11, par exemple supérieur ou égal à 2,7 et inférieur ou égal à 6,0, par exemple autour de 3,0.
Le découplage de l’arbre basse pression 11 et du rotor de soufflante 9 grâce au mécanisme de réduction permet d’obtenir un système propulsif 1 efficace dont le rapport de pression de soufflante est inférieur à 1,45. Par conséquent, la quantité d’énergie pour entrainer le rotor de soufflante 9 est réduite de sorte que le débit en entrée du compresseur haute pression 5 et donc la section d’entrée du compresseur haute pression 5 peuvent être réduits. Cela a cependant pour conséquence de limiter l’espace disponible pour l’arbre basse pression 11 (puisque l’arbre basse pression 11 est logé au sein de l’arbre haute pression 10). De plus, la diminution du débit dans le compresseur haute pression 5 a également pour effet de réduire le débit dans la turbine basse pression, ce qui permet d’augmenter la vitesse de rotation de l’arbre basse pression 11 et de réduire le couple transmis par l’arbre basse pression 11 et son diamètre. Toutefois, la diminution du diamètre de l’arbre basse pression 1 nécessite d’optimiser le comportement dynamique de l’arbre basse pression 11 pour éviter qu’il ne devienne davantage supercritique.
Afin d’optimiser le système propulsif 1 tout en maîtrisant le comportement dynamique de l’arbre basse pression 11, le système propulsif 11 est dimensionné de sorte que le rayon moyen R m_a d’un alésage de la turbine haute pression 7 est au plus égal à : (1) où : BPR est le taux de dilution du système propulsif 1 ; D 9 est le diamètre du rotor de soufflante 9 en millimètres (mm), mesuré dans un plan normal à l’axe de rotation (X) au niveau d’une intersection entre un sommet 21 et un bord d’attaque 22 des aubes 14 du rotor de soufflante (9). A noter que la étant une vue partielle, le diamètre D 9 n’est que partiellement visible ; T e est la température en entrée de la turbine basse pression 8, en degrés Celsius ; T ref = 273 K ; n est le nombre d’étages dans le corps haute pression (c’est-à-dire dans la turbine haute pression 7 et dans le compresseur haute pression 5) ; GAMMA est le coefficient adiabatique de l’air ; K = 6,76, L = 153,6 m -1 .(°C) -1/2 .(tr/min) -1 , M = 421 mm.(°C) 1/2 et N 1 = - 11 millimètres (mm) ; et XN est la vitesse limite (redline speed en anglais) de l’arbre basse pression 11, en tours par minute (tr/min), qui correspond à la vitesse maximale absolue susceptible d’être rencontrée par l’arbre basse pression 11 durant tout le vol (selon le règlement de certification européen EASA CS-E 740 (ou selon le règlement de certification américain 14-CFR Part 33.87)). La vitesse limite correspond à la vitesse de rotation maximale lorsque le système propulsif est sain. Elle est donc susceptible d’être atteinte par l’arbre basse pression 11 en condition de vol. Cette vitesse limite fait partie des données déclarées dans la certification moteur (« type certificate data sheet » en anglais). En effet, cette vitesse de rotation est habituellement utilisée comme vitesse de référence pour le dimensionnement des systèmes propulsifs 1 et dans certains essais de certification (tels que les essais de pertes d’aube ou d’intégrité du rotor).
Le rayon moyen R m_a de l’alésage de la turbine haute pression 7 correspond à la distance, mesurée dans un plan normal à l’axe longitudinal X à mi-distance entre le bord d’attaque 7c et le bord de fuite 7d des aubes mobiles du rotor 7a le plus en amont de la turbine haute pression 7 (c’est-à-dire du rotor 7a du premier étage de la turbine haute pression 7), entre l’alésage du disque du rotor 7a de la turbine haute pression 7 et l’axe de rotation X. L’alésage correspond ici à la face radialement interne du disque du rotor 7a.
CBi = [PBi, Sign(pL, PBi)] : certificat d'un serveur BCKi (certificat statique), comprenant sa clé publique PD et une signature de sa clé publique au moyen de la clé privée pL de l'autorité de certification.
La fonction de signature "Sign" est par exemple générée au moyen d'un algorithme de signature ECDSA basé sur les courbes elliptiques ("Elliptic Curve Digital Signature Algorithm").
L'autorité de certification CA est de préférence détenue par le fabricant du dispositif HW, pour lui permettre de contrôler l'allocation de certificats CBi aux serveurs de sauvegarde BCKi. Les serveurs de sauvegarde BCKi peuvent quant à eux être détenus par le fabricant du dispositif HW, ou être des serveurs de tiers partenaires participant à la mise en œuvre du procédé. Les clés pBi, PBi des serveurs de sauvegarde BCKi sont détenues par leurs modules HSM respectifs, qui prennent en charge les calculs cryptographiques réalisés au moyen de ces clés. Dans ce qui suit et dans un souci de simplification du langage, on considérera que de tels calculs cryptographiques sont réalisés par les serveurs eux-mêmes.
Pour mettre en œuvre un canal de communication sécurisé, un échange de clés est prévu entre le dispositif HW et chaque serveur de sauvegarde BCKi, permettant de générer des clés de session kBi propres à chaque serveur BCKi mais connues du dispositif HW. Cet échange de clés est par exemple un échange de clés Diffie Hellman réalisé conformément aux étapes suivantes :
i) chaque serveur de sauvegarde BCKi génère une paire de clés privée peBi et publique PeBi éphémères au moyen d'un générateur de clés asymétriques, puis communique sa clé publique éphémère PeBi au dispositif HW dans un certificat éphémère CeBi qu'il a signé avec sa clé privée pBi, ainsi que son certificat CBi signé par l'autorité de confiance :
CeBi = [PeBi, Sign(pBi, PeBi)]
CBi = [PBi, Sign(pL, PBi)]
ii) le dispositif HW génère lui-même une paire de clés privée peD et publique PeD éphémères, puis communique sa clé publique éphémère PeD aux serveurs de sauvegarde BCKi dans un certificat éphémère CeD qu'il a signé avec sa clé privée pD, ainsi que son certificat CD signé par l'autorité de confiance, soit :
CeD = [PeD, Sign(pD, PeD)]
CD = [PD, Sign(pL, PD)]
iii) chaque serveur de sauvegarde BCKi vérifie la signature de la clé publique éphémère PeD du dispositif HW au moyen de la clé publique PD présente dans son certificat CD, puis vérifie la signature de la clé publique PD présente dans le certificat CD au moyen de la clé publique PL de l'autorité de certification, ou vice-versa (vérification de la signature de la clé publique PD avant vérification de la signature de la clé publique éphémère PeD),
iv) de même, le dispositif HW vérifie la signature de la clé publique éphémère PeBi de chaque serveur BCKi au moyen de la clé publique PBi présente dans le certificat CB, puis vérifie la signature de la clé publique PBi présente dans le certificat CB au moyen de la clé publique PL de l'autorité de certification, ou vice-versa,
v) chaque serveur de sauvegarde BCKi génère une clé de session éphémère kBi à partir de sa clé privée éphémère peBi et de la clé publique éphémère PeD du dispositif HW, au moyen d'une fonction d'échange de clés telle, par exemple la fonction ECDH (échange de clé Diffie Hellman basée sur les courbes elliptiques ou "Elliptic Curve Diffie–Hellman"), soit :
vi) le dispositif HW génère la clé de session éphémère kBi de chaque serveur de sauvegarde BCKi à partir de sa clé privée éphémère peD et de la clé publique éphémère PeBi du serveur de sauvegarde BCKi, au moyen de la même fonction, soit :
La première solution est basée sur des calculs d’empreintes (de l’anglais hash ) des blocs de la partition du média via un arbre de Merkle, également appelé arbre de hachage, propre à produire une empreinte unique (de l’anglais hash root ) servant de référence pour l’intégrité. Plus précisément, les arbres de Merkle sont des arbres binaires utilisés pour effectuer de la validation de données. Pour ce faire, chaque feuille de l'arbre va contenir l’empreinte cryptographique (hash) correspondant à une partie de la donnée à valider. Chaque nœud de l'arbre va également contenir une empreinte. Cette empreinte est obtenue en concaténant l’empreinte des deux enfants et en passant le résultat dans une fonction pour créer une nouvelle empreinte. Il se construit alors une dépendance générale où la valeur de chaque nœud dépend des valeurs de ses nœuds enfants pour obtenir in fine une empreinte unique ( hash root ). Cette empreinte unique est alors intégrée dans le kernel du système d’exploitation, notamment Linux, et est vérifiée au démarrage et dynamiquement.
Cette première solution est toutefois incompatible avec la mise en œuvre de mises à jour atomiques car l’ajout de l’empreinte dans le kernel modifie inévitablement l’empreinte du secteur du disque contenant le kernel et donc rend caduque l’empreinte unique.
La deuxième solution est basée sur une vérification par signature de l’intégrité et l’authenticité des fichiers, en utilisant par exemple pour un système d’exploitation de type Linux, un sous-système Linux IMA (de l’anglais Integrity Measurement Architecture ) avec le module EVM (de l’anglais Extended Verification Module ).
Cette deuxième solution basée sur une vérification de signature nécessite la création d’un couple de clés privée/publique de cryptographie asymétrique. La clé privée est utilisée pour signer le kernel et le chargeur d’amorçage (de l’anglais bootloader ), tandis que la clé publique est stockée sur le matériel sur lequel s’exécute le système d’exploitation OS, par exemple un processeur iMX6, via l’engravage de son empreinte (de l’anglais hash ) dans le processeur. Cet engravage de la clé publique est notamment effectué en s’appuyant sur un mécanisme physique reposant sur des fusibles OTP (de l’anglais One Time-Programmable ). Ces fusibles présentent la caractéristique de ne pouvoir être écrits qu’une seule et unique fois, tout en pouvant cependant être lus autant de fois que nécessaire. Ils permettent ainsi le stockage sécurisé de la clé publique dans le matériel et ce de manière inaltérable.
Cette deuxième solution présente l’avantage d’être compatible avec la mise en œuvre de mises à jour atomiques car la clé publique peut être ajoutée dans le kernel sans impact sur le calcul d’intégrité tout en permettant la gestion de mise à jour atomique.
Toutefois, une telle gestion de clés s’avère généralement complexe pour la rendre simple et sécurisée industriellement.
En effet, dans ce contexte, il existe actuellement différentes solutions pour sécuriser une clé privée mais qui apportent toutes des contraintes industrielles, techniques et financières quand on doit utiliser ce mécanisme pour signer un système de fichiers.
Une première solution actuelle de sécurisation de la clé privée nécessite une interconnexion avec une infrastructure à clé publique de gestion de clés PKI (de l’anglais Public Key Infrastructure ) mais cela est peu performant, complexe et couteux à mettre en œuvre car cela nécessite par exemple de modifier le logiciel de signature intégré au kernel, notamment le logiciel de signature open source Linux appelé « evmctl », qui est sous licence spécifique « GPLv2 » ce qui n’est pas forcément acceptable industriellement, en effet un tel logiciel de signature n’est pas fait pour se connecter à cette PKI, car il n’est prévu que pour travailler avec une clé privée locale.
Une deuxième solution actuelle de sécurisation de la clé privée implique l’utilisation d’un module local de sécurité matériel HSM (de l’anglais Hardware Security Module ), mais requiert, comme la première solution, également de développer une couche logicielle pour interfacer le logiciel de signature avec le composant HSM qui implique également par ailleurs des coûts élevés.
Une troisième solution actuelle de sécurisation de la clé privée est basée sur l’utilisation d’un module local plateforme de confiance TPM (de l’anglais Trusted Platform Module ) pour stocker la clé privée, mais requiert, comme les solutions précédentes de développer une couche logicielle pour interfacer le logiciel de signature avec le composant TPM, qui rajoute par ailleurs des contraintes sur la machine servant à produire l’image du système de fichiers, en notant que l’utilisation d’un matériel « asset Hardware » complexifie, voire empêche, la production logicielle automatisée sur une informatique en nuage (de l’anglais cloud ).
Une quatrième solution actuelle est basée sur l’utilisation d’une clé privée auto signée en local, ce qui est performant et compatible avec la mise en œuvre de mises à jour atomiques d’un système autonome à distance, mais nécessite en revanche des contraintes organisationnelles complexes pour protéger, tracer, surveiller le ou les accès à la clé privée, telles qu’un stockage sur disque chiffré, avec une sécurité plutôt relative et une difficulté d’identifier une fuite de donnée ou de détecter une compromission (i.e. piratage) de la clé privée. En effet, si la clé privée est interceptée, la confiance dans le système de fichiers est perdue, car l’intercepteur aura le moyen de modifier les contenus tout en validant la vérification avec la clé publique)
L’invention a pour objet de remédier aux inconvénients de l’état de la technique en proposant une solution alternative, plus simple et plus sécurisée industriellement, de création et gestion de couple(s) clés privé/publique dédié(s) à la vérification de signature.
A cet effet, l’invention propose un dispositif de sécurisation d’un système de fichiers d’un système autonome à distance, ledit système autonome à distance utilisant un système d’exploitation associé audit système de fichiers dudit système autonome à distance, le système autonome à distance utilisant en outre une double partition de système de fichiers permettant des mises à jour A/B, ledit système autonome à distance étant en outre propre à être mis à jour par mise à jour atomique, le système autonome à distance comprenant en outre un outil de démarrage sécurisé, ledit dispositif de sécurisation étant configuré pour signer ledit système de fichiers en s’appuyant sur une cryptographie asymétrique à deux clés comprenant une clé publique et une clé privée, la clé publique étant intégrée dans le kernel dudit système d’exploitation, la durée de vie de ladite clé privée étant limitée, lesdites deux clés publique et privée étant regénérées par ledit dispositif de sécurisation à chaque production d’une nouvelle mise à jour atomique dudit système autonome à distance.
Ainsi la présente invention apporte une solution à la sécurisation de la clé privée dans le cas d’une solution à base de clé auto-signée afin de conserver un mécanisme simple à mettre en œuvre plutôt que de passer par une autorité externe pour générer les clés.
Plus précisément, la solution selon la présente invention utilise une clé privée volatile au sens où sa durée de vie est limitée et où les deux clés publique et privée sont regénérées par le dispositif de sécurisation à chaque production d’une nouvelle mise à jour atomique du système autonome à distance. Ainsi la complexité de sécurisation de cette clé privée, dont le besoin est quasi inexistant, car très limité dans le temps, est réduite, et la mise à jour du système de fichiers repassera par une mise à jour complète du système autonome à distance avec un nouveau couple de clé publique/privée associée à cette production en tant que telle de cette nouvelle mise à jour, une même mise à jour pouvant par la suite être diffusée à plusieurs systèmes autonomes à distance distincts.
Le dispositif de sécurisation d’un système de fichiers d’un système autonome à distance proposé selon la présente invention peut également présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou selon toutes les combinaisons techniquement envisageables :
L’analyseur supplémentaire A3 est avantageux pour mesurer le taux d’hydrogène du mélange d’hydrocarbure et d’hydrogène dans la section d’injection 6, directement admis dans la chambre de combustion 2 via la vanne V3.
De préférence, le circuit de dérivation 8 comprend avantageusement un dispositif de séparation supplémentaire DS2 disposé, dans l’exemple illustré, en aval du dispositif de séparation DS1 et en amont du réservoir d’hydrocarbure RHC.
Le dispositif de séparation supplémentaire DS2 permet de réaliser une séparation supplémentaire de l’hydrogène présent dans l’hydrocarbure, préalablement séparé par le dispositif de séparation DS1, en fonction du taux d’hydrogène mesuré par l’analyseur A1 en aval du dispositif de séparation DS1 autrement dit, lorsqu’une amélioration de l’efficacité de la séparation est nécessaire.
Une quatrième portion 12 du circuit de dérivation 8 raccorde le dispositif de séparation DS1 et le dispositif de séparation supplémentaire DS2.
Une vanne V10 est avantageusement disposée entre le dispositif de séparation DS1 et le dispositif de séparation supplémentaire DS2.
Une cinquième portion 13 du circuit de dérivation 8 raccorde le dispositif de séparation supplémentaire DS2 et la deuxième portion 10 du circuit de dérivation 8, en amont du réservoir d’hydrocarbure RHC, de préférence entre les vannes V7 et V9.
L’hydrogène séparé par le dispositif de séparation DS1 est acheminé vers le réservoir d’hydrogène RH 2 par une sixième portion 14 du circuit de dérivation 8.
L’hydrogène séparé par le dispositif de séparation supplémentaire DS2 est acheminé vers le réservoir d’hydrogène RH 2 par une septième portion 15 du circuit de dérivation 8.
Une huitième portion 16 raccorde le réservoir d’hydrogène RH 2 à la section d’injection 6 de la ligne d’alimentation 3 pour l’injection d’hydrogène préalablement séparé de l’hydrocarbure dans la chambre de combustion ou d’un nouveau mélange d’hydrocarbure et d’hydrogène dont les taux peuvent être contrôlés, selon le mode de fonctionnement de la turbine à gaz.
Avantageusement, des clapets anti-retour sont positionnés sur les sixième, septième, huitième portions 14, 15 et 16, ainsi que sur la deuxième portion 10, en aval du réservoir d’hydrocarbure RHC.
De préférence, un évent 17, 18 est disposé sur les réservoirs d’hydrocarbure RHC et d’hydrogène RH 2 .
De plus, un évent 19 peut également être disposé sur la huitième portion 16 du circuit de dérivation 8, en aval de la vanne V6.
De préférence, un évent 20 est également disposé sur la section d’injection 6 de la ligne d’alimentation 3, en aval du circuit de dérivation 8. L’ouverture et la fermeture de l’évent 20 sont contrôlées par une vanne V12 afin de purger la section d’injection 6.
L’ouverture et la fermeture de chacun des évents 17, 18, 19 et 20 sont avantageusement contrôlées par une vanne propre.