Third Int'l Workshop on Integrating Error Models with Fault Injection最新文献_第2页

Faults Marking - A Different Approach For Fault Injection 错误标记——错误注入的另一种方法

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654398

A. Mendelson

引用次数: 0

Evaluation Of The MARS Fault Tolerance Mechanisms Using Three Physical Fault Injection Techniques 利用三种物理故障注入技术评估MARS容错机制

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654397

J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, J. Reisinger

引用次数: 4

Validatin Of An OSI Stack Implementation Using Fault-injection 使用故障注入的OSI栈实现的验证

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654407

K. Vijayananda, S. Chutani

引用次数: 0

Coverage Evaluation Through Fault Injection: Fault Sampling And Statistical Analysis 故障注入覆盖率评估:故障抽样与统计分析

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654401

Wei Wang, Kishor S. Trivedi

{"title":"Coverage Evaluation Through Fault Injection: Fault Sampling And Statistical Analysis","authors":"Wei Wang, Kishor S. Trivedi","doi":"10.1109/WIEM.1994.654401","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654401","url":null,"abstract":"Imperfect coverage is known to drastically reduce the effectiveness of redundancy and yet the determination of this parameter has been elusive. Fault injection simulation has been recognized as an effective technique to collect data for the statistical estimation of the coverage parameter. In a fault simulation experiment, faults are sampled from the fault population and then injected into, the system’s simulation model to determine the number of faults that are uncovered by the system’s fault detection mechanisms, i.e., the number of faults that cause unsafe outputs. When no unsafe failure occurs during a large number of simulation runs (i.e., when a large number of faults are injected), it is not possible to quantify the exact coverage since the only available information is that the system has not yet failed in the presence of the chosen faults. However, it is possible, with a high confidence level, to infer that the coverage value reach at least some target value, i.e., to quantify a lower bound on the safety measure. Both the confidence level and the lower bound depend on the test duration (i.e., sample size) and the way in which faults are selected from the fault population. For simple random sampling, where every fault has an equal chance of being selected, we present a formula that can be used to predict the minimum number of fault injections for a target lower bound on coverage. For ultra-reliable and safety-critical systems, the desired coverage is supposedly extremely close to 1. In this case, our result shows that the minimum","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134518085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Comparison Of Error Detection Techniques Using Software-based Fault Injection 基于软件的故障注入错误检测技术比较

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654400

D. S. Wilson, G. Sullivan, G. Masson, J. Bright

引用次数: 0

Fault-type Injection Testing For Fault-tolerant Computers 容错计算机的故障型注入测试

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654395

J. Goldberg

引用次数: 0

A Method To Model And Inject Software Design Faults 一种建模和注入软件设计错误的方法

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654410

J. Christmansson, Z. Kalbarczyk, J. Torin

引用次数: 0

Software Fault Injection Tool 软件故障注入工具

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654406

P. Tapadiya, D. R. Avresky

引用次数: 1

Uniting And Differentiating Fault Models For Testing And Fault Injection 统一和区分故障模型以进行测试和故障注入

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654390

E.W. Czeck

引用次数: 0

Fault-injection In The Advanced Automation System 高级自动化系统中的故障注入

Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654402

R. Dancey, M.C. Chasson

引用次数: 0