Output details
11 - Computer Science and Informatics
University of Kent
Return to search
Output 0 of 0 in the submission
Article title
Process-Oriented Device Driver Development
Type
D - Journal article
DOI
Title of journal
Concurrency and Computation: Practice and Experience
Article number
-
Volume number
22
Issue number
8
First page of article
182
ISSN of journal
1532-0634
Year of publication
2010
Number of additional authors
1
Additional information
<07> This article describes a methodology for the design and construction (in software) of low-level device drivers using high-level lightweight concurrent processes. Foremost, it demonstrates how software can be constructed, with concurrency, aligned to the design of the hardware, but in a rigorous manner that avoids many of the common problems associated with concurrent programming, particularly at the low-level where testing and debugging can be difficult. We have used this methodology to develop an embedded operating system, demonstrating the viability and benefits of this "process-oriented" approach, using languages and tools developed at Kent (http://rmox.net/).
Interdisciplinary
-
Cross-referral requested
-
Research group
P - Programming Languages and Systems Group
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
