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...Show MoreMetadata
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.
Date of Conference: 14-18 March 2016
Date Added to IEEE Xplore: 28 April 2016
Electronic ISBN:978-3-9815-3707-9
Electronic ISSN: 1558-1101
Conference Location: Dresden, Germany
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Resource Management ,
- Formal Analysis ,
- Probabilistic Analysis ,
- On-chip System ,
- Resource Management Scheme ,
- Distributed Resource Management ,
- Probabilistic Model ,
- Distribution Strategy ,
- Model Checking ,
- Formal Verification ,
- Functional Properties ,
- Number Of Steps ,
- State Model ,
- Probability Of Events ,
- Size Of Region ,
- Formal Methods ,
- Electronic Configuration ,
- Demand For Resources ,
- Average Use ,
- Decision Quality ,
- Simulated Paths ,
- Discrete-time Markov Chain ,
- Continuous-time Markov Chain ,
- Reward Structure ,
- Traditional Analysis Techniques ,
- Core Distribution ,
- General Code ,
- Early Design Stages ,
- Probabilistic Properties ,
- Above-mentioned Structures
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Resource Management ,
- Formal Analysis ,
- Probabilistic Analysis ,
- On-chip System ,
- Resource Management Scheme ,
- Distributed Resource Management ,
- Probabilistic Model ,
- Distribution Strategy ,
- Model Checking ,
- Formal Verification ,
- Functional Properties ,
- Number Of Steps ,
- State Model ,
- Probability Of Events ,
- Size Of Region ,
- Formal Methods ,
- Electronic Configuration ,
- Demand For Resources ,
- Average Use ,
- Decision Quality ,
- Simulated Paths ,
- Discrete-time Markov Chain ,
- Continuous-time Markov Chain ,
- Reward Structure ,
- Traditional Analysis Techniques ,
- Core Distribution ,
- General Code ,
- Early Design Stages ,
- Probabilistic Properties ,
- Above-mentioned Structures