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)

1 Systèmes Temps Réel
2 Chercheur indépendant
3 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes

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.

Domaines: Systèmes embarqués

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⟩