Annotating Executable DSLs with Energy Estimation Formulas
summary
Builds an EEL DSL that attaches OCL and arithmetic formulas to an executable Arduino metamodel in GEMOC Studio, runs simulations to produce traces, and evaluates energy by applying one EEL model per hardware platform. Implements an engine that estimates per-instruction energy (example: delay energy computed from voltage × current × duration), shows a design-time refactoring that reduces consumption from 1.60 J -> 1.02 J, and reports accuracy like 1.40 J vs 1.51 J and 1.16 J vs 1.23 J.
AI-written summary · about
chapters (8)
- 0:00Context: energy-efficiency
- 1:18Running example: Arduino
- 3:59Arduino energy optimization workflow
- 4:36What's wrong?
- 5:45Our proposal
- 6:40EEL Model sample
- 8:52Model estimation
- 12:24Evaluation
related talks
01h 10mHardware DSLs
12mAutomatic Energy Analysis Using Types
35mProactive Energy-Aware Programming with PEEK
22mAlgorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry(…)
27mEnabling Blended Modelling of Timing and Variability in EAST-ADL
23mRunning an Open Source LLM on Open Source Hardware
06mEmbedded Executive LIVE
25mCo-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors