This document presents a dissertation on functional reactive programming (FRP) for real-time reactive systems. The dissertation introduces RT-FRP, a language for programming real-time reactive systems that can guarantee resource bounds while allowing a restricted form of recursion. It presents two variants of RT-FRP called H-FRP and E-FRP for modeling hybrid and event-driven systems respectively. A compiler is presented for compiling E-FRP to an imperative language for implementation. The dissertation contributes new programming languages and techniques for programming reactive and embedded systems with guarantees on resource usage.