Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués

Abstract : This thesis is about the design of software for embedded systems. The hardware platforms usually employed in these systems provide a limited amount of memory, computational power and energy. The software they execute is then constrained by such limited resources. Usual applications involve further objectives, such as reactivity and lifetime. In addition, these platforms comprise shared resources like buses or even the energy provided by a battery. Hence, global properties concerning the whole platform must be enforced, for instance to control concurrent accesses to a bus or power consumption. As device drivers are commonly developed individually, the knowledge necessary to implement global control policies is distributed among several pieces of software. We propose a global control approach, based on a centralized view of the devices' states. Built upon para-virtualization principles, it operates on the hardware/software interface. It involves a simple adaptation of the guest operating system, 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 sequential code. As a suitable representative of embedded systems hardware, we choose the node of a wireless sensor network. To show that our approach is practical, we propose a proof-of-concept implementation of the control layer to manage this platform, and evaluate it both qualitatively and quantitatively. We also demonstrate its use and benefits with an event-driven or multithreading operating system, and estimate the impact of the adaptation on guest software. Finally, we audit several extensions and draw guidelines for its use in other contexts.
Document type :
Theses
Complete list of metadatas

Cited literature [128 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00727281
Contributor : Abes Star <>
Submitted on : Monday, September 3, 2012 - 12:08:39 PM
Last modification on : Tuesday, February 26, 2019 - 1:20:26 AM
Long-term archiving on : Tuesday, December 4, 2012 - 3:41:14 AM

File

23117_BERTHIER_2012_archivage1...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00727281, version 1

Collections

Citation

Nicolas Berthier. Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués. Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM024⟩. ⟨tel-00727281⟩

Share

Metrics

Record views

1998

Files downloads

1107