Device driver synthesis for embedded systems

Julien Tanguy 1, * Jean-Luc Béchennec 1, * Mikaël Briday 1, * Sébastien Dubé 2, * Olivier Henri Roux 3, *
* Corresponding author
1 Systèmes Temps Réel
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
Abstract : Currently the development of embedded software managing hardware devices that fulfills industrial constraints (safety, real time constraints) is a very complex task. To allow an increased reusability between projects, generic device drivers have been developed in order to be used in a wide range of applications. Usually the level of genericity of such drivers require a lot of configuration code, which is often generated. However, a generic driver requires a lot of configuration and need more computing power and more memory needs than a specific driver. This paper presents a more efficient methodology to solve this issue based on a formal modeling of the device and the application. Starting from this modeling, we use well-known game theory techniques to solve the driver model synthesis problem. The resulting model is then translated into the actual driver embedded code with respect to an implementation model. By isolating the model of the device, we allow more reusability and interoperability between devices for a given application, while generating an application-specific driver.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [8 references]  Display  Hide  Download
Contributor : Julien Tanguy <>
Submitted on : Wednesday, February 5, 2014 - 3:55:49 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:08 PM
Document(s) archivé(s) le : Sunday, April 9, 2017 - 9:12:14 AM


Files produced by the author(s)


  • HAL Id : hal-00942323, version 1



Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sébastien Dubé, Olivier Henri Roux. Device driver synthesis for embedded systems. 18th IEEE International Conference on Emerging Technologies & Factory Automation, Sep 2013, Cagliari, Italy. ⟨hal-00942323⟩



Record views


Files downloads