Brevet FR3059511A1 — publié le 20180601

MÉTHODE DE SIMULATION D'UN RÉSEAU D'OBJETS CONNECTÉS DESCRIPTION DOMAINE TECHNIQUE L'objet de la présente invention concerne le domaine de la simulation d'un réseau et plus précisément d'un réseau de capteurs sans fil ou WSNs (Wireless Sensor Networks), notamment ceux utilisant une transmission UWB (Ultra Wide Band) obéissant à la norme IEEE 802.15.4. ÉTAT DE LA TECHNIQUE ANTÉRIEURE La conception et le déploiement des noeuds d'un réseau sont des opérations longues et complexes. Pour raccourcir le temps de développement et de mise sur le marché, on recourt généralement à des méthodes de simulation. Ces méthodes de simulation sur ordinateur permettent couramment d'évaluer et de dimensionner une configuration de réseau. Un exemple de méthode de simulation de réseau mobile a été décrit dans le brevet EP-B-1 788 537. Généralement, ces méthodes de simulation font appel à une bibliothèque de modules logiciels en langage C implémentant les différents éléments du réseau et pouvant être exécutés en parallèle. Un exemple d'une telle bibliothèque logicielle, disponible commercialement, est la bibliothèque GloMoSim décrite dans l'article de X. Zeng et al. intitulé « GloMoSim : a library for parallel simulation of large-scale wireless networks » publié dans Proc. of Workshop on Parallel and Distributed Simulation, 1998. Cette bibliothèque a été développée au moyen de Parsec, un langage de simulation parallèle basé sur le langage C. La bibliothèque GloMoSim permet de modéliser les différentes couches de protocole (similaires aux couches de la pile de protocole OSI) et offres des interfaces logicielles (API) entre couches voisines. Le réseau à simuler est partitionné en différentes régions et une seule entité est utilisée pour simuler une seule couche de la pile de protocole de l'ensemble 3059511 2 des noeuds appartenant à une même région. Cette bibliothèque permet de réaliser des outils de simulation ayant de bonnes propriétés en termes de modularité et d'évolutivité (scalabilité). Des méthodes de simulation plus spécifiques ont été envisagées pour les réseaux 5 de capteurs ou d'objets connectés selon le protocole 802.15.4. Ces réseaux ont pour particularité de comporter généralement un très grand nombre de noeuds, de sorte qu'il est difficile de reproduire leur déploiement réel. En outre, l'interface air est critique, des collisions de messages peuvent intervenir et impacter de manière significative les performances réelles du réseau. 10 La thèse de A. Berthe intitulée « Modélisation et simulation de réseaux locaux et personnels sans fil : intégration des couches PHY et MAC » décrit une méthode de simulation d'un réseau selon le protocole 802.15.4 utilisant la bibliothèque logicielle GloMoSim pour les couches OSI supérieures et une modélisation particulière des couches PHY et MAC. 15 Toutefois, si cette méthode de simulation permet de représenter fidèlement le comportement du réseau dans un environnement temps-réel, elle ne permet pas de tester de manière unitaire le code exécuté par chaque noeud ni de valider l'ensemble du réseau. Il n'est pas non plus possible d'estimer précisément la consommation de chaque noeud, alors même que cette consommation est un paramètre critique dans un réseau d'objets 2 0 connectés. L'objet de la présente invention est par conséquent de proposer une méthode de simulation qui permette non seulement de reproduire le comportement temps-réel du réseau mais aussi de tester les codes qui seront programmés dans les différents noeuds ainsi que d'estimer leur consommation. 25 EXPOSÉ DE L'INVENTION La présente invention est définie par une méthode de simulation par ordinateur d'un réseau de noeuds, chaque noeud étant équipé d'un processeur, dans laquelle: 3059511 3 - on instancie une pluralité de plateformes virtuelles sur ledit ordinateur, chaque plateforme virtuelle étant associée à un noeud du réseau et reproduisant le comportement du processeur qui l'équipe ; - on émule sur ledit ordinateur les canaux de transmission entre les noeuds du 5 réseau au moyen d'un bus virtuel représenté par au moins une matrice caractéristique, chaque élément de ladite matrice de connectivité caractérisant une liaison possible entre un noeud source et un noeud destinataire du réseau ; - on applique un scénario de simulation aux plateformes virtuelles et au bus virtuel, le scénario de simulation comprenant l'envoi de messages par des noeuds selon une 10 loi statistique prédéterminée. Selon un premier mode de réalisation, la matrice caractéristique est booléenne, un élément quelconque de la matrice caractéristique associé à une liaison possible entre un noeud source et un noeud destinataire du réseau étant égal à une première valeur binaire si ladite liaison existe et à une seconde valeur binaire, si ladite liaison n'existe pas. 15 Selon un second mode de réalisation, un élément quelconque de la matrice caractéristique, associé à une liaison entre un noeud source et un noeud destinataire du réseau, est égal au coefficient d'atténuation sur ladite liaison. Selon un troisième mode de réalisation, un élément quelconque de la matrice caractéristique, associé à une liaison entre un noeud source et un noeud destinataire du 20 réseau, est égal à la réponse impulsionnelle du canal. Avantageusement, le bus virtuel est caractérisé en outre par une matrice de temps de propagation, chaque élément de cette matrice associé à une liaison entre un noeud source et un noeud destinataire donnant le temps de propagation sur cette liaison. Chaque plateforme virtuelle peut comprendre en outre un module logiciel adapté 25 à former des messages selon un format prédéterminé, comprenant un préambule et une charge utile, la collision d'un premier message émis sur un premier canal avec un second message émis sur un second canal étant déterminée à partir des temps de propagation sur les premier et second canaux ainsi que des tailles du préambule et de la charge utile des premier et second messages. 3059511 4 Chaque plateforme virtuelle associée à un noeud du réseau comprend typiquement un module logiciel émulant un étage RF. Le module logiciel émulant un étage RF est alors relié au bus virtuel via un module logiciel fournissant la forme d'onde d'un signal à transmettre sur ledit bus. 5 Les plateformes virtuelles sont avantageusement reliées à des modules logiciels émulant une transmission de données en des instants suivant une loi statistique prédéterminée. De préférence, chaque plateforme virtuelle comprend un module de surveillance adapté à déterminer en temps réel les modules logiciels actifs au sein de cette plateforme 10 et à en déduire sa consommation en énergie sur un intervalle de temps prédéterminé. Les plateformes virtuelles sont avantageusement définies au moyen du langage SystemC. Ledit réseau de noeuds peut être par exemple un réseau selon la norme IEEE 802.15.4. 15 BRÈVE DESCRIPTION DES DESSINS D'autres caractéristiques et avantages de l'invention apparaîtront à la lecture d'un mode de réalisation préférentiel de l'invention, en faisant référence aux figures jointes parmi lesquelles : 20 La Fig. 1 représente de manière schématique un ordinogramme de la méthode de simulation de réseau selon un mode général de réalisation de l'invention ; La Fig. 2 représente de manière schématique l'architecture de modélisation utilisée par une méthode de simulation, selon un premier mode de réalisation de l'invention ; 25 La Fig. 3 représente de manière schématique l'architecture de modélisation, utilisée par une méthode de simulation selon un second mode de réalisation de l'invention ; 3059511 5 La Fig. 4 représente de manière schématique l'architecture de modélisation d'un objet connecté, utilisée par une méthode de simulation selon le second mode de réalisation de l'invention. 5 EXPOSÉ DÉTAILLÉ DE MODES DE RÉALISATION PARTICULIERS Nous considérerons dans la suite un outil de simulation d'un réseau d'objets connectés, en particulier un réseau utilisant la technologie de transmission UWB (Ultra Wide Band) de type impulsionnel standardisée dans la norme obéissant au protocole IEEE 801.15.4. Le réseau d'objets connectés peut notamment être un réseau de capteurs WSN 10 (Wireless Sensor Network). Un tel réseau comporte généralement plusieurs dizaines à plusieurs centaines de noeuds. L'idée à la base de la présente invention est de simuler le réseau sur un ordinateur en virtualisant les noeuds, c'est-à-dire en émulant le comportement des noeuds par des instances de plateformes virtuelles. Ces plateformes virtuelles sont des modules logiciels 15 créés au-dessus d'une couche d'abstraction HAL (Hardware Abstraction Layer). Il est ainsi possible d'exécuter les codes binaires des noeuds sur les plateformes virtuelles et de simuler fidèlement le réseau réel. La simulation du réseau fait également intervenir un bus virtuel interconnectant les noeuds modélisant les canaux de transmission sur la base d'un modèle dynamique qui sera décrit ci-après. 20 La modélisation des noeuds est avantageusement réalisée en langage SystemC. On rappelle que SystemC est un langage de description matériel à l'aide de C++. Plus précisément, SystemC est constitué par un ensemble de classes C++ qui définissent les entités nécessaires à la description de matériel, tels que des processeurs ou autres machines fonctionnant de manière concurrente. Par ailleurs, le langage SystemC, héritant 25 des fonctionnalités natives du langage C++, permet de décrire des fonctions purement logicielles. Il est alors possible de modéliser des systèmes matériels, logiciels, mixtes voire sans partition précise entre implémentation logicielle et implémentation matérielle. La version 2.2.0 de SystemC a été normalisée auprès de l'IEEE sous le nom de IEEE 1666-2005. 3059511 6 La simulation dans SystemC est gérée par un ordonnanceur (kernel ou noyau). Celui-ci assure la parallélisation des processus ou des modèles exécutés. Le noyau est dit multi-tâche coopératif, autrement dit un seul processus est exécuté à un instant donné et n'est pas préemptible (au sens où il ne peut être interrompu). Le noyau émule la 5 parallélisation en séquençant les processus par petits sauts temporels encore dénommés quantum. A chaque quantum temporel, les échanges entre les objets modélisés sont resynchronisés, de sorte que les différents objets modélisés peuvent interagir. Le langage SystemC est utilisé originellement pour le développement de systèmes SoCs (Systems on Chips), notamment pour modéliser les interactions du coeur ou de 10 plusieurs coeurs de processeur avec le système SoC en cours de développement. L'idée à la base de l'invention est de modéliser les noeuds du réseau comme les éléments d'un système SoC, en d'autres termes d'utiliser les outils de simulation d'un système SoC pour modéliser un réseau (y compris l'interface air), notamment un réseau WSN. Les interfaces de communication des différents objets modélisés échangent des 15 messages. Ces interfaces sont également elles-mêmes modélisées au moyen d'une méthode de modélisation TLM dont on trouvera une description dans l'article de L. Cai et al. intitulé « Transaction level modelling : an overview » publié dans Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pages 19-24, 2003. 20 Enfin, chaque plateforme virtuelle pourra comprendre un module de surveillance capable de déterminer, à tout moment de la simulation, les modules logiciels actifs au sein du noeud ainsi que leurs états respectifs et d'en déduire sa consommation en énergie pendant un intervalle de temps prédéterminé. 25 La Fig. 1 représente de manière schématique un ordinogramme de la méthode de simulation de réseau selon l'invention. Dans une première étape 110, on procède à la modélisation des noeuds du réseau (objets connectés). Pour ce faire, on instancie une pluralité N de plateformes virtuelles sur l'ordinateur hôte chargé de la simulation, où N est le nombre de noeuds du réseau à simuler. Les plateformes virtuelles sont créées grâce à un outil de simulation utilisant un 3059511 7 langage de modélisation tel que le langage SystemC. Par exemple, on pourra faire appel à l'outil GenesisTM de VLAB Works sur SystemC/TLM. Les plateformes virtuelles sont définies de manière à reproduire à l'identique, autrement dit d'émuler, le comportement des processeurs utilisés dans les noeuds du 5 réseau. Par exemple, si les noeuds du réseau sont équipés de processeurs STM32F103, les plateformes virtuelles reproduiront à l'identique le comportement de ces processeurs. Si les noeuds du réseau utilisent des processeurs de différents types, on comprendra que les plateformes virtuelles reproduiront le comportement de ces différents types de processeurs. 10 D'autres modules matériels présents dans les noeuds peuvent en outre être instanciés en sus des processeurs, par exemple des contrôleurs d'interruption (NVIC), des interfaces de communication (SPI, USB), des périphériques et des modules spécifiques à la technologie radio utilisée comme décrit plus loin. A l'étape 120, on interconnecte les objets modélisés à l'étape précédente au 15 moyen d'un bus virtuel qui émule les canaux de transmission entre les noeuds du réseau. Les canaux entre les noeuds du réseau peuvent être représentés par une ou plusieurs matrice(s) caractéristique(s), de taille NxN , caractérisant l'atténuation sur les différents canaux. Les matrices caractéristiques des canaux peuvent dépendre du temps, notamment 20 lorsque les noeuds sont mobiles. Une première matrice caractéristique est la matrice C1 de connectivité des noeuds. La matrice C1 est composée d'éléments binaires, un élément c, associé au canal du noeud i au noeud j étant égal à 1 si un lien radio existe entre ces noeuds et à 0 si ce n'est pas le cas. La matrice C1 est généralement symétrique en raison de la réciprocité des 25 canaux de transmission. Comme mentionné plus haut, la matrice C1 peut dépendre du temps, ce sera par exemple le cas si un lien radio est rompu ou créé entre deux noeuds. Une autre matrice caractéristique peut alternativement ou conjointement donner l'atténuation des liaisons entre les noeuds. 3059511 8 Ainsi, une seconde matrice C2 peut donner les coefficients d'atténuation des différents canaux. Dans le cas d'un réseau mobile, les coefficients d'atténuation dépendent en général de la position des noeuds, de l'environnement ainsi que de la fréquence de transmission du signal radio. 5 D'autres matrices caractéristiques peuvent être conjointement ou alternativement prises en compte pour modéliser la qualité de transmission des différents canaux. Par exemple, on pourra utiliser une matrice caractéristique C3 donnant, pour chaque canal, le taux d'erreur trame (FER), le taux d'erreur bloc (BLER) ou encore le taux d'erreur binaire (BER). 10 La modélisation de la connectivité est avantageusement complétée par une modélisation temporelle des différents canaux. Plus précisément, cette modélisation temporelle se traduit par une matrice symétrique, T, donnant les temps de propagation sur les différents canaux. On notera que l'on pourra regrouper la modélisation de l'atténuation et celle des 15 temps de propagation dans une matrice dont les éléments sont les réponses impulsionnelles des différents canaux de transmission. Ainsi pour un canal donné, on pourra déterminer si celui-ci est monotrajet ou multitrajet ainsi que les coefficients d'atténuation et temps de propagation de chacun de ces trajets. Enfin, le langage SystemC permet de modéliser le retard, dû au temps de 20 propagation, entre l'instant auquel une plateforme virtuelle source émet un message sur le canal de transmission et l'instant où la plateforme virtuelle destinataire le reçoit. A l'étape optionnelle 130, on modélise les messages destinés à être transmis par les noeuds. 25 Cette modélisation est optionnelle dans la mesure où dans la forme la plus simple de modélisation des canaux, à savoir sur la base de la seule matrice C1, on pourra considérer que dès lors qu'un lien existe entre un noeud source et un noeud destinataire, un message transmis par le noeud source est reçu instantanément par le noeud destinataire. 3059511 9 Avantageusement toutefois, les messages sont modélisés dès lors qu'une modélisation temporelle des différents canaux est disponible. La modélisation des messages comprend la durée des messages et, le cas échéant, leur structure. 5 La durée des messages dépend de plusieurs paramètres tels que la taille du préambule et de la charge utile, du débit binaire, du débit du code canal utilisé, du degré de modulation binaire à symbole, etc. Dans le cas où les données sont transmises au moyen de la technologie UWB (définie dans la norme IEEE 802.15.4), la durée du message dépend du débit DR (Data Rate), 10 de la fréquence de répétition des impulsions PRF (Pulse Repetition Frequency), de la longueur du préambule PL (Preamble Length), et de la taille de la charge utile. Une modélisation plus fine des messages consiste à détailler leur structure. Ainsi, pour la technologie UWB, on rappelle qu'un message est transmis sous la forme d'une trame constituée d'un préambule de synchronisation, SHR, permettant au noeud récepteur 15 de synchroniser sa réception sur le message émis, d'un préambule de couche physique, PHY, indiquant au récepteur le débit utilisé dans la charge utile et enfin d'une charge utile, PSDU, contenant les données du message (au niveau MAC). La modélisation des messages permet de détecter une éventuelle collision au niveau d'un récepteur. 20 Selon un premier critère d'interférence, on détectera une collision lorsque deux messages se chevauchent temporellement au niveau d'un récepteur. Connaissant les temps d'émission des différents messages à destination d'un même noeud, les temps de propagation des différents canaux et les tailles de message (préambule et charge utile), il est possible de déterminer si deux messages se chevauchent temporellement lors de la 25 réception par le noeud destinataire. Selon un second critère d'interférence, on détectera une collision uniquement lorsque la charge utile d'une trame chevauche temporellement une autre trame, la troncation du préambule par un interféreur n'étant pas nécessairement rédhibitoire pour recevoir correctement le message. 3059511 10 Selon un troisième critère d'interférence, on ne détectera une collision, si en sus de satisfaire au premier ou au second critère, le rapport de puissance de signal reçu sur interférence est inférieur à un seuil prédéterminé. Ce rapport signal sur interférence pourra être déterminé au moyen des coefficients d'atténuation des liaisons entre noeuds donnés 5 par les éléments de la seconde matrice caractéristique. En cas de collision, le modèle du récepteur peut déterminer le niveau de signal relatif entre les messages ayant collisionné et en déduire à partir de la courbe BER (ou FER ou BLER) en fonction du rapport signal sur bruit la probabilité que le message qui lui était destiné soit erroné. 10 Optionnellement, à l'étape 140, on intègre dans les plateformes virtuelles un modèle de l'étage RF (chip set RF) du transpondeur. Le modèle de l'étage RF fournit une interface de programmation permettant à la plateforme virtuelle de le programmer (comme le processeur peut contrôler l'étage RF du noeud). Optionnellement, à l'étape 150, on modélise les signaux transmis sur les canaux 15 de transmission. Plus précisément on associe à une valeur de bit du message un signal modulé par ce bit. Par exemple dans le cas d'une transmission UWB selon IEEE 802.15.4, la modulation est de type BPM-BPSK (Burst Position Modulation - Binary Phase Shift Keying) c'est-à-dire modulation de position d'une séquence d'impulsions au sein d'une fenêtre temporelle combinée à une inversion de phase. 20 A l'étape 160, on applique un scénario de simulation. Ce scénario pourra définir par exemple la position et/ou les paramètres de déplacement des noeuds (vitesse, accélération) ainsi qu'un modèle statistique d'émission de messages (par exemple paramètre d'une loi de Poisson donnant la probabilité d'émission d'un message). Au terme de la simulation, on pourra évaluer le comportement du réseau en 170. 25 Par exemple, on pourra déterminer la consommation de chacun des noeuds ayant participé au scénario ou encore la qualité de service obtenue sur les différentes liaisons. L'évaluation du comportement du réseau selon un ou plusieurs scénarios permet de valider la configuration matérielle et logicielle des noeuds dans des conditions très proches des conditions réelles. En particulier, les performances du réseau peuvent être évaluées sur la 30 base des codes binaires qui seront effectivement flashes et des processeurs (et le cas 3059511 11 échéant des modules matériels supplémentaires tel que l'étage RF) qui seront effectivement implémentés dans les noeuds du réseau. Le cas échéant, le comportement du réseau selon plusieurs protocoles de communication pourra également être évalué et le protocole le plus performant finalement retenu pour flasher effectivement les codes 5 binaires qui seront flashés dans les différents noeuds. La Fig. 2 représente de manière schématique l'architecture de modélisation utilisée par une méthode de simulation selon un premier mode de réalisation de l'invention. 10 On a désigné par 210 le modèle de scenario. Ce modèle définit la position des noeuds, leurs paramètres de déplacement, les paramètres de la loi statistique des instants d'émission des messages, et de manière plus générale l'ensemble des paramètres permettant de configurer les autres modèles intervenant dans la simulation du réseau. On a représenté en 220 les plateformes virtuelles modélisant les noeuds du réseau 15 (objets connectés), chaque plateforme virtuelle reproduisant le comportement du processeur implémenté dans le noeud correspondant. Les plateformes virtuelles sont connectées au moyen d'un bus virtuel, 230, modélisant les différents canaux de transmission entre les noeuds du réseau. L'ensemble des canaux de transmission est représenté par une ou plusieurs matrices caractéristiques 20 (matrice de connectivité, matrice des coefficients d'atténuation, matrice des temps de propagation, des réponses impulsionnelles, etc.) comme indiqué plus haut. Ces matrices peuvent être fournies au bus virtuel par le modèle de scenario 210 ou bien calculées par le bus virtuel à partir des paramètres fournis par ce dernier. La Fig. 3 représente de manière schématique l'architecture de modélisation, 25 utilisée par une méthode de simulation selon un second mode de réalisation de l'invention. Les éléments 310 et 330 sont respectivement identiques aux éléments 210 et 230 de la Fig. 2. A la différence de l'architecture précédente, les plateformes virtuelles 320 modélisant les objets connectés intègrent en outre un modèle de l'étage RF d'émission/réception (chipset RF), 341. Les paramètres de l'étage RF sont fournis par le 30 modèle de scénario. 3059511 12 L'architecture de modélisation comprend en outre un modèle de signaux, 342, transformant le signal RF en sortie du modèle 320 en une forme d'onde prescrite sur le bus virtuel et, réciproquement, transformant un signal ayant la forme d'onde prescrite en un signal RF d'entrée pour le modèle 320. Par exemple, le modèle de signaux peut être un 5 modèle de signaux UWB lorsque le réseau est conforme au protocole 802.15.4. La Fig. 4 représente de manière schématique l'architecture de modélisation d'un objet connecté, utilisée par une méthode de simulation selon le second mode de réalisation de l'invention. 10 On a représenté en 420 la plateforme virtuelle reproduisant le comportement de l'objet connecté. Celle-ci est connectée d'une part à un module contenant le modèle de scénario, 410, hébergé sur l'ordinateur hôte chargé de la simulation et, d'autre part, au bus virtuel, 430. La plateforme virtuelle est en outre reliée à un module 440 qui lui fournit des données (par exemple des données de mesure) en des instants qui sont générés à partir 15 d'une loi statistique (par exemple loi de Poisson). Les paramètres de la loi statistique sont fournis au module de génération de données 440 par le modèle de scénario 410. Enfin, la plateforme virtuelle 420 peut encore être connectée à un module de simulation de déplacement, 450. Ce module peut générer des interruptions à chaque fois que le noeud se déplace d'une distance supérieure à un pas déterminé. Il peut en outre transmettre des 20 valeurs de vitesse et/ou d'accélération à la plateforme virtuelle. Le modèle de scénario 410 fournit les paramètres de la trajectoire au module de simulation de déplacement 450. Les modules 440 et 450 sont avantageusement modélisés sur l'ordinateur hôte au moyen du langage SystemC. La plateforme virtuelle 420 comprend un modèle de processeur, 421, à savoir celui 25 qui sera effectivement implémenté dans les noeuds du réseau, typiquement un coeur ARM CortexM3. Le modèle de processeur 421 est en outre relié à un contrôleur d'interruptions NVIC (Nested Vectored Interrupt Controller), 422, chargé de gérer et de hiérarchiser les interruptions extérieures. Le modèle de processeur 421 est également relié à un modèle de bus interne 425. Un certain nombre de modules peuvent être également présents sur 30 la plateforme virtuelle et reliés au modèle, tels que des modules modélisant des 3059511 13 périphériques tels qu'une interface entrée/sortie GPIO (General Purpose Input Output), 423, une interface série synchrone SPI (Serial Peripheral Interface), 424, une interface USB, 426. Enfin d'autres modules, tels qu'un module modélisant un générateur d'horloge RTC (Real Time Clock), 427, un module modélisant un timer externe xTIM, 428, un module 5 modélisant un émetteur/récepteur asynchrone UART (Universal Asynchronous Receiver Transmitter), 429, peuvent être également présents sur la plateforme virtuelle et reliés au bus interne 425. Ces différents modules peuvent être décrits au moyen du langage SystemC. Ces différents périphériques peuvent être avantageusement modélisés à partir des données de spécification d'un constructeur de chipset, tel qu'un processeur 10 5TM32F103 de STMicroElectronicsTm. Le modèle de processeur 421 traite les données issues du module de génération de données 440 et génère à partir de ces données des messages à transmettre. Ces messages sont transmis via une interface d'entrée/sortie (ici l'interface SPI), le modèle d'étage RF, 460, et le modèle de signaux (par exemple le modèle de signaux UWB), 470, au 15 bus virtuel 480. REVENDICATIONS1. Méthode de simulation par ordinateur d'un réseau de noeuds, chaque noeud étant équipé d'un processeur, caractérisée en ce que : - on instancie (110) une pluralité de plateformes virtuelles sur ledit ordinateur, chaque plateforme virtuelle étant associée à un noeud du réseau et reproduisant le comportement du processeur qui l'équipe ; - on émule (120) sur ledit ordinateur les canaux de transmission entre les noeuds du réseau au moyen d'un bus virtuel représenté par au moins une matrice caractéristique, chaque élément de ladite matrice de connectivité caractérisant une liaison possible entre un noeud source et un noeud destinataire du réseau ; - on applique (160) un scénario de simulation aux plateformes virtuelles et au bus virtuel, le scénario de simulation comprenant l'envoi de messages par des noeuds selon une loi statistique prédéterminée. 2. Méthode de simulation selon la revendication 1, caractérisée en ce que la matrice caractéristique est booléenne, un élément quelconque de la matrice caractéristique associé à une liaison possible entre un noeud source et un noeud destinataire du réseau étant égal à une première valeur binaire si ladite liaison existe et à une seconde valeur binaire, si ladite liaison n'existe pas. 3. Méthode de simulation selon la revendication 1, caractérisée en ce qu'un élément quelconque de la matrice caractéristique, associé à une liaison entre un noeud source et un noeud destinataire du réseau, est égal au coefficient d'atténuation sur ladite liaison. 3059511 15 4. Méthode de simulation selon la revendication 1, caractérisée en ce qu'un élément quelconque de la matrice caractéristique, associé à une liaison entre un noeud source et un noeud destinataire du réseau, est égal à la réponse impulsionnelle du canal. 5 5. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que le bus virtuel est caractérisé en outre par une matrice de temps de propagation, chaque élément de cette matrice associé à une liaison entre un noeud source et un noeud destinataire donnant le temps de propagation sur cette liaison. 10 6. Méthode de simulation selon la revendication 5, caractérisée en ce que chaque plateforme virtuelle comprend en outre un module logiciel adapté à former des messages selon un format prédéterminé, comprenant un préambule et une charge utile, la collision d'un premier message émis sur un premier canal avec un second message émis sur un second canal étant déterminée à partir des temps de propagation sur les premier et second 15 canaux ainsi que des tailles du préambule et de la charge utile des premier et second messages. 7. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que chaque plateforme virtuelle associée à un noeud du réseau 20 comprend un module logiciel émulant un étage RF. 8. Méthode de simulation selon la revendication 7, caractérisée en ce que le module logiciel émulant un étage RF est relié au bus virtuel via un module logiciel fournissant la forme d'onde d'un signal à transmettre sur ledit bus. 25 9. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que les plateformes virtuelles sont reliées à des modules logiciels (440, 450) émulant une transmission de données en des instants suivant une loi statistique prédéterminée. 3059511 16 10. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que chaque plateforme virtuelle comprend un module de surveillance adapté à déterminer en temps réel les modules logiciels actifs au sein de cette plateforme et à en déduire sa consommation en énergie sur un intervalle de temps prédéterminé. 5 11. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que les plateformes virtuelles sont définies au moyen du langage SystemC. 10 12. Méthode de simulation selon l'une des revendications précédentes, caractérisée en ce que ledit réseau de noeuds est un réseau selon la norme IEEE 802.15.4.