Paper Details

@InProceedings{RitsonBarnes07,
  title = "{A} {P}rocess {O}riented {A}pproach to {USB} {D}river {D}evelopment",
  author= "Ritson, Carl G. and Barnes, Frederick R. M.",
  editor= "McEwan, Alistair A. and Schneider, Steve and Ifill, Wilson and Welch, Peter H.",
  pages = "323--338",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn= "978-1-58603-767-3",
  year= "2007",
  month= "jul",
  abstract= "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.