A Pattern-Matching Method for Estimating WCET of Multi-Path Monotonic Loops

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

Sakhaei nia M.; PARSA S.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR Year:2019 | Volume:16 | Issue:4 Page(s): 282-290

Download Full-Text

Persian Verion

View:

669

Download:

Cites:

Information Journal Paper

Title

A Pattern-Matching Method for Estimating WCET of Multi-Path Monotonic Loops

Author(s)

Sakhaei nia M. | PARSA S. | Issue Writer Certificate

Keywords

WCET estimationQ1

loop bound analysisQ1

real-time embedded systemsQ1

static program analysisQ1

Abstract

Pattern matching is one of possible methods proposed for estimating the WCET of the loops. If the loop matches with the proposed pattern, the number of iterations is calculated using an equation. In fact, the derivation of counter values for all iterations is thus avoided. A shortcoming of pattern matching methods is its excessive dependence upon patterns. It is dependent upon location, frequency and how to change in value of the counter and structure and place of counter tester. In order to reduce dependence upon patterns, loop flow can be modeled in two sets of symbolic expressions indicating iteration conditions and changes in value of counters. Based upon these expressions, the number of possible values that could be assigned to the loop control variables during the loop execution is computed as the worst-case estimation of the number of loop iterations. But the estimate presented in this method is greater than the actual value and there is overestimation. In this paper, the variables whose values are equal on the different paths and this value is accounted as an iteration, are detected and are considered in the estimations. This will reduce the overestimation. The evaluations are showed that the proposed method is effective and efficient and has less overestimation.

Cites

No record.

References

No record.

Cite

APA: Copy

Sakhaei nia, M., & PARSA, S.. (2019). A Pattern-Matching Method for Estimating WCET of Multi-Path Monotonic Loops. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, 16(4 ), 282-290. SID. https://sid.ir/paper/228531/en

Vancouver: Copy

Sakhaei nia M., PARSA S.. A Pattern-Matching Method for Estimating WCET of Multi-Path Monotonic Loops. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR[Internet]. 2019;16(4 ):282-290. Available from: https://sid.ir/paper/228531/en

IEEE: Copy

M. Sakhaei nia, and S. PARSA, “A Pattern-Matching Method for Estimating WCET of Multi-Path Monotonic Loops,” NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, vol. 16, no. 4 , pp. 282–290, 2019, [Online]. Available: https://sid.ir/paper/228531/en

Related Journal Papers