EA2014 OSforWSN
Présentation
- Enseignants : Georges-Pierre Bonneau, Didier Donsez (EA2014)
- Sujet : OS for WSN
- Date : 10 octobre 2014
- Auteur : El Hadji Malick FALL <El-Hadji-Malick.Fall@e.ujf-grenoble.fr>
- Lien vers les slides de la présentation : [1]
Résumé
Un réseau de capteurs sans fils (wireless sensor network) est un réseau informatique constitué de plusieurs capteurs appelés nœuds. Ces nœuds, chargés de relever et de router les informations relevées sur une zone couverte, sont constitués au minimum d’un micro-processeur d’une mémoire vive, d’une interface radio, de micro-capteurs et d’une source d'énergie.
L’utilisation des capteurs sans fil est aujourd’hui de plus en plus demandée dans de nombreux domaines, dans le cadre de la supervision et la sécurité. Ainsi, pour améliorer la performance de ces réseaux de capteurs, des systèmes d’exploitation comme TinyOS sont mis en place pour gérer les ressources limitées telles que l’énergie.
Mots Clés
Réseau, capteur, sans fil, nœud, système d'exploitation, performance, ressources limitées
Abstract
A wireless sensor network is a computer network consisting of multiple sensors called nodes. These nodes, responsible for retrieving and routing information collected on a covered area, consist of at least a microprocessor, a RAM, a radio interface, micro-sensors and a source of energy.
The use of wireless sensors is now increasingly requiered in many fields, for the supervision and security. Thus, to improve the performance of these sensor networks, operating systems such as TinyOS are set up in order to manage limited resources such as energy.
Key Words
Network, sensor, wireless, node, operating system, performance, limited resources
Synthèse
Un capteur en réseau est défini comme un ensemble d’éléments électroniques de taille réduite, composé essentiellement d'un détecteur, d'un microcontrôleur, d’une batterie, d'un émetteur-récepteur et d'une antenne. Ces capteurs peuvent être reliés ensemble pour former un réseau sans fil. Un réseau de capteurs sans fil est donc un réseau ad hoc composé d’un grand nombre de noeuds qui désignent ces capteurs capables de récolter, de transmettre et renseigner sur plusieurs données de manière autonome.
L’utilisation des capteurs sans fil est aujourd’hui de plus en plus requise dans des domaines tels que la supervision et la sécurité. Ils se basent sur des protocoles pour communiquer entre eux et proposent des programmes et des réseaux embarqués. A leur début, ces capteurs étaient uniquement composé d’un système dédié à une application précise (Par exemple, capteur permettant de relever la température ambiante d’un milieu, est uniquement constitué d’un thermomètre électronique et d’un afficheur digital). Avec de nouvelles contraintes comme la recherche applicative, ils sont aujourd’hui gérés par des systèmes d’exploitation spécialisés.
Ces systèmes d’exploitation pour capteur en réseau, appelés également WSN, sont par conséquent des systèmes d'exploitation embarqués au sein de capteurs en réseau. Développé et soutenu par l’université américaine de Berkeley, TinyOS est un des premiers systèmes d'exploitation conçus pour les réseaux de capteurs. Il est aujourd’hui le plus répandu et celui qui nous intéressera en particulier.
Les systèmes d'exploitation pour réseaux de capteurs et leurs caractéristiques
Les nœuds qui composent un réseau de capteur subissent de nombreuse contraintes. Ils sont tout d’abord limités par la capacité de leur batterie, la puissance de leur processeur et leur faible capacité de communication.
Un système d’exploitation devient alors nécessaire. En se présentant comme une interface entre les ressources matérielles limitées et des applications distribuées, il permet de faciliter la programmation des applications, mais aussi d’optimiser les utilisations de ressources. En effet il est capable de de gérer de nombreuses tâches telles que l’allocation de ressource sur les périphériques, l’interruption et la gestion et la planification de tâches, sans oublier la gestion du réseau support.
Architecture
L’architecture d'un système d'exploitation ainsi que sur la façon de fournir des services aux programmes d'application sont des caractéristiques essentielles.
Nous distinguons 4 types quatre types d'architectures de système d'exploitation :
- Monolithique : Les services fournis par le système d'exploitation sont mis en œuvre séparément et chaque service fournit une interface pour d'autres services.
- Micro Noyau : le noyau fournit le strict minimum pour assurer le fonctionnement du système. La plupart des fonctionnalités du système d'exploitation est fournie via des serveurs au niveau utilisateur comme un serveur de fichiers, un serveur de mémoire
- Modulaire ou composant : le système d'exploitation met en œuvre des services sous la forme de couches.
- Machine virtuelle : Le principe d'une machine virtuelle est d'intégrer le système d'exploitation à l'application de l'utilisateur
Modèle d’exécution et ordonnancement
On distingue 3 modèles d'exécution pour les réseaux de capteurs :
- Événementiel (Event-based) : qui donne la priorité aux événements.
- Multi Thread (Thread-based) : gestion de la préemption et de la concurrence
- Hybrid : qui combine les 2 modèles précédents
En ce qui concerne l’ordonnancement, il y a deux catégories :
- L'ordonnancement en temps réel pour les applications en temps réel
- L’ordonnancement en temps partagé adapté aux événements asynchrones
TinyOS
TinyOS est un système d’exploitation open-source conçu pour des réseaux de capteurs sans fil. Il a été créé pour répondre aux caractéristiques et aux nécessités des réseaux de capteurs, que sont :
- Une taille de mémoire réduite.
- Une basse consommation d’énergie.
- Des opérations d’assistance intensive.
- Des opérations robustes.
- L’optimisation en termes d’usage de mémoire et d’énergie.
Notions principales
TinyOS est plus qu’un automate. Il repose sur une architecture basée sur une association de composants, réduisant la taille du code nécessaire à sa mise en place. Cette plate-forme logicielle ouverte, ainsi qu'une série d'outils, développés à la base par l'Université de Berkeley sont enrichis par une multitude d'utilisateurs. Les composants sont constitués d’une frame, de tâches et d’interfaces.
- Les frames contiennent l’état interne du composant. Il s’agit d’un espace mémoire de taille fixe réservée, permettant au composant de stocker les variables globales et les données qu’il utilise pour réaliser ses fonctionnalités. Il n’existe qu’une seule par composant et celle-ci est allouée statiquement à la compilation.
- Les tâches elles contiennent l’implémentation des fonctions métiers. Elle se subdivisent en deux catégories : les commandes et les évènements.
- Les interfaces représentent le descriptif de ces fonctions.
Il y a deux types de composants :
- Les modules
- Les configurations
TinyOS repose sur l’idéologie suivante : “Hurry up and sleep” (“Effectuer rapidement la tâche et se mettre en veille”). Ainsi il se met automatiquement en veille lorsqu’aucune tâche n’est active.
Il est aussi dit event-driven, c’est à dire que le fonctionnement du système s’appuie sur la gestion des évènements se produisant. Ces événements déclenchent à leur apparition l’activation de tâches, leur interruption ou encore la mise en veille du capteur. Par ailleurs, TinyOS ne gère pas le mécanisme de préemption entre les tâches mais donne la priorité aux interruptions matérielles. Il n’est pas prévu pour avoir un fonctionnement temps réel.
L’allocation mémoire TinyOS ne nécessite pas beaucoup de place mémoire.Il n’a besoin que de 300 à 400 octets dans le cadre d’une distribution minimale. Il est primordial d’avoir 4 Ko de mémoire libre. L’allocation de la mémoire se fait de façon statique. On distingue dans celle-ci :
- La pile : Elle sert de mémoire temporaire pour l’empilement et le dépilement des variables locales.
- Les variables globales : Elles réservent un espace mémoire pour stocker des valeurs pouvant être accessibles depuis différentes tâches.
- La mémoire libre : Pour tout le reste du stockage temporaire. La notion d’allocation dynamique de mémoire n’est pas prise en charge dans le système, ni les pointeurs de fonctions
L’allocation de ressources
L’Ordonnanceur TinyOS est caractérisé par ces deux niveaux de priorité (bas pour les tâches, haut pour les événements) et sa file d’attente FIFO (disposant d’une capacité de 7).
Le langage : NesC
NesC est un langage de programmation dérivé du langage C, conçu pour minimiser l’utilisation de mémoire et de puissance de calcul par les capteurs, qui très souvent disposent de ressources très limitées (batterie de faible puissance et non changeable, mémoire réduite...). Il est ainsi essentiellement dédié pour la réalisation de systèmes embarqués distribués. Il cible en particulier l’implémentation d’applications pour les réseaux de capteurs. Il offre donc une réactivité importante vis-à-vis de l’environnement, une gestion de la concurrence même intensive et un support de communication. Il propose de nombreuses optimisations pour diminuer l’occupation de l’espace mémoire.
NesC permet la décomposition d’une application en « modules » réutilisables en fournissant d’abord trois abstractions de programmation : les interfaces, les modules et les configurations.
Les interfaces spécifient un ensemble de fonctions, appelées commandes :
Interface Timer {
command result_t start(char type, uint32_t interval);
command result_t stop();
event result_t fired();
}
Eléments de base de la programmation, les modules permettent d’implémenter les composants.
module NomModuleM {
provides {
//liste des interfaces fournies, ex :
interface NomInterfaceFournie1 ;
}
uses {
//liste des interfaces requises, ex :
interface NomInterfaceRequise1 ;
}
}
implementation {
//déclarations des variables, ex :
int state ;
//implementations des fonctions decrites par les
//interfaces fournies ;
}
Les configurations sont constituées de modules et/ou d’interfaces ainsi que de la description des liaisons entre ces composants.
configuration NomModule {
}
implementation {
//liste des modules et configurations utilises, ex :
components Main,Module1,...,ModuleN,Config1,...,ConfigM ;
//descriptifs des liaisons
//Interface fournie <- Interface requise ou
//Interface requise -> interface fournie, ex :
Main.StdControl -> Module1.StdControl ;
}
Le simulateur TOSSIM
TOSSIM est un simulateur à événements discrets pour les réseaux de capteurs TinyOS. Il permet aux utilisateurs de déboguer, tester et analyser des algorithmes dans un environnement contrôlé et reproductible. Sachant que TOSSIM fonctionne sur un PC, les utilisateurs peuvent examiner leur code de TinyOS en utilisant les débogueurs et autres outils de développement. L'objectif principal de TOSSIM est de fournir une simulation de haute fidélité de demandes TinyOS. Pour cette raison, il se concentre sur la simulation TinyOS et son exécution, au lieu de la simulation du monde réel. Alors que TOSSIM peut être utilisée pour comprendre les causes du comportement observé dans le monde réel, il ne saisit pas tous d'entre eux, et ne doit pas être utilisé pour les évaluations absolues.
TOSSIM dispose d'une GUI JTOSSIM. Il permet de définir les paramètres de simulation (comme les paramètres de la radio et la topologie du réseau) et offre une visualisation différente des résultats des simulations.
Domaines d’utilisation
La répartition des applications dépend du but pour lequel les capteurs en réseau sont utilisés. Nous pouvons distinguer quatre domaines majeurs :
- Domaine militaire (espionnage)
- Environnemental (contrôle de la température ambiante, de la lumière, de l'air conditionné, de la qualité de l'air)
- Santé (traçage de l'utilisation des médicaments par les patients et les médecins dans les hôpitaux)
- Industrie (contrôle du niveau de liquide dans des réservoirs à carburant multiple dans le raffinage de pétrole et des installations de stockage)
Conclusion
En conclusion, l'apport d'une ingénierie logicielle sur les réseaux de capteurs est considérable mais également essentiel. En effet, les contraintes associées aux capteurs et à leur mise en réseau sont très fortes. Pour résoudre la plupart de ses contraintes, des systèmes d'exploitation telles que TinyOS basé événement apportent des solutions, mais qui malheureusement ne couvrent pas l'ensemble de ses contraintes. Pour palier ainsi aux limites des systèmes existants, de nombreuses autres tels que Mbed OS sont en cours de développement.