Abstract:The post-Moore era casts a shadow of uncertainty on many aspects of computer system design. Managing that uncertainty requires new algorithmic tools to make quantitative assessments. While prior uncertainty quantification methods, such as generalized polynomial chaos (gPC), show how to work precisely under the uncertainty inherent to physical devices, these approaches focus solely on variables from a continuous domain. However, as one moves up the system stack to the architecture level many parameters are constrained to a discrete (integer) domain. This paper proposes an efficient and accurate uncertainty modeling technique, named mixed generalized polynomial chaos (M-gPC), for architectural uncertainty analysis. The M-gPC technique extends the generalized polynomial chaos (gPC) theory originally developed in the uncertainty quantification community, such that it can efficiently handle the mixed-type (i.e., both continuous and discrete) uncertainties in computer architecture design. Specifically, we employ some stochastic basis functions to capture the architecture-level impact caused by uncertain parameters in a simulator. We also develop a novel mixed-integer programming method to select a small number of uncertain parameter samples for detailed simulations. With a few highly informative simulation samples, an accurate surrogate model is constructed in place of cycle-level simulators for various architectural uncertainty analysis. In the chip-multiprocessor (CMP) model, we are able to estimate the propagated uncertainties with only 95 samples whereas Monte Carlo requires 5×104 samples to achieve the similar accuracy. We also demonstrate the efficiency and effectiveness of our method on a detailed DRAM subsystem.

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution

QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model

Safety Analysis of AADL Models for Grid Cyber-Physical Systems Via Model Checking of Stochastic Games

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking

Architecture-level Hazard Analysis Using AADL.

Adding Formal Meanings to AADL with Hybrid Annex.

A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models.

Hybrid Adaptive Moment Estimation Based Performance Measure Approach for Complex Reliability-Based Design Optimization

Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications

Analyzing Software Safety with AADL Error Model

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.

Study of Safety Analysis and Assessment Methodology for AADL Model

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

On Reliability Analysis for Embedded Systems with AADL Behavior Model

Efficient Uncertainty Modeling for System Design via Mixed Integer Programming

Timing Properties Analysis of Real-Time Embedded Systems with AADL Model Using Model Checking

A Qualitative Safety Analysis Method for AADL Model

Hazard Analysis for AADL Model

Variation-aware Evaluation of MPSoC Task Allocation and Scheduling Strategies Using Statistical Model Checking.