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
N1 - Publisher Copyright:
© 2016 EDAA.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
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 -