Title | ||
---|---|---|
Synchronous programming of device drivers for global resource control in embedded operating systems |
Abstract | ||
---|---|---|
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 article, 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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2435227.2435235 | ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems |
Keywords | Field | DocType |
global resource control approach,synchronous programming,programming device driver,device driver,power consumption mode,global property,simple adaptation,simple automaton,power consumption,embedded operating system,shared resource,control layer,wireless sensor networks | Embedded operating system,Control layer,Multithreading,Control theory,Computer science,Automaton,Real-time computing,Software,Shared resource,Wireless sensor network,Distributed computing,Embedded system | Journal |
Volume | Issue | ISSN |
12 | 1s | 0362-1340 |
Citations | PageRank | References |
2 | 0.39 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Berthier | 1 | 12 | 2.28 |
Florence Maraninchi | 2 | 571 | 53.43 |
Laurent Mounier | 3 | 1187 | 79.54 |