Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems

被引:0
|
作者
Bostrom, Pontus [1 ]
Heikkila, Mikko [2 ]
Huova, Mikko [2 ]
Walden, Marina [1 ]
Linjama, Matti [2 ]
机构
[1] Abo Akad Univ, Turku, Finland
[2] Tampere Univ Technol, FIN-33101 Tampere, Finland
来源
关键词
MODEL CHECKING; SIMULATION;
D O I
10.1007/978-3-319-22264-6_20
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper presents a method for statistical analysis of hybrid systems affected by stochastic disturbances, such as random computation and communication delays. 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.
引用
收藏
页码:312 / 328
页数:17
相关论文
共 50 条
  • [41] Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory
    Schliecker, Simon
    Ernst, Rolf
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [42] SOFTWARE-PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS
    BLASCIAK, AJ
    NEUDER, DL
    BERGER, AS
    HEWLETT-PACKARD JOURNAL, 1993, 44 (02): : 107 - 115
  • [43] Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
    Fahrenberg, Uli
    Larsen, Kim G.
    Thrane, Claus R.
    FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 34 - 61
  • [44] Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
    Fahrenberg, Uli
    Larsen, Kim G.
    Thrane, Claus R.
    ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 203 - 229
  • [45] A verification of accuracy in RISC performance analysis for real-time systems
    Sugimura, Y
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 915 - 922
  • [46] Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
    Quinton, Sophie
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018, 2018, 11119 : 284 - 290
  • [47] Measuring the performance of real-time systems
    Halang, WA
    Gumzej, R
    Colnaric, M
    Druzovec, M
    REAL-TIME SYSTEMS, 2000, 18 (01) : 59 - 68
  • [48] Real-time performance analysis of MPEG-4 systems
    Moseler, K
    Fang, JJ
    PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 1274 - 1277
  • [49] Performance Analysis of Smart Energy Monitoring Systems in Real-time
    Govindarajan, R.
    Meikandasivam, S.
    Vijayakumar, D.
    ENGINEERING TECHNOLOGY & APPLIED SCIENCE RESEARCH, 2020, 10 (03) : 5808 - 5813
  • [50] Measuring the Performance of Real-Time Systems
    Wolfgang A. Halang
    Roman Gumzej
    Matjaz Colnaric
    Marjan Druzovec
    Real-Time Systems, 2000, 18 : 59 - 68