A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

Callou, Gustavo; Maciel, Paulo; Carneiro, Ermeson; Nogueira, Bruno; Tavares, Eduardo; Oliveira, Marcelo Costa

doi:10.1007/978-3-540-95948-9_38

Cited by 1 publication

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [5], Callou et al presented a formal approach based on Coloured Perti Net (CPN) for estimating the energy consumption of embedded software using the instruction simulation approach. The formal mechanism, such as CPN, has been adopted in order to get a good accuracy of these estimates in comparison with the values obtained with hardware platform.…”

Section: Related Workmentioning

confidence: 99%

“…The Instruction level: this technique estimates the processor energy consumed by a program by summing the energy consumed by the execution of each instruction. The energy consumed by a program running on the processor can be estimated by using a standard instruction-set simulator to extract instruction traces, and then adding up the total cost of the instruction [5].…”

Section: A Techniques and Fundamentalesmentioning

confidence: 99%

See 1 more Smart Citation

High level estimation of implementation cost of using morphological filter in edge detection

Hamwi

Khaddour

Hammami

2010

2010 7th International Multi- Conference on Systems, Signals and Devices

View full text Add to dashboard Cite

Edge detection is a critical element in image processing, since edges contain a major function of image information. The function of edge detection is to identify the boundaries of homogeneous regions in an image based on properties such as intensity and texture. The morphological filter is used as an initial process in edge detection for noisy images where "opening-closing" operations are used to filter noise thus enhancing edge detection performance. In this paper we study the additional cost in resources caused by implementing the morphological filter prior to edge detection, area, power and energy consumption are considered, the cost is a major factor in determining to use or not the morphological filter in a particular application. To achieve this estimation we used a high level estimation tool, high level design and estimation is gaining ground as it allows design decisions in an early stages of development therefore reducing costs, these tools are also gaining in accuracy. We used morphological filter as a preprocessing stage for the Shen-Castan edge detector. Starting C code the high level estimation tool produces RTL level circuits and using power and energy consumption models based on a hardware database (generic ASIC in our case) it produces reports about Area, Power and Energy consumption, an estimation of performance is also possible.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: A Techniques and Fundamentalesmentioning

confidence: 99%