The goal of this project is to drastically simplify software development for intermittent systems by creating practical tools for modeling and analyzing the energy management and timing of intermittent software. Intermittent systems operate without a battery or tethered power supply and instead harvest energy from their environment, using motion, temperature gradients, and light. Eliminating the reliance on batteries improves robustness and reduces maintenance requirements, making intermittent systems suitable for deployment in harsh environments such as space or inside the body. Managing the interaction of energy collection and storage, intermittent operation, and the consequences of power failures are key challenges for the design of intermittent software. The project’s novelties are to address these challenges by using novel probabilistic modeling and analysis techniques to create serviceable timing and energy models for intermittent systems together with diagnosis tools that provide feedback during software development. The project's impacts are that energy and timing failures in intermittent systems can be diagnosed at development time and avoided without time-consuming trial-and-error experiments that run software on the target device. Moreover, the theoretical foundations of probabilistic programming for energy use in this domain enable a system designer to express, reason about, and validate energy consumption of mission critical embedded systems in domains like chip