Paper Details

%T A Process Oriented Approach to USB Driver Development
%A Carl G. Ritson, Frederick R. M. Barnes
%E Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X Operating\-systems are the core software component of many
   modern computer systems, ranging from small specialised
   embedded systems through to large distributed
   operating\-systems. The demands placed upon these systems
   are increasingly complex, in particular the need to handle
   concurrency: to exploit increasingly parallel (multi\-core)
   hardware; support increasing numbers of user and system
   processes; and to take advantage of increasingly distributed
   and decentralised systems. The languages and designs that
   existing operating\-systems employ provide little support
   for concurrency, leading to unmanageable programming
   complexities and ultimately errors in the resulting systems;
   hard to detect, hard to remove, and almost impossible to
   prove correct.Implemented in occam\-p, a CSP derived
   language that provides guarantees of freedom from
   race\-hazards and aliasing error, the RMoX operating\-system
   represents a novel approach to operating\-systems, utilising
   concurrency at all levels to simplify design and
   implementation. This paper presents the USB (universal
   serial bus) device\-driver infrastructure used in the RMoX
   system, demonstrating that a highly concurrent
   process\-orientated approach to device\-driver design and
   implementation is feasible, efficient and results in systems
   that are reliable, secure and scalable.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.