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] 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
  • [45] 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
  • [46] Measuring the performance of real-time systems
    Halang, WA
    Gumzej, R
    Colnaric, M
    Druzovec, M
    REAL-TIME SYSTEMS, 2000, 18 (01) : 59 - 68
  • [47] Performance evaluation on a real-time database
    Kim, S
    Son, SH
    Stankovic, JA
    EIGHTH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2002, : 253 - 265
  • [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] 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