This paper proposes a new approach of implementing low-level OS components, especially device drivers. We introduce the notion of concurrent objects into device driver programming. A device driver for every hardware device is implemented as independent concurrent objects. A device driver object has a single thread of control, so that mutual exclusion operations such as spl and semaphores are not necessary. Mechanisms of synchronization, scheduling objects, and interrupt mask handling are clearly separated from actual device control programs, and these are implemented by the system for device driver objects. Both an interrupt and a service request to a device driver object will be delivered as a message, so programmers need not to distinguis...
International audienceIn embedded systems, controlling a shared resource like a bus, or improving a ...
A crucial aspect in the design of (embedded real-time) operating systems concerns interrupt handling...
Device drivers are dicult to write and error-prone. They are usually written in low-level languages ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
Writing device drivers takes much time and requires effort because it needs knowledge of the target ...
A homogeneous machine architecture, consisting of a regular interconnection of many identical elemen...
This paper presents a correct-by-construction synthesis method for generating operating system based...
The lack of well-defined protocols for interaction with the operating system is a common source of d...
Device drivers are notorious for development effort, faults and security exploits. A widely practice...
International audienceWe present a new device driver generation approach capable of automatically ge...
The reliability of device drivers is of critical importance to the overall stability of computer sys...
Operating-systems are the core software component of many modern computer systems, ranging from smal...
A device driver is a program routine that links a peripheral device to an operating system of a comp...
An introduction into device drivers, the significance of the unified interface for device drivers wi...
Linux Operating System provides services at various levels; starting from commands to shell, system ...
International audienceIn embedded systems, controlling a shared resource like a bus, or improving a ...
A crucial aspect in the design of (embedded real-time) operating systems concerns interrupt handling...
Device drivers are dicult to write and error-prone. They are usually written in low-level languages ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
Writing device drivers takes much time and requires effort because it needs knowledge of the target ...
A homogeneous machine architecture, consisting of a regular interconnection of many identical elemen...
This paper presents a correct-by-construction synthesis method for generating operating system based...
The lack of well-defined protocols for interaction with the operating system is a common source of d...
Device drivers are notorious for development effort, faults and security exploits. A widely practice...
International audienceWe present a new device driver generation approach capable of automatically ge...
The reliability of device drivers is of critical importance to the overall stability of computer sys...
Operating-systems are the core software component of many modern computer systems, ranging from smal...
A device driver is a program routine that links a peripheral device to an operating system of a comp...
An introduction into device drivers, the significance of the unified interface for device drivers wi...
Linux Operating System provides services at various levels; starting from commands to shell, system ...
International audienceIn embedded systems, controlling a shared resource like a bus, or improving a ...
A crucial aspect in the design of (embedded real-time) operating systems concerns interrupt handling...
Device drivers are dicult to write and error-prone. They are usually written in low-level languages ...