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 条
  • [31] SOFTWARE FAULT TOLERANCE IN REAL-TIME SYSTEMS
    KANT, K
    INFORMATION SCIENCES, 1987, 42 (03) : 255 - 282
  • [32] EnSuRe: Energy & Accuracy Aware Fault-tolerant Scheduling on Real-time Heterogeneous Systems
    Saha, Sangeet
    Adetomi, Adewale
    Zhai, Xiaojun
    Kasap, Server
    Ehsan, Shoaib
    Arslan, Tughrul
    McDonald-Maier, Klaus
    2021 IEEE 27TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS), 2021,
  • [34] MEASUREMENT AND ANALYSIS OF WORKLOAD EFFECTS ON FAULT LATENCY IN REAL-TIME SYSTEMS
    WOODBURY, MH
    SHIN, KG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (02) : 212 - 216
  • [35] Towards energy-aware software-based fault tolerance in real-time systems
    Unsal, OS
    Koren, I
    Krishna, CM
    ISLPED'02: PROCEEDINGS OF THE 2002 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, 2002, : 124 - 129
  • [36] Energy-aware fault tolerance in fixed-priority real-time embedded systems
    Zhang, Y
    Chakrabarty, K
    Swaminathan, V
    ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2003, : 209 - 213
  • [37] VERIFYING AUTOMATA SPECIFICATIONS OF PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 28 - 44
  • [38] Using Randomized Caches in Probabilistic Real-Time Systems
    Quinones, Eduardo
    Berger, Emery D.
    Bernat, Guillem
    Cazorla, Francisco J.
    PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 129 - +
  • [39] MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 115 - 126
  • [40] Application of probabilistic imaging techniques to real-time systems
    Eugene Veklerov
    Journal of Real-Time Image Processing, 2006, 1 : 53 - 56