Formal probabilistic analysis of distributed resource management schemes in on-chip systems

Shafaq Iqtedar; Osman Hasan; Muhammad Shafique; Jorg Henkel

doi:10.3850/9783981537079_0857

Formal probabilistic analysis of distributed resource management schemes in on-chip systems

Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jorg Henkel

Electrical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

New paradigms for managing resources in on-chip many-core systems come with various issues. Among them is the key demand for robust verification of (distributed) resource management (RM) schemes before deployment. Moreover, it is important to have a unified framework where different RM schemes can be formally analyzed and compared for their performance efficiency and robustness. Traditional techniques, like simulation or emulation, are inherently in-exhaustive and thus compromise the completeness and accuracy of the analysis results. In this work, we present a formal approach, based on probabilistic model checking, for evaluating and comparing the performance of different distributed RM schemes. To illustrate the benefits and applicability of our formal verification and comparative analysis approach, we perform a case study on the comparison of two state-of-the-art distributed RM schemes using the PRISM model checker.

Original language	English (US)
Title of host publication	Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	930-935
Number of pages	6
ISBN (Electronic)	9783981537062
DOIs	https://doi.org/10.3850/9783981537079_0857
State	Published - Apr 25 2016
Event	19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 - Dresden, Germany Duration: Mar 14 2016 → Mar 18 2016

Publication series

Name	Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016

Other

Other	19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
Country	Germany
City	Dresden
Period	3/14/16 → 3/18/16

ASJC Scopus subject areas

Hardware and Architecture
Safety, Risk, Reliability and Quality

Access to Document

10.3850/9783981537079_0857

Fingerprint Dive into the research topics of 'Formal probabilistic analysis of distributed resource management schemes in on-chip systems'. Together they form a unique fingerprint.

Cite this

Iqtedar, S., Hasan, O., Shafique, M., & Henkel, J. (2016). Formal probabilistic analysis of distributed resource management schemes in on-chip systems. In Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 (pp. 930-935). [7459441] (Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.3850/9783981537079_0857

Formal probabilistic analysis of distributed resource management schemes in on-chip systems. / Iqtedar, Shafaq; Hasan, Osman; Shafique, Muhammad; Henkel, Jorg.

Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 930-935 7459441 (Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Iqtedar, S, Hasan, O, Shafique, M & Henkel, J 2016, Formal probabilistic analysis of distributed resource management schemes in on-chip systems. in Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016., 7459441, Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016, Institute of Electrical and Electronics Engineers Inc., pp. 930-935, 19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016, Dresden, Germany, 3/14/16. https://doi.org/10.3850/9783981537079_0857

Iqtedar S, Hasan O, Shafique M, Henkel J. Formal probabilistic analysis of distributed resource management schemes in on-chip systems. In Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 930-935. 7459441. (Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016). https://doi.org/10.3850/9783981537079_0857

Iqtedar, Shafaq ; Hasan, Osman ; Shafique, Muhammad ; Henkel, Jorg. / Formal probabilistic analysis of distributed resource management schemes in on-chip systems. Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 930-935 (Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016).

@inproceedings{c02f7abb1d294c71bf223ad35ca3b98e,

title = "Formal probabilistic analysis of distributed resource management schemes in on-chip systems",

abstract = "New paradigms for managing resources in on-chip many-core systems come with various issues. Among them is the key demand for robust verification of (distributed) resource management (RM) schemes before deployment. Moreover, it is important to have a unified framework where different RM schemes can be formally analyzed and compared for their performance efficiency and robustness. Traditional techniques, like simulation or emulation, are inherently in-exhaustive and thus compromise the completeness and accuracy of the analysis results. In this work, we present a formal approach, based on probabilistic model checking, for evaluating and comparing the performance of different distributed RM schemes. To illustrate the benefits and applicability of our formal verification and comparative analysis approach, we perform a case study on the comparison of two state-of-the-art distributed RM schemes using the PRISM model checker.",

author = "Shafaq Iqtedar and Osman Hasan and Muhammad Shafique and Jorg Henkel",

note = "Publisher Copyright: {\textcopyright} 2016 EDAA. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 ; Conference date: 14-03-2016 Through 18-03-2016",

year = "2016",

month = apr,

day = "25",

doi = "10.3850/9783981537079_0857",

language = "English (US)",

series = "Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "930--935",

booktitle = "Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016",

}

TY - GEN

T1 - Formal probabilistic analysis of distributed resource management schemes in on-chip systems

AU - Iqtedar, Shafaq

AU - Hasan, Osman

AU - Shafique, Muhammad

AU - Henkel, Jorg

PY - 2016/4/25

Y1 - 2016/4/25

N2 - New paradigms for managing resources in on-chip many-core systems come with various issues. Among them is the key demand for robust verification of (distributed) resource management (RM) schemes before deployment. Moreover, it is important to have a unified framework where different RM schemes can be formally analyzed and compared for their performance efficiency and robustness. Traditional techniques, like simulation or emulation, are inherently in-exhaustive and thus compromise the completeness and accuracy of the analysis results. In this work, we present a formal approach, based on probabilistic model checking, for evaluating and comparing the performance of different distributed RM schemes. To illustrate the benefits and applicability of our formal verification and comparative analysis approach, we perform a case study on the comparison of two state-of-the-art distributed RM schemes using the PRISM model checker.

AB - New paradigms for managing resources in on-chip many-core systems come with various issues. Among them is the key demand for robust verification of (distributed) resource management (RM) schemes before deployment. Moreover, it is important to have a unified framework where different RM schemes can be formally analyzed and compared for their performance efficiency and robustness. Traditional techniques, like simulation or emulation, are inherently in-exhaustive and thus compromise the completeness and accuracy of the analysis results. In this work, we present a formal approach, based on probabilistic model checking, for evaluating and comparing the performance of different distributed RM schemes. To illustrate the benefits and applicability of our formal verification and comparative analysis approach, we perform a case study on the comparison of two state-of-the-art distributed RM schemes using the PRISM model checker.

UR - http://www.scopus.com/inward/record.url?scp=84973659641&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84973659641&partnerID=8YFLogxK

U2 - 10.3850/9783981537079_0857

DO - 10.3850/9783981537079_0857

M3 - Conference contribution

AN - SCOPUS:84973659641

T3 - Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016

SP - 930

EP - 935

BT - Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016

Y2 - 14 March 2016 through 18 March 2016

ER -