A Hoare Logic for Energy Consumption Analysis

@inproceedings{Kersten2013AHL,
  title={A Hoare Logic for Energy Consumption Analysis},
  author={Rody Kersten and Paolo Parisen Toldin and Bernard van Gastel and Marko C. J. D. van Eekelen},
  booktitle={FOPARA},
  year={2013}
}
Energy inefficient software implementations may cause battery drain for small systems and high energy costs for large systems. Dynamic energy analysis is often applied to mitigate these issues. However, this is often hardware-specific and requires repetitive measurements using special equipment. We present a static analysis deriving upper-bounds for energy consumption based on an introduced energy-aware Hoare logic. Software is considered together with models of the hardware it controls. The… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
10 Citations
24 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Similar Papers

Loading similar papers…