FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems — NSF Award to Carnegie Mellon University (PA,
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 thei
| Award title | FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems |
|---|---|
| Award ID | 2525102 |
| Awardee | Carnegie Mellon University |
| City | PITTSBURGH |
| State | PA |
| Amount obligated | $899,996 |
| Principal investigator | Jan Hoffmann |
| Program | FMitF: Formal Methods in the F |
| Start date | 10/01/2025 |
| Abstract | 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 s |
| Source | NSF Awards |
$799/mo
Try NSFGrants →