Fault-Aware Sensitivity Analysis for Probabilistic Real-Time Systems

被引:0
|
作者
Santinelli, Luca [1 ]
Guo, Zhishan [2 ]
George, Laurent [3 ]
机构
[1] UFTMIP ONERA Toulouse, Toulouse, France
[2] Missouri Univ Sci & Technol, Rolla, MO USA
[3] Univ Paris Est, LIGM, ESIEE Paris, Champs Sur Marne, France
关键词
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
In probabilistic real-time modeling, diverse task execution conditions can be characterized with probabilistic distributions, where multiple execution time thresholds are represented, each with an exceeding probability. Comparing to traditional deterministic real-time, probabilistic approaches provide more flexibility in system behavior modeling, which may result in more precise schedulability analysis. With this work, we combine sensitivity analysis and probabilistic models of fault effects on task execution behaviors. The goal is to develop probabilistic schedulability analysis that is applicable to both faulty and nonfaulty execution conditions. While the probabilities accurately characterize faults and faults effects on worst-case execution times, the probabilistic schedulability analysis both qualifies and quantifies faults impacts on system schedulability.
引用
收藏
页码:69 / 74
页数:6
相关论文
共 50 条
  • [21] Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis
    Habermaier, Axel
    Knapp, Alexander
    Leupolz, Johannes
    Reif, Wolfgang
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 97 - 114
  • [22] Probabilistic simulation-based analysis of complex real-time systems
    Wall, A
    Andersson, J
    Norström, C
    ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 257 - 266
  • [23] Sensitivity Analysis for Arbitrary Activation Patterns in Real-time Systems
    Neukirchner, Moritz
    Quinton, Sophie
    Michaels, Tobias
    Axer, Philip
    Ernst, Rolf
    DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 135 - 140
  • [24] Sensitivity analysis for fixed-priority real-time systems
    Bini, Enrico
    Di Natale, Marco
    Buttazzo, Giorgio
    18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2006, : 13 - +
  • [25] Sensitivity analysis for fixed-priority real-time systems
    Enrico Bini
    Marco Di Natale
    Giorgio Buttazzo
    Real-Time Systems, 2008, 39 : 5 - 30
  • [26] Sensitivity analysis for fixed-priority real-time systems
    Bini, Enrico
    Di Natale, Marco
    Buttazzo, Giorgio
    REAL-TIME SYSTEMS, 2008, 39 (1-3) : 5 - 30
  • [27] A holistic hardware-software approach for fault-aware embedded systems
    Kempf, Fabian
    Kuehbacher, Christoph
    Mellwig, Christian
    Altmeyer, Sebastian
    Ungerer, Theo
    Becker, Juergen
    2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 704 - 711
  • [28] Real-time fault diagnosis of nonlinear systems
    Leite, Daniel F.
    Hell, Michel B.
    Costa, Pyramo, Jr.
    Gomide, Fernando
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2009, 71 (12) : E2665 - E2673
  • [29] Real-time and fault-tolerant systems
    Liu, Zhiming
    Joseph, Mathai
    REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 156 - 219
  • [30] FAULT-TOLERANCE IN REAL-TIME SYSTEMS
    PHAM, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 25 (01) : 1 - 2