- What is Predictive Models Performance Evaluation and Why it is Important.
- Post navigation.
- Services on Demand.
To address this challenge, this paper proposes a statistical model checking-based framework that can perform quantitative evaluation of uncertainty-aware hybrid AADL designs against various performance queries. Our approach extends hybrid AADL to support the modeling of environment uncertainties. Furthermore, we propose a set of transformation rules that can automatically translate AADL designs together with designers' requirements into networks of priced timed automata and performance queries, respectively.
Comprehensive experimental results on the movement authority scenario of Chinese train control system level 3 demonstrate the effectiveness of our approach. N2 - The hybrid architecture analysis and design language AADL has been proposed to model the interactions between embedded control systems and continuous physical environment.
In: Water Resources Management , Vol. Water Resources Management. In: Water Resources Management. Access to Document Link to publication in Scopus.
- Statistical Science?
- A Killer Cake (Classic Diner Mystery, Book 3).
The method is applied to the analysis of a computer controlled digital hydraulic power management system, where such effects are present. Bayesian inference is used to perform parameter estimation and we use hypothesis testing based on Bayes factors to compare properties of different variants of the system to assess the impact of different random disturbances.
The key idea is to use sequential sampling to generate only as many samples from the models as needed to achieve desired confidence in the result. View graph of relations.
Related Statistical Computer Performance Evaluation
Copyright 2019 - All Right Reserved