• Contact
• Maps
• Departments

• School of Computing home
• Undergraduate degrees
• Master's degrees
• PhD and research degrees
• Research
  • Computational Intelligence
  • Data Science
  • Programming Languages and Systems
    • People
    • Publications
    • Seminars
    • Research interests
    • Suggested PhD projects
  • Cyber Security
• Placements
• Kent IT Consultancy
• Makerspace
• Working with us
• About us
• News
• People
• Contact us

For current students & staff

• Information for students
• Systems support
• Information for staff

Search

School of Computing

Programming Languages and Systems: RMoX

A Lightweight, Flexible and Concurrent Operating System

RMoX is an experimental operating-system programmed largely in occam-pi. It's aims are to provide an OS which is:

• scalable, from embedded systems through to massively parallel supercomputers
• flexible, meeting the demands of a various environments/industries
• lightweight, using the available hardware resources efficiently

The official RMoX home-page is at http://rmox.net/, but other resources are available from CSProjects, here: http://projects.cs.kent.ac.uk/projects/rmox/

A bootable image, that can be booted by GRUB or Etherboot, can be downloaded here: http://rmox.net/download/rmox-0.1.7-latest-image. The default build is for an Intel Pentium or AMD architecture (we are testing with QEMU, AMD Geode and Intel based PC/104+ boards).

People:

Fred Barnes Principal Investigator Peter Welch Researcher Carl Ritson Research Associate Adam Sampson Developer

Selected publications:

• Checking process-oriented operating system behaviour using csp and refinement. Frederick R. M. Barnes and Carl G. Ritson. SIGOPS Oper. Syst. Rev., 43(4):45-49, December 2009. (more details) download publication

• A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press. (more details) download publication KAR:14574

• Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. (more details) download publication

Other publications:

• A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication

• RMoX: A raw-metal occam experiment. Fred Barnes, Christian Jacobsen, and Brian Vinter. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 269-288, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication

PhD studentships:

• Failure Handling in Concurrent Systems
• Practical Formal Verification of Concurrent Systems

Project support: