arrow
Return

Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems

delete2011-04-11
delete0
PRE
AI
N
Nicolas Berthier *
F
Florence Maraninchi
L
Laurent Mounier
DOI:10.1145/2016603.1967689delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
In embedded systems, controlling a shared resource like the bus, or improving a property like power consumption, may be hard to achieve when programming device drivers individually. There is a need for global resource control, taking decisions based on a centralized view of the devices' states. In this paper, we study power consumption in sensor networks, where the nodes are small embedded systems powered by batteries. We concentrate on the hardware/software architecture of a node, where significant gains can be achieved by controlling the consumption modes of the various devices globally. The architecture we propose 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 drivers of the devices, whose states correspond to power consumption modes, and a controller that enforces global properties. All these automata are programmed using a synchronous language, whose compiler performs static scheduling and produces a single piece of C code. We explain the approach in details, demonstrate its use with either Contiki or a traditional multithreading operating system, and report on our experiments.
Keywords:
Algorithms
Synchronous Paradigm
Automated Control
Power-Aware Implementation
Wireless Sensor Networks
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

A
ACM SIGPLAN Notices
IF:
0
Papers:
32
Citations:
0

Organization

I
institut national polytechnique de grenoble
Scholars:
6.7K
Papers: 5.2K
Citations: 1
C
communaute universite grenoble alpes
Scholars:
3.5W
Papers: 2.7W
Citations: 29