School of Computing

A Native Transterpreter for the LEGO Mindstorms RCX

Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud

In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2007. IOS Press.

Abstract

The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively using occam-pi running on the Transterpreter virtual machine. A concurrent hardware abstraction layer aids both the developer of the operating system and facilitates the provision of process-oriented interfaces to the underlying hardware for students and hobbyists interested in small robotics platforms.

Download publication 303 kbytes (PDF)

Bibtex Record

@inproceedings{2868,
author = {Jonathan Simpson and Christian L. Jacobsen and Matthew C. Jadud},
title = {{A Native Transterpreter for the LEGO Mindstorms RCX}},
month = {September},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2868},
    publication_type = {inproceedings},
    submission_id = {26052_1234149826},
    ISBN = {978-1-58603-767-3},
    booktitle = {Communicating Process Architectures 2007},
    editor = {Alistair A. McEwan and Steve Schneider and Wilson Ifill and Peter Welch},
    volume = {65},
    series = {Concurrent Systems Engineering Series},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014