Abstract

This work presents the theory and approach of a static energy analysis tool that semi-automatically predicts energy cost of compiled programs within the ARM v8 assembly architecture. It discusses various background information that is required to understand the methodology of modern software, including compilers, computer architecture, etc. It also presents the concept of cost relations and upper bound static cost analysis specifically, as well as sampling alternative semi-static approaches. A Raspberry Pi 4 Model B is used as a testbench for dynamic energy benchmarking and testing the validity of the static tool.

Advisor

Guarnera, Drew

Department

Computer Science

Disciplines

Computer and Systems Architecture | Hardware Systems | Programming Languages and Compilers | Software Engineering

Keywords

static analysis, green software, compilers, raspberry pi, arm assembly

Publication Date

2024

Degree Granted

Bachelor of Arts

Document Type

Senior Independent Study Thesis

Share

COinS
 

© Copyright 2024 Patrick May