© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
|
|||
|
Programming Languages and Systems: RMoX
A Lightweight, Flexible and Concurrent Operating System
|
Homepage: http://rmox.net/ |
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:
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 publicationA 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:14574Multicore 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 publicationRMoX: 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:
Project support:
|
Engineering and Physical Sciences Research Council |