Prototype of the device driver generation system for UNIX-like operating systems

Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira

doi:10.1109/ispse.2000.913251

Cited by 14 publications

(7 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The intention of this work, to automate error-prone manual implementation of communication channels between hardware and software, is the same as for our approach. A possibility for the automatic generation of Linux drivers has been studied in [10]. This approach proposes a generic interface as well as an abstraction of the driver development itself.…”

Section: Related Workmentioning

confidence: 99%

A framework for generic HW/SW communication using remote method invocation

Hartmann

Grüttner

Ittershagen

et al. 2011

2011 Electronic System Level Synthesis Conference (ESLsyn)

View full text Add to dashboard Cite

Implementation of communication between different tasks of a concurrent embedded system is a challenging problem. The aim of our work is to support the refinement and relocation of tasks onto different execution units, such as processors running different operating system or even dedicated hardware. For this purpose communication should be transparent and as independent as possible from the underlying middleware or embedded operating system. Moreover, communication should also be transparent accros the HW/SW boundary.In this work we present a generic framework for seamless communication of (software) tasks with shared resources, called Shared Objects. Communication is implemented using a method-based interface realizing a Remote Method Invocation (RMI) protocol. Our shared communication resources can either be implemented as dedicated hardware, as shared memory or local tasks. The presented framework is a first step towards the unification of shared resource access based on embedded Linux. The effectiveness of our approach is be evaluated with different task mappings and shared resource access implementation styles.

show abstract

Section: Related Workmentioning

confidence: 99%

A framework for generic HW/SW communication using remote method invocation

Hartmann

Grüttner

Ittershagen

et al. 2011

2011 Electronic System Level Synthesis Conference (ESLsyn)

View full text Add to dashboard Cite

show abstract

“…1, pp. [11][12][13][14][15][16][17][18][19][20][21][22][23] This is an open access article published by the IET under the Creative Commons Attribution-NonCommercial-NoDerivs License (http://creativecommons.org/licenses/by-nc-nd/3.0/) further challenge is revealed, since it is necessary to verify the two domains together.…”

Section: Introductionmentioning

confidence: 99%

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

Macieira

Barros

2017

IET cyber-phys. syst.

View full text Add to dashboard Cite

“…This makes reuse of already existing device drivers very hard for embedded systems. For these reasons, some works have been proposed which define strategies and frameworks to simplify the generation of device drivers [4], [5], [6], [7], [8], [9], [10], [11].…”

mentioning

confidence: 99%

“…A formal specification of the device driver functionality is used as starting point also in [7] and [8], where the authors derive the driver code from event driven state machine models. Finally, [9], [10], [11] describe frameworks that can be used to assist the design of device drivers specifically for Linux/Unix-based systems. To summarize, all previous works reported in the literature need a manual, even formal, specification of the device driver functionalities.…”

mentioning

confidence: 99%

Correct-by-construction generation of device drivers based on RTL testbenches

Bombieri

Fummi

Pravadelli

et al. 2009

2009 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition

View full text Add to dashboard Cite

The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, even formal, specification of the device driver functionalities. In the systemlevel design, IP functionalities are tested by using testbenches, implemented to contain the communication protocols to correctly interact with the device. The aim of this paper is to present a methodology to automatically generate device drivers from the testbench of any RTL IP. The only manual step required is to tag the states corresponding to the different device functionalities. The Extended Finite State Machines (EFSMs) are then used to create a correct-by-construction two-level device driver: the lower level deals with architectural choices, while the higher one is derived from the EFSMs and it implements the communication protocols. The effectiveness of this methodology has been proved by applying it to a platform provided by STMicroelectronics.

show abstract

Prototype of the device driver generation system for UNIX-like operating systems

Cited by 14 publications

References 3 publications

A framework for generic HW/SW communication using remote method invocation

A framework for generic HW/SW communication using remote method invocation

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

Correct-by-construction generation of device drivers based on RTL testbenches

Contact Info

Product

Resources

About