The Pixie OS is based on a dataflow programming model and is based on the concept of resource tickets, a core abstraction for representing resource availability and reservations. By giving the system visibility and fine-grained control over resource management, a broad range of policies can be implemented. To shield application programmers from the burden of managing these details, Pixie provides a suite of resource brokers, which mediate between low-level physical resources and higher-level application demands. Pixie is implemented in NesC and supports limited backwards compatibility with TinyOS.
We are developing Pixie in the context of two applications: limb motion analysis for patients undergoing treatment for motion disorders (our Mercury system), and monitoring seismic and infrasonic activity at active volcanoes.
You can download a prototype release of the Pixie software here:
This page will be updated soon with more details!