Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices

In the design process of an (embedded) computer system there are several important attributes the developer has to take care of: first of all, the final product should do the right thing, the authors then speak of functional correctness. Second, the performance should be adequate, expressed in measures such as throughput, delay or loss probability. Third, when relying on a battery as power source, it becomes increasingly important that the system behaves in an energy-aware manner. They could assess any of the three attributes in isolation, using completely different sets of models and tools.