Welcome to the Rice PLT homepage of RIDL As embedded systems become more and more prevelant, the need for an easy to use yet stable and powerful platform becomes obvious. RIDL allows for a simple way to develop resource bounded programs ideal for embedded systems. The project is lead by Walid Taha. RIDL is also integrated in Acumen for physical system simulation. Download current (November 13, 2007) and follow instructions in INSTALL.

Papers and Resources

• Cross Compiler Instructions
• Real Time FRP (pdf)
• Event Driven FRP (pdf)
• Event Driven FRP with Priorities (pdf)
• Little Languages for Little Robots (pdf)

Acknowledgments

This project is supported by several NSF and Texas ATP grants, including:

• NSF ITR award "A Framework for Rapid Development of Reliable Robotics Software"
• NSF ITR award "Putting Multi-stage Annotations to Work"
• NSF Award "Synthesizing Device Drivers"
• Texas ATP 003604-0032-2003 "Advanced Languages Techniques for Device Drivers"