INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Dans un mode de réalisation, la séparation du mélange d’hydrocarbure et d’hydrogène et le stockage de l’hydrocarbure obtenu sont réalisés lorsque la turbine à gaz est à l’arrêt, et de préférence préalablement à une phase transitoire. La séparation et le stockage d’hydrocarbure préalablement au démarrage de la turbine à gaz est particulièrement avantageux afin de garantir une alimentation de la chambre de combustion en quantité d’hydrocarbure suffisante dépourvu, au moins partiellement d’hydrogène, de façon à limiter les risques liés à la présence d’hydrogène lors de la phase transitoire de la turbine à gaz.
Dans un autre mode de réalisation, la séparation du mélange d’hydrocarbure et d’hydrogène et le stockage de l’hydrocarbure obtenu sont réalisés lors du fonctionnement de la turbine à gaz. La séparation et le stockage lors du fonctionnement de la turbine à gaz sont particulièrement avantageux pour ajuster ou remplir de nouveau le réservoir d’hydrocarbure RHC lorsqu’il ne contient pas ou plus une quantité suffisante d’hydrocarbure séparé.
De préférence, la valeur seuil prédéterminée est associée à une quantité d’hydrocarbure requise pour le fonctionnement de la turbine à gaz lors d’au moins une phase transitoire. La séparation du mélange d’hydrocarbure et d’hydrogène et le stockage de l’hydrocarbure obtenu permettant ainsi à la turbine à gaz de posséder une quantité d’hydrocarbure séparé suffisante pour le fonctionnement lors d’une phase transitoire.
Avantageusement, la phase transitoire peut être une phase parmi : l’allumage, le démarrage, l’arrêt, ou encore un changement de mode de combustion de la turbine à gaz.
De préférence, le procédé d’alimentation comprend la mesure du taux d’hydrogène dans l’hydrocarbure préalablement séparé du mélange d’hydrocarbure et d’hydrogène par le circuit de dérivation 8.
Dans l’exemple illustré, la mesure est réalisée par l’analyseur A1 dans le réservoir d’hydrocarbure RHC.
Dans un mode de réalisation, la valeur seuil prédéterminée du taux d’hydrogène dans l’hydrocarbure après une séparation simple par le dispositif de séparation DS1 peut être de 5%.
De plus, le procédé d’alimentation peut comprendre une étape de séparation supplémentaire lorsque le taux d’hydrogène mesuré est supérieur à une valeur seuil d’hydrogène prédéterminée.
La mise en œuvre de la double séparation peut être contrôlée manuelle ou automatiquement par le calculateur de gestion 21.
Selon un exemple, lorsque le taux d’hydrogène dans l’hydrocarbure après une séparation simple par le dispositif de séparation DS1 est supérieur ou égal à 5%, une double séparation peut être mise en œuvre à partir de l’ensemble des dispositifs de séparation DS1 et dispositif de séparation supplémentaire DS2.
De préférence, le taux d’hydrogène est mesuré par l’analyseur A1 dans les premiers instants de l’étape de séparation par le dispositif de séparation DS1 et de l’étape de stockage dans le réservoir d’hydrocarbure RHC de façon à rectifier rapidement le taux d’hydrogène dans l’hydrocarbure destiné à être stocké dans le réservoir d’hydrocarbure RHC.
Selon un autre mode de réalisation, la deuxième séparation par le dispositif de séparation DS2 peut être réalisée après stockage complet de d’hydrocarbure séparé par le dispositif de séparation DS1.
Dans l’exemple illustré, le remplissage du réservoir d’hydrocarbure RHC est réalisé à l’arrêt de la turbine à gaz, avant son démarrage.
- ladite clé privée est configurée pour signer une unique fois ledit système de fichiers ;
- la durée de vie dudit dispositif de sécurisation est également limitée ;
- ledit dispositif de sécurisation est un conteneur Docker.
L’invention a également pour objet un système autonome à utilisant un système d’exploitation associé à un 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é, le système autonome à distance comprenant le dispositif de sécurisation selon la présente invention tel que précité.
Le système autonome à distance proposé selon la présente invention peut également présenter la caractéristique selon laquelle ledit système d’exploitation est un système d’exploitation Linux utilisant le mécanisme de signature fournit par IMA/EVM Linux .
L’invention a également pour objet un procédé 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é,
le procédé comprenant une phase de signature du système de fichiers s’appuyant sur une cryptographie à deux clés comprenant une clé publique et une clé privée, ladite phase de signature du système de fichiers comprenant les étapes suivantes :
- génération et intégration de la clé publique dans le kernel dudit système d’exploitation ;
- génération d’une clé privée de signature dudit système de fichiers, la durée de vie de ladite clé privée étant limitée ;
- signature et sécurisation dudit système de fichiers en utilisant ladite clé privée à durée de vie limitée.
Le procédé 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 :
- le procédé comprend en outre une étape de destruction sécurisée de ladite clé privée, ladite étape de destruction étant mise en œuvre après ladite signature ;
- ladite destruction est un effacement multi-passes ;
- le procédé comprend en outre, après ladite étape de signature, une étape de stockage de ladite clé privée dans un conteneur chiffré dont la clé d’ouverture est générée aléatoirement sans être sauvegardée.
L’invention a également pour objet un programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un ordinateur, mettent en œuvre un procédé de sécurisation d’un système de fichiers d’un système autonome à distance tel que défini ci-dessus.
En vue de la réalisation de ce but, un aspect de l’invention est un pipeline de traitement de données, comprenant une pluralité de micro-services partageant une même structure et configurés pour échanger des données entre eux par l’intermédiaire d’un bus de service d’entreprise, dans lequel chaque micro-service est mis en œuvre au moyen d’un bloc de base comprenant un cœur logique encapsulé par structure logicielle limitée à cinq blocs d’interface chacun en communication avec le cœur logique, dans lequel les cinq blocs d’interface sont : un premier bloc d’interface comprenant une messagerie asynchrone ; un deuxième bloc d’interface configuré pour permettre une communication bidirectionnelle directe de manière synchrone avec le bus de service d’entreprise ; un troisième bloc d’interface configuré pour enregistrer dans un fichier journal l’activité des cinq blocs d’interface et du cœur logique ; un quatrième bloc d’interface configuré pour permettre la lecture et l’écriture de données dans ou vers un stockage permanent de données ; un cinquième bloc d’interface est configuré pour charger la configuration du cœur logique et des quatre autres blocs d’interface mentionnés ci-dessus à partir d’un fichier de configuration.
Un pipeline de traitement de données selon l’invention est particulièrement simple et aisé à mettre en place, à maintenir et à modifier, reposant sur une architecture légère et extrêmement modulaire à base de blocs présentant une même structure et gérables par l’intermédiaires d’un même système d’interfaces.
- chacun des blocs d’interface peut être configuré pour échanger des données avec les autres blocs d’interface ;
- chacun des blocs d’interface peut être configuré pour échanger des données avec les autres blocs d’interface sans passer par le cœur logique ;
- chaque micro-service peut être configuré pour échanger des données avec les autres micro-services du pipeline de données au moyen du bus de service d’entreprise (ESB) via les premiers blocs d’interface ;
- chaque micro-service peut enregistrer son activité interne dans le fichier journal selon un format standardisé commun à la pluralité de micro-services ;
- un enregistrement dans le fichier journal d’un événement d’une activité interne de chaque micro-service peut comprendre au moins une date, une indication de criticité, une identification du micro-service concerné, une identification de l’événement, et une description de l’événement ;
- chaque micro-service peut utiliser un même horodatage pour enregistrer l’activité des cinq blocs d’interface et du cœur logique dans le fichier journal la structure logicielle est unique et partagée entre chacun des micro-services ;
- le deuxième bloc d’interface peut être configuré pour diriger un appel externe vers l’un des quatre autres blocs d’interface ou vers le cœur logique, sur la base d’un identifiant du type d’appel porté par le message ;
- un premier des micro-services peut comprendre un cœur logique configuré pour enregistrer une identité de chacun des micro-services connectés au pipeline de traitement de données ; et
- un second des micro-services peut comprendre un cœur logique configuré pour consulter les identités de chacun des micro-services enregistrées par le cœur logique du premier des micro-services.
La représente un bloc de base de l’infrastructure logicielle selon l’invention ; et
La représente un pipeline de traitement de données selon l’invention, intégrant une pluralités de blocs de base illustrés par la .
DESCRIPTION DETAILLEE DE L’INVENTION Les figures 1 et 2 illustrent l’infrastructure logicielle selon l’invention.
est une représentation schématique de la séquence des étapes du procédé selon un mode de mise en œuvre de l’invention.
est une représentation schématique d’un terminal mobile configuré pour une mise en œuvre de l’invention.
L’invention concerne un procédé 100, 200 d’attestation d’un terminal mobile TM du commerce, destiné à des clients non professionnels, par exemple un téléphone intelligent, de type smartphone en particulier, l’attestation du terminal mobile TM étant réalisée par un serveur S, en vue de l’établissement d’un canal de communication de confiance entre le terminal mobile TM et le serveur S, pour l’exécution d’un paiement, lorsque certaines conditions d’attestation relatives aux terminal mobile TM sont satisfaites.
Le canal de communication de confiance établi lorsque les conditions d’attestation sont satisfaites peut être, par exemple, un canal de communication de confiance et sécurisé, autrement dit un canal de communication entre deux points authentifiés mutuellement et dont la communication est protégée en confidentialité. Un canal de communication sécurisé permet en particulier de garantir l’authenticité et la provenance de la clé, et de se protéger ainsi contre une attaque connue sous le nom d’attaque « par l’homme du milieu ».
Les étapes du procédé 100, 200 d’attestation selon l’invention sont décrites ci-après, en référence à la , en considérant successivement les étapes du procédé 100 mises en œuvre par le terminal mobile TM, présentées de haut en bas le long d’une ligne verticale TM sur la , et les étapes du procédé 200 mises en œuvre par le serveur S, présentées de haut en bas le long d’une ligne verticale S sur la ; les étapes du procédé 100, et du procédé 200 concourent ensemble à l’attestation du terminal mobile TM pour l’exécution d’un paiement.
Le procédé comprend en particulier une phase 110, 210 d’établissement d’un canal de communication de confiance entre le terminal mobile TM et le serveur S, destiné à être utilisé au cours d’une phase 120, 220 de transaction TR qui utilise le canal de communication de confiance CC, CC’ établi et/ou maintenu par le serveur, pour exécuter la transaction TR associée à l’exécution du paiement. Le canal de communication sera désigné par la référence CC lorsqu’il s’agit du canal de communication de confiance établi, et sera désigné par la référence CC’ lorsqu’il s’agit du même canal de communication de confiance établi et maintenu.
La phase d’établissement 110, 210 commence plus particulièrement par une étape de requête 111 d’établissement d’un canal de communication émise par le terminal mobile TM vers le serveur ; à réception 211 par le serveur S de la requête 111, le serveur S transmet 212 vers le terminal mobile TM une requête d’attestation RA, la requête d’attestation étant sélectionnée aléatoirement par le serveur S parmi un sous-ensemble prédéterminé d’une pluralité de requêtes d’attestation, la requête d’attestation définissant une liste de caractéristiques LC du terminal mobile TM. Ainsi un nombre relativement restreint de requêtes d’attestation RA est choisi aléatoirement parmi un nombre important de requêtes d’attestation possibles, de sorte qu’il sera difficile pour un fraudeur de concevoir les réponses requises pour les requêtes d’attestation RA choisies, en écoutant les réponses faites à de précédentes requêtes d’attestation.
Les étapes suivantes, mise en œuvre par le terminal mobile TM sont une étape de réception 112 de la requête d’attestation RA en provenance du serveur S, suivie d’une étape de collecte 113 des informations requises par la requête d’attestation RA ; cette collecte conduit à la création d’une liste de valeurs LV pour le terminal mobile TM, une valeur de la liste de valeurs LV correspondant à une caractéristique de la liste de caractéristiques LC du terminal mobile TM transmise par le serveur S ; autrement dit, chaque caractéristique de la liste de caractéristique LC peut prendre un certain nombre de valeurs particulières pour le terminal mobile TM considéré, de sorte que celui-ci collecte, au cours de l’étape de collecte, la valeur particulière correspondant à une caractéristique donnée de la liste de caractéristique LC.
Par exemple, la liste de caractéristiques LC comprendra au moins l’une des caractéristiques suivantes : présence ou absence d’un module logiciel déterminé parmi les applications installées sur le terminal mobile, marque du terminal mobile, numéro identifiant du terminal mobile, par exemple un numéro de série du terminal mobile, version du système d’exploitation installée sur le terminal mobile, présence ou absence d’un fichier déterminé dans le système de fichiers installé sur le terminal mobile. Pour chacune de ces caractéristiques, le terminal mobile TM collectera une valeur particulière qui lui est propre, de manière à constituer une liste de valeurs LV.
L’étape suivante, mise en œuvre par le terminal mobile TM, est une étape de transmission 114 au serveur S de la liste de valeurs LV.
Les étapes suivantes, mises en œuvre par le serveur S, sont respectivement les étapes de :
- réception 214 de la liste de valeurs LV ; - détermination 215, sur la base de la liste de valeurs LV, d’un niveau de sécurité NS du terminal mobile TM ;
- établissement 216 du canal de communication de confiance CC en fonction du niveau de sécurité NS du terminal mobile TM.
Ainsi, le niveau de sécurité est déterminé 215 en fonction par exemple d’une ou plusieurs des valeurs des caractéristiques suivantes :
-présence ou absence d’un module logiciel déterminé parmi les applications installées sur le terminal mobile,
Ici, la première carte électronique 15a de l’unité de contrôle 15 est disposée à l’intérieur du carter 17 de l’actionneur électromécanique 11, en particulier dans la configuration assemblée de l’actionneur électromécanique 11. En outre, la deuxième carte électronique est disposée à l’intérieur du support de couple 21 de l’actionneur électromécanique 11, en particulier dans la configuration assemblée de l’actionneur électromécanique 11.
Ici, l’unité de contrôle 15 est dépourvue d’un boîtier de réception de la première carte électronique 15a. En d’autres termes, la première carte électronique 15a n’est pas montée dans un boîtier spécifique. Cette première carte électronique 15a est, d’une part, maintenue, notamment enfichée, dans le support de couple 21, en particulier dans une troisième partie centrale 21c du support de couple 21, comme illustré à la , et, d’autre part, maintenue, notamment enfichée, dans un support, non représenté, monté en extrémité du moteur électrique 16, en particulier dans la configuration assemblée de l’actionneur électromécanique 11.
Avantageusement, le support de couple 21 comprend au moins un logement, non représenté.
Ici, la deuxième carte électronique est disposée, autrement dit est configurée pour être disposée, à l’intérieur du logement formé entre les première et deuxième parties 21a, 21b du support de couple 21 et le couvercle 22, en particulier dans la configuration assemblée de l’actionneur électromécanique 11.
Avantageusement, le support de couple 21 comprend au moins un dispositif de sélection 41, en particulier un bouton, pouvant être, par exemple, de type poussoir ou magnétique.
Avantageusement, le support de couple 21 comprend au moins un dispositif d’affichage, non représenté.
Le ou chaque dispositif d’affichage est configuré, notamment, pour afficher une indication visuelle, pouvant être, par exemple, représentative d’un mode de fonctionnement de l’actionneur électromécanique 11, en particulier un mode de configuration ou un mode de commande, ou encore d’un état d’un organe du dispositif d’entraînement motorisé 5.
Ici, le ou chaque dispositif de sélection 41 et le ou chaque dispositif d’affichage sont reliés électriquement, autrement dit sont configurés pour être reliés électriquement, à l’unité de contrôle 15 et, plus précisément, à la deuxième carte électronique de contrôle, en particulier dans la configuration assemblée de l’actionneur électromécanique 11.
A titre d’exemple, la partie 320 du diagramme 300, décrit que quand (INPUT1=TRUE OU INPUT2=TRUE) ET INPUT3=TRUE, la sortie est OUTPUT1=TRUE. A titre d’exemple, les variables booléennes INPUT1, INPUT2 et INPUT3 sont des variables internes d’un détecteur d’une partie opérationnelle d’un système industriel et la variable de sortie OUTPUT1 permet par exemple, l’activation ou non d’un actionneur, tel que par exemple, un piston, un moteur etc. compris dans la partie opérationnelle.
Le symbole 308 décrit par exemple un contact à détection de front positif, ou front montant. L’état du lien à droite du symbole 308 est forcé à la valeur TRUE lorsque le lien à gauche du symbole 308 est à l’état TRUE et que la variable booléenne INPUT4 passe de l’état FALSE à l’état TRUE. La variable booléenne associé au contact 308 est ensuite remise à l’état FALSE.
Les symboles 310 et 314 représentent respectivement un contact inversé et une bobine inversée. L’état des liens à droite des symboles 310 est le ET LOGIQUE entre l’état du lien à gauche du symbole inversé et de l’inverse logique de la variable booléenne associée au symbole.
Le symbole 316 représente une bobine à front descendant. L’état de l’arc de lien à droite est forcé à l’état TRUE lorsque l’état du lien à gauche est TRUE et que l’état de la variable booléenne associée INPUT5 passe de FALSE à TRUE. Le contact 310 passe donc de TRUE à FALSE
Les diagrammes de type Grafcet et/ou Ladder sont des exemples de langages de spécification. Ces langages ne sont bien sûr pas limitatifs et d’autres langages de spécifications peuvent être utilisés et sont connus par la personne du métier.
La est un graphe 400 illustrant un exemple de transducteur fini. Plus particulièrement, le transducteur fini est une machine de Mealy.
Le transducteur fini 400 se caractérise par un ensemble d’état , l’état étant l’état initial du transducteur ainsi qu’un ensemble de transitions . Chaque transition , avec k et relie l’état , appelé alors état source de la transition , vers l’état , appelé alors état destination de la transition . Une transition s’effectue sur la base d’une donnée d’entrée 402, par exemple à valeur binaire, et produit une donnée de sortie 404, par exemple aussi à valeur binaire. Dans d’autres exemples, les entrées et/ou sorties d’un transducteur prennent d’autre forme que des valeurs binaires, ou des séquences de bits et peuvent, par exemple, être des variables booléennes ou des concaténations de valeurs binaires et booléennes.
Dans l’exemple du transducteur fini 400, le transducteur fini prend pour entrée un ensemble de chaînes de bits, chaque bit représentant la valeur d’une variable, et fourni un vecteur de sortie. A titre d’exemple, le transducteur fini traite l’entrée, bit par bit, allant du bit le plus significatif vers le bit le moins significatif. Si le bit le plus significatif de l’entrée est un 1, le transducteur passe de l’état initial vers l’état , via la transition et renvoie un 0. Si le bit le plus significatif est un 0, le transducteur fini passe de l’état vers l’état via la transition et retourne aussi un 0.
Lorsque le transducteur fini est dans l’état , il est configuré pour rester dans cet état lorsque le bit d’entrée est égal à 1, via la transition , et génère en sortie un bit égal à 0. Dans l’état , le transducteur fini est en outre configuré pour passer à l’état , lorsque le bit d’entrée est égal à 0, via la transition , et génère en sortie un bit égal à 1.
Lorsque le transducteur fini est dans l’état , il est configuré pour rester dans cet état lorsque le bit d’entrée est égal à 0, via la transition , et génère en sortie un bit égal à 0. Dans l’état , le transducteur fini est en outre configuré pour passer à l’état , lorsque le bit d’entrée est égal à 1, via la transition , et génère en sortie un bit égal à 1
Ainsi, par exemple, si la valeur de la donnée d’entrée est la séquence de bits successifs 011001, le transducteur emprunte le chemin et la valeur de la donnée de sortie est la séquence de bits 010101.
Un état d’une machine de Mealy correspond à une des combinaisons des étapes de la logique automate. A titre d’exemple, les variables booléennes PCAISSE, GCAISSE, P2_DEVANT etc. sont les entrées permettant l’exécution des transitions. Les actions prises dans l’état destination, par exemple reculer un piston, sont les sorties des transitions.
La est un schéma par bloc représentant un dispositif de traitement 500 selon un mode de réalisation de la présente description. Le dispositif de traitement 500 est par exemple configuré pour mettre en œuvre un procédé d’identification des risques de cyberattaques sur un automate programmable.
Le dispositif de traitement 500 comprend par exemple une unité de traitement 502 (CPU), telle qu’un processeur, et une mémoire non-volatile 504 (NV MEM). Le dispositif de traitement 500 comprend par exemple en outre une mémoire volatile 506 (RAM), par exemple une mémoire à accès aléatoire (en anglais « Random Acces Memory »).
L’unité de traitement 502 est par exemple couplée aux mémoires 504 et 506 par l’intermédiaire d’un bus 508.
Selon un mode de réalisation, la mémoire non-volatile 504 comprend une représentation numérique d’une logique automate, par exemple sous forme d’un fichier de type Grafcet ou de type Ladder. La mémoire non-volatile 504 comprend par exemple en outre des instructions qui, lorsqu’elles sont exécutées par l’unité de traitement 502, permettent de convertir la représentation numérique de la logique automate en une représentation numérique d’un transducteur fini minimal.
Pour cela, la présente invention propose un procédé de fabrication de micro-LED comprenant au moins les étapes suivantes :
i) fournir un empilement comprenant au moins une couche de GaN fortement dopée n, une couche de GaN dopée n, des puits quantiques et une couche de GaN dopée p et une première électrode,
ii) porosifier la couche de GaN fortement dopée n, moyennant quoi une couche de GaN porosifiée est obtenue,