Synchronous programming of device drivers for global resource control in embedded operating systems - Université de Rennes Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2013

Synchronous programming of device drivers for global resource control in embedded operating systems

Florence Maraninchi
Laurent Mounier
  • Fonction : Auteur

Résumé

In embedded systems, controlling a shared resource like a bus, or improving a property like power consumption , may be hard to achieve when programming device drivers individually. In this paper, we propose a global resource control approach, based on a centralized view of the devices' states. The solution we propose operates on the hardware/software interface. It involves a simple adaptation of the application level, to communicate with the hardware via a control layer. The control layer itself is built from a set of simple automata: the device drivers, whose states correspond to functional or power consumption modes, and a controller to enforce global properties. All these automata are programmed using a synchronous language, and compiled into a single piece of C code. We take as example the node of a sensor network. We explain the approach in details, demonstrate its use and benefits with an event-driven or multithreading operating system, and draw guidelines for its use in other contexts.
Fichier principal
Vignette du fichier
tecs-author-version.pdf (886.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01664442 , version 1 (11-01-2018)

Identifiants

Citer

Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1s), pp.1 - 26. ⟨10.1145/2435227.2435235⟩. ⟨hal-01664442⟩
473 Consultations
265 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More