INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
En variante, deux solveurs seulement pourraient être proposés à la sélection, i.e. le premier solveur S1 compatible avec les premiers modèles de validation et un seul autre solveur non applicable, ou deux autres solveurs non applicables, aux premiers modèles de validation.
En variante également, plus de trois solveurs pourraient être proposés à la sélection, i.e. le premier solveur S1 et au moins trois autres solveurs non applicables, ou au moins quatre autres solveurs non applicables, aux premiers modèles de validation.
Dans le cas de premiers modèles de validation engendrés en langage de modélisation Simulink sous Matlab, le premier solveur S1 est SLDV. Dans le cas de premiers modèles de validation engendrés en langage de modélisation Modelica, l’éventuel premier solveur S1 doit être un solveur compatible avec les environnements OpenModelica, Dymola ou équivalent.
Pour obtenir les résultats des vérifications réalisées par l’un ou l’autre des solveurs du module fonctionnel solveur 20, le module fonctionnel 22 de la plate-forme logicielle 16 est conçu pour réaliser un affichage de ces résultats.
D’une façon assez générale, un solveur résout un problème de satisfaisabilité, par exemple un problème de satisfaisabilité booléenne ou problème SAT lorsqu’il s’agit d’un solveur SAT ou un problème de satisfaisabilité des théories ou problème SMT lorsqu’il s’agit d’un solveur SMT, selon lequel il s’agit de déterminer s'il existe une assignation des variables d’une formule de logique propositionnelle fournie en entrée du solveur qui rend cette formule vraie. Dans le contexte de la présente invention, la formule de logique propositionnelle est directement corrélée à l’une des propriétés de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32. Le solveur sélectionné à l’aide de l’interface UI 20 produit ainsi une valeur booléenne SAT/UNSAT de vérification de chaque propriété de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32 indiquant si cette propriété de validation est vérifiée ou non pour l’ensemble structuré de spécifications techniques 32. Il produit la valeur SAT avec un exemple qui rend la proposition vraie, ou la valeur UNSAT dans le cas où la proposition n’est jamais vraie. Certains solveurs fournissent une valeur UNKNOWN lorsqu’ils sont confrontés à une situation dans laquelle ils ne peuvent pas prendre de décision booléenne.
En pratique, c’est la négation de chaque propriété de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32 qui est fournie au solveur sélectionné pour que ce dernier puisse retourner un exemple associé à chaque propriété de validation non vérifiée. Notamment, pour une propriété de cohérence, c’est un exemple d’incohérence qui est retourné. Dans le cas où c’est le solveur S1 qui est sélectionné, ce sont directement les négations des premiers modèles de validation engendrés par le module fonctionnel 18 qui sont fournies en entrée du solveur S1 et ce dernier est apte à renvoyer un exemple associé à chaque modèle de validation non vérifié.
Le module fonctionnel d’affichage 22 est plus précisément conçu pour produire un affichage des résultats dans un format éventuellement spécifique au solveur S1.
Ainsi, lorsque c’est le solveur S1 qui est sélectionné via l’interface UI 20 du module fonctionnel solveur 20, ce sont les premiers modèles de validation du module fonctionnel 18 qui sont directement traités par le module fonctionnel solveur 20 et ce sont les résultats du module fonctionnel solveur 20 qui sont directement affichés par le module fonctionnel 22.
En revanche, lorsque c’est l’un des autres solveurs S2, S3 qui est sélectionné via l’interface UI 20 du module fonctionnel solveur 20, conformément aux principes généraux de la présente invention, un traitement doit être effectué sur les premiers modèles de validation fournis par le module fonctionnel 18 (selon les deux flèches horizontales en traits pleins représentées en sortie du module fonctionnel 18) , ou sur les données de l’ensemble structuré de spécifications techniques 32 et les propriétés de validation P1, …, PN (selon les flèches représentées en pointillés), pour obtenir des requêtes exécutables par cet autre solveur. Ainsi, pour chaque autre solveur S2 ou S3 que le premier solveur S1, la plate-forme logicielle 16 comporte un module fonctionnel de génération, à partir de l’ensemble structuré de spécifications techniques 32, de requêtes exécutables par cet autre solveur S2 ou S3 pour la vérification des propriétés de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32.
Les deux modules fonctionnels 24 et 26 de la plate-forme logicielle 16 sont donc respectivement conçus pour engendrer de cette façon des requêtes exploitables par les deux autres solveurs S2 et S3.
De même, lorsque c’est l’un des autres solveurs S2, S3 qui est sélectionné via l’interface UI 20 du module fonctionnel solveur 20, et lorsque les résultats fournis par le premier solveur S1 au module fonctionnel d’affichage 22 sont conformes à un certain format spécifique au solveur S1, il peut être avantageux de prévoir une traduction des résultats fournis vers ce format spécifique avant de les transmettre au module fonctionnel d’affichage 22. Ainsi, pour chaque autre solveur S2 ou S3 que le premier solveur S1, la plate-forme 16 comporte un module fonctionnel de traduction d’un résultat de la vérification des propriétés de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32 fourni par cet autre solveur S2 ou S3 en un résultat dans un format tel qui aurait été fourni par le premier solveur S1 à partir de l’ensemble structuré de spécifications techniques 32 pour la vérification des mêmes propriétés de validation P1, …, PN de l’ensemble structuré de spécifications techniques 32.
Les deux modules fonctionnels 28 et 30 de la plate-forme logicielle 16 sont donc respectivement conçus pour traduire de cette façon les résultats fournis par les deux autres solveurs S2 et S3. Ils ne seront pas davantage détaillés. En effet, il est astucieux de prévoir un module fonctionnel de traduction des résultats de chaque autre solveur que le premier solveur S1, pour uniformiser la présentation des résultats avant de les afficher quel que soit le solveur qui les a fournis. En revanche, à partir du moment où l’idée d’un tel module fonctionnel de traduction est suggérée pour un autre solveur que le premier solveur S1, il est très facile pour l’homme du métier de le programmer sur la base d’une connaissance a priori du format des données de sortie du premier solveur S1 et de celui de cet autre solveur, d’autant plus que les données de sorties reprennent généralement toutes le principe d’un résultat logique de type SAT (avec exemple éventuel), UNSAT et éventuellement UNKNOWN.
Différentes configurations peuvent être envisagées pour chaque module fonctionnel de génération de requêtes exécutables lié à chaque autre solveur. Cela dépend en particulier du langage de modélisation prédéterminé et de son environnement logiciel, ainsi que du solveur considéré.
Comme indiqué plus haut, l’émetteur 13 et l’unité de géolocalisation 14 peuvent être intégrés dans un même circuit intégré 15. Ainsi le dispositif d’alerte 10 peut bénéficier des avantages liés à l’utilisation d’un réseau LPWA dans le cadre de la mise en œuvre de l’unité de géolocalisation 14.
En effet, l’unité de géolocalisation peut mettre en œuvre les possibilités de localisation permises par certains réseaux LPWA, tels que le réseau LoRaWAN™. En complément, ou en alternative, l’unité de géolocalisation 14 peut mettre en œuvre une géolocalisation du type geo-positionnement par satellite, tel que le réseau GPS™, le réseau Galileo™, ou d’un type basé sur les équipements de télécommunication (Wifi™ ou mobile).
Bien entendu et de manière optionnelle, le dispositif d’alerte 10 selon l’invention peut comprendre des éléments complémentaires, non figurés, tels qu’un système de consultation de la capacité restante de la source d’alimentation 11, un système de communication d’urgence apte à appeler, seul ou à travers un téléphone intelligent, les secours.
Un tel système de consultation de la capacité restante de la source d’alimentation peut comprendre un système de communication en champ proche, plus connu sous le sigle anglais NFC pour « near-field communication », configuré pour indiquer lorsqu’il est consulté à partir d’un terminal mobile une information relative à la l’autonomie restante de la source d’alimentation 14. De cette manière, une telle consultation à partir d’un système de communication en champ proche peut se faire sans que cela n’affecte significativement l’autonomie de la source d’alimentation 11.
Le dispositif d’alerte 10 est, d’une manière préférentielle, rendu au moins en partie étanche à l’eau. Il peut, pour se faire, comporter un boitier 16, tel que celui qui est décrit ci-après en référence à la logeant les différents éléments du dispositif d’alerte 10 et présenter une fermeture étanche.
En référence à la et à la , un tel dispositif d’alerte 10 est apte à mettre en œuvre un procédé de transmission d’un signal d’alerte comprenant les étapes suivantes : A) actionnement de l’actionneur 12 pour alimenter l’émetteur 13 et l’unité de géolocalisation 14, B) détermination de l’information de positionnement par l’unité de géolocalisation 14 et fourniture de cette information à l’émetteur 13, C) transmission d’un signal d’alerte par l’émetteur 13 au travers du réseau LPWA 2, ledit signal d’alerte incluant l’information de positionnement, D) réception du signal d’alerte par le serveur 3, E) identification par le serveur 3, à partir de la base de données et de l’identifiant, d’au moins un destinataire correspondant audit dispositif d’alerte 10, F) transmission par le serveur 3 d’un message d’alerte à l’au moins un destinataire au travers d’un service de messagerie 4 sélectionné parmi les services de messagerie internet, les services de messagerie de téléphonie mobile et les services de messagerie téléphonique, G) retour à l’étape B) après un temps donné T tant que l’actionneur 12 reste actionné.
Le signal d’alerte peut ainsi comprendre un identifiant et une information de positionnement. L’information de positionnement peut être fournie par exemple sous la forme de coordonnées géographiques ou sous la forme d’une indication géographique telle qu’un numéro d’antenne relais ou des identifiants de réseau wifi se trouvant à proximité du dispositif d’alerte 10.
Ce retour à l’étape B) peut être réalisé à intervalle de temps donné, par exemple toutes les 5 minutes, le signal d’alerte étant ainsi renvoyé à intervalles réguliers tant que l’actionneur 12 reste actionné. En variante, le retour à l’étape B) peut être réalisé à intervalle de temps grandissant, par exemple, un premier retour 5 minutes après l’actionnement de l’actionneur 12, un deuxième retour 10 minutes après l’actionnement de l’actionneur 12, un troisième retour 20 minutes après l’actionnement de l’actionneur, un quatrième retour 30 minutes après l’actionnement de l’actionneur 12 et ensuite, un retour à l’étape B toutes les 30 minutes, tant que l’actionneur reste activé. Selon une autre possibilité, le temps donné T peut varier en fonction de la détection d’un déplacement du dispositif d’alerte 10, par exemple à partir d’un accéléromètre qui serait intégré au dispositif d’alerte 10. Le temps donné T étant réduit, par exemple toutes les minutes, en cas de déplacement et étant augmenté, dans le cas où le dispositif d’alerte 10 ne se déplace pas, par exemple toutes les heures.
Dans le cadre du présent procédé, lorsque l’utilisateur arrête l’actionnement de l’actionneur 12, l’émetteur 13 peut transmettre un signal de fin d’alerte. De cette manière, le serveur 3 peut transmettre un message de fin d’alerte au travers d’un service de messagerie 4 sélectionné parmi les services de messagerie internet, les services de messagerie de téléphonie mobile et les services de messagerie téléphonique. En alternative, le serveur peut transmettre un tel message de fin d’alerte dans le cas où aucun signal d’alerte n’est retransmis après un temps donné, par exemple 1h.
Un tel arrêt de l’actionnement de l’actionneur 12 peut se faire par exemple, lorsque l’actionneur comprend un interrupteur mécanique, par un passage de l’interrupteur de l’état activé (c’est-à-dire fermé) à l’état désactivé (c’est-à-dire ouvert). Dans le cas où l'actionneur 12 comprend un interrupteur impulsionnel, le passage à l’arrêt de l’actionnement peut être obtenu avec une action particulière sur l’interrupteur ou par un enchaînement particulier, par exemple une action longue sur l’interrupteur ou encore trois actions successives.
Les figures 3A et 3B illustrent un premier exemple de mise en œuvre d’un dispositif d’alerte 10 selon l’invention, dans lequel le dispositif d’alerte 10 équipe un vêtement, ici un blouson 30 de type « bomber » (dénomination anglaise tirée du nom des avions bombardiers dont les équipages utilisaient ce type de blouson).
On notera que le blouson 30 selon ce premier exemple de mise en œuvre d’un dispositif d’alerte 10 est dédié à la sécurisation et à la survie de son utilisateur. De ce fait, le blouson 30 peut comporter, en plus du dispositif d’alerte 10 selon l’invention, les équipements suivants : - un capteur 20 apte à enregistrer des données de l’environnement du dispositif d’alerte 10 préférentiellement sélectionnées parmi des données audio, images et/ou vidéo, - une alarme sonore 25 apte à émettre un son de forte intensité, - un système de poches/équipements 33 repositionnables, par exemple à base d’aimants, afin d’adapter l’équipement 33A de la veste en fonction de la situation de l’utilisateur (protection, survie et/ou confort), - équipement secondaire de sécurité et/ou de survie, non représenté, tel que des panneaux solaires (agencés par exemple au niveau d’une partie dorsale supérieure du blouson 30), un système de communication d’urgence apte à appeler (seul ou à travers un téléphone intelligent) les secours, ou encore un système d’éjection de produit liquide ou gazeux, tel qu’un produit malodorant afin de permettre de l’asperger sur un agresseur de l’utilisateur.
Afin de permettre un tel équipement, le blouson 30 peut présenter les particularités suivantes : - au niveau de sa doublure intérieure, le système de poches/équipements 33 repositionnables basé sur une ou plusieurs surfaces en matériau magnétique telles que des surfaces métalliques ou à magnétisme permanent, - au niveau d’une manche du blouson 30, sur la manche gauche, une poche 31 pour loger le dispositif d’alerte 10 et l’alarme sonore 25 et présentant une ouverture 32 afin de permettre à l’organe d’actionnement 12A, sous la forme d’une languette, de sortir de la poche 31 et ainsi autoriser un actionnement aisé de l’actionneur 12, - un logement, non référencé, conformé pour recevoir le capteur 20 et agencé au niveau de la surface extérieure du blouson afin que le capteur 20 puisse capter l’environnement extérieur du dispositif d’alerte 10 ceci à proximité de l’utilisateur, ledit logement pouvant être conformé pour fournir un montage amovible du capteur 20, par exemple par encliquetage, - un câble (ou fil conducteur électrique) 21 reliant le capteur 20 au dispositif d’alerte 10, la connexion du capteur 20 câble pouvant avantageusement se faire lors de la réception du capteur 20 dans son logement.
L’ouverture 32 de la poche 31 permet à l’organe d’actionnement 12A de sortir et ainsi autoriser un actionnement aisé de l’actionneur 12. De cette manière, l’utilisateur, en cas de suspicion d’un danger, peut facilement attraper l’organe d’actionnement 12A et actionner l’actionneur 12 pour transmettre le signal d’alerte. La poche 31 présente une ouverture comprenant une fermeture, tel qu’une fermeture à glissière (également connue sous la dénomination commerciale fermeture éclaire™). Cette ouverture est préférentiellement aménagée à l’intérieure de la manche. On notera que cette poche 31, avec l’ouverture 32 et l’organe d’actionnement 12A sous forme de languette, permet au blouson 30 de reprendre le style « bomber » tout en offrant un accès discret aux fonctions du dispositif d’alerte 10.
Afin d’autoriser un lavage du blouson 30, chacun du capteur 20 et du dispositif d’alerte 10 est préférentiellement soit rendu résistant au lavage, par exemple par une conception étanche, soit agencé amovible dans respectivement le logement et la poche secrète 31. Le câble 21 connectant le capteur 20 au dispositif d’alerte 10 est conformé pour être résistant au passage à la machine à laver le linge.
Le système de poche/équipement 33 permet d’équiper le blouson/la veste avec différents équipements et/ou poches repositionnables tel qu’un dispositif d’autodéfense autorisé, tel que, en fonction de la législation locale, une bombe lacrymogène ou un pistolet à impulsion électrique, un dispositif de survie, tel qu’un briquet de survie, un dispositif coupe-ceinture/brise-vitre, un sifflet d’avertissement ou un outil polyvalent, ou encore des outils de confort pour le voyage tel que masque pour les yeux, oreiller gonflable, masque visage. L’utilisateur peut ainsi décider des équipements du blouson 30 en fonction de la situation et de ses besoins. La ou les surfaces en matériau magnétique système de poche/équipement peuvent être intégré de manière invisible, par exemple dans la doublure du blouson. Ces surfaces en matériau magnétique permettent de maintenir par aimantation des poches amovibles ou équipements munis eux-mêmes d’un aimant ou d’une pièce métallique .
Selon une possibilité de l’invention, le réseau LPWA peut être le réseau LoRaWAN™. Selon une variante de l’invention, le réseau LPWA peut être le réseau Sigfox™.
Les réseaux LPWA, et en particulier le réseau LoRaWAN™ concernent l’internet des objets (ou IoT pour « Internet of Things » en anglais) qui est une extension d'Internet au monde des objets connectés. L’invention bénéficie ainsi des développements récents apportées par ces technologies.
Ainsi , l’invention peut faire notamment appel au LoRa™ qui se base sur le standard LPWAN (sigle anglais « Low Power Wide Area Network », c’est à dire réseau à couverture large et à faible puissance) et les déclinaisons LPWAN cellulaires comme LTE-M et NB-IoT. LoRa fait donc partie des technologies LPWAN (Low Power Wide Area Network) qui permettent une couverture longue portée tout en consommant une faible puissance.
Ce terme comprend les trois parties suivantes : 1. « Low Power » pour « Faible consommation d’énergie » : en effet la bande passante est si réduite (volume de données transmis très petit) que la pile peut durer 10 ans, contrairement à une batterie de téléphone qu’il faut recharger chaque jour ; 2. « Wide Area » pour « Zone étendue » : cette notion de distance est importante car dans le cas de l’« Internet des Objets » ou « Internet of Things » (IoT), les appareils sont indépendants d’un routeur et peuvent émettre partout que cela soit en haut d’une montagne ou en sous-sol ; 3. « Network » pour « Réseau » : il faut un réseau pour capter la donnée des objets peu importe l’endroit. Il s’agit donc d’un réseau longue portée et bas débit. Ce réseau est basé sur des standards interopérables internationaux qui sont ainsi acceptés par tous les acteurs grâce notamment à la Lora Alliance.
L’émetteur peut être configuré pour transmettre le signal d’alerte à un serveur par l’intermédiaire du réseau LPWA et dans lequel le signal d’alerte comprend un identifiant associé au dispositif d’alerte de telle manière que le serveur soit apte à identifier le dispositif d’alerte dont l’émetteur a transmis ledit signal d’alerte.
Avec une telle identification, il est possible d’identifier le dispositif d’alerte à l’origine du signal d’alerte, et donc l’utilisateur qui est à l’origine de l’actionnement. De cette manière, il est possible d’adapter les opérations à mettre en œuvre en fonction de l’identité de l’utilisateur.
Le serveur peut comprendre une base de données dans laquelle l’identifiant du dispositif d’alerte est associé à au moins un destinataire, le procédé comprenant en outre les étapes suivantes : D) réception du signal d’alerte par le serveur ; E) identification par le serveur, à partir de la base de données et de l’identifiant, de l’au moins un destinataire correspondant audit dispositif d’alerte ; F) transmission par le serveur d’un message d’alerte à l’au moins un destinataire au travers d’un service de messagerie sélectionné parmi les services de messagerie internet, les services de messagerie de téléphonie mobile et les services de messagerie téléphonique.
De cette manière, l’utilisateur est à même de transmettre un message d’alerte aux personnes les plus susceptibles de lui venir en aide.
Le procédé de transmission d’un signal d’alerte peut comprendre une étape G) de retour à l’étape B) après un temps donné (t ≥ T) tant que l’actionneur reste actionné (A=1).
Ainsi, dans le cas où l’utilisateur serait en fuite, ou serait enlevé par un agresseur, les signaux d’alerte permettront d’offrir un suivi de la position de l’utilisateur et ainsi de venir secourir l’utilisateur à l’endroit même où il se trouve.
L’invention concerne en outre un dispositif d’alerte destiné à la transmission d’un signal d’alerte, le dispositif d’alerte comprenant : - une source d’alimentation, - un actionneur, - un émetteur apte à se connecter à un réseau étendu à basse consommation, ci-après réseau LPWA, et à transmettre un signal à partir de ce réseau LPWA, - une unité de géolocalisation configurée pour fournir une information de positionnement du dispositif d’alerte, l’actionneur étant configuré pour connecter la source d’alimentation à l’émetteur et à l’unité de géolocalisation en cas d’un actionnement afin de les alimenter, l’émetteur et l’unité de géolocalisation étant dénués d’alimentation avant l’actionnement de l’actionneur, l’unité de géolocalisation étant configurée pour, lorsqu’elle est alimentée par la source d’alimentation, déterminer l’information de positionnement et fournir cette information à l’émetteur, l’émetteur étant configuré pour transmettre un signal d’alerte par l’émetteur au travers du réseau LPWA, ledit signal d’alerte incluant l’information de positionnement.
Un tel dispositif d’alerte permet la mise en œuvre d’un procédé selon l’invention et donc de bénéficier des avantages qui y sont liés.
De cette manière, le signal d’alerte émis par le dispositif permet d’identifier le dispositif, et donc le propriétaire de ce dernier, qui est à l’origine de l’envoi du signal d’alerte. Ainsi le serveur peut effectuer les opérations préprogrammées pour ce dispositif (et donc utilisateur) en cas de réception d’un signal d’alerte.
Le dispositif peut comprendre un boîtier et un système d’attache destiné s’attacher à un vêtement et/ou un accessoire, le boîtier peut présenter préférentiellement un renfoncement, et l’actionneur peut comprendre avantageusement un interrupteur bistable présentant une première position dans lequel il est ouvert et la source d’alimentation est déconnectée de l’émetteur et de l’unité de géolocalisation, et une deuxième position dans laquelle il est fermé et connecte la source d’alimentation à l’émetteur et à l’unité de géolocalisation.
De cette manière, le dispositif d’alerte selon l’invention peut équiper un utilisateur, ceci d’une manière parfaitement discrète puisque porté attaché à un vêtement, sous-vêtement ou un accessoire tel que sac ou accessoire de mode.
Les figures 1 et 2 illustrent respectivement un dispositif d’alerte 10 apte à transmettre un signal d’alerte en cas de suspicion d’un danger et un ordinogramme d’un procédé de transmission d’un tel signal d’alerte.