“Hume aims to extend the frontiers of language design for resource-limited systems, including real-time embedded and safety-critical systems, by introducing new levels of abstraction and provability.” – Official Web Site
Robert Pointon was employed on the EmBounded Framework VI Project #IST-510255 as the complier and IDE developer. During slow days he also maintained the local Hume web site for the project at Heriot-Watt.
Hume was ported to the Pioneer 3AT robot (linux) and interfaced to the robot sub-systems, i.e. camera, motor, sonar, etc, then communicated via sockets over wifi to a java Gui on a laptop.
Hume was ported to run on the 16Kb of RAM of these development boards and intefaced to the various memory-mapped I/O devices.