发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
A Two Dimensional Scheme To Evaluate The Adequacy Of Fault Tolerance Testing 一种评估容错测试充分性的二维方案
Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654408
R. DeMillo, Tsanchi Li, A. Mathur
{"title":"A Two Dimensional Scheme To Evaluate The Adequacy Of Fault Tolerance Testing","authors":"R. DeMillo, Tsanchi Li, A. Mathur","doi":"10.1109/WIEM.1994.654408","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654408","url":null,"abstract":"Fault-tolerant design becomes increasingly important with the growth in the demand for non-stop computer based service. The criticality of fault-tolerant software suggests the importance of testing it to examine how well it can tolerate unforeseen faults. In the past, researchers have proposed several techniques, built and used tools towards this end. A representative along the efforts is the AAS fault tolerance testing [4]. Indispensable for such tools is a notion of “adequacy” of a test for fault tolerance to reflect how well the test has been conducted. An “adequacy” measure is suggests possible improvements in a test. It also serves as a basis to decide the release time of the software. We propose a new quantitative adequacy criteria that can be measured with the aid of a prototype tool under implementation. Our criteria and the underlying rationale are mentioned in the remainder of this paper.","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"1 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":"128928002","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}
引用次数: 3
Integrated Design/validation Methodology For Fault Tolerant (dependable) Computing Systems 容错(可靠)计算系统的集成设计/验证方法
Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654392
C. Bettencourt
{"title":"Integrated Design/validation Methodology For Fault Tolerant (dependable) Computing Systems","authors":"C. Bettencourt","doi":"10.1109/WIEM.1994.654392","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654392","url":null,"abstract":"","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"20 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":"130124559","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}
引用次数: 0
Verification Of Error Models Through Low-level Simulation 通过低级仿真验证误差模型
Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654394
T. Tsai, G. Choi, R. K. Iyer
{"title":"Verification Of Error Models Through Low-level Simulation","authors":"T. Tsai, G. Choi, R. K. Iyer","doi":"10.1109/WIEM.1994.654394","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654394","url":null,"abstract":"An important issue in fault-injection is the verification of the error models as representative of reahstic errors. One technique to perform this verification involves the injection of faults using a low-level circuit simulator. The errors that are eventually propagated to the chip-pin or higher level level can be considered to be those errors which are most likely to occur, based on those faults. These errors should form the basis for the error models used in higher fault level injection mechanisms.","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"26 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114136327","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}
引用次数: 0
Fault Injection Into VHDL Models: A Fault Injection Tool And Some Preliminary Experimental Results 故障注入VHDL模型:一种故障注入工具及初步实验结果
Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654393
E. Jenn, J. Arlat, M. Rimén, J. Ohlsson, J. Karlsson
{"title":"Fault Injection Into VHDL Models: A Fault Injection Tool And Some Preliminary Experimental Results","authors":"E. Jenn, J. Arlat, M. Rimén, J. Ohlsson, J. Karlsson","doi":"10.1109/WIEM.1994.654393","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654393","url":null,"abstract":"Two main trends characterize recent work on fault injection: (i) apply fault injection as early as possible in the design process of fault-tolerant systems, i.e., into simulation models of the target fault-tolerant system and (ii) when dealing with the implementation of the target fault-tolerant system, favor software-implemented fault injection, i.e., based on the mutation of the executing software or of the data.","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"4 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":"117212083","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}
引用次数: 5
A Failure Mode And Effects Analysis (FMEA) Process For Distributed Computing Systems A Guidance Paper 分布式计算系统的失效模式和影响分析(FMEA)过程
Third Int'l Workshop on Integrating Error Models with Fault Injection Pub Date : 1994-04-25 DOI: 10.1109/WIEM.1994.654404
J. Becker
{"title":"A Failure Mode And Effects Analysis (FMEA) Process For Distributed Computing Systems A Guidance Paper","authors":"J. Becker","doi":"10.1109/WIEM.1994.654404","DOIUrl":"https://doi.org/10.1109/WIEM.1994.654404","url":null,"abstract":"Regardless of the the processing environment, the size of the system, and the fault tolerance or dependable computing requirements, one needs to understand and document not only how a design is to function, but how the system is expected to fail or tolerate faults, thereby avoiding system failures. If Dr. Frankenstein had thought beyond giving his creation life, the disastrous effects experienced by him and the community might have been avoided and the term “monster” may not have been used to label his creation.","PeriodicalId":386840,"journal":{"name":"Third Int'l Workshop on Integrating Error Models with Fault Injection","volume":"90 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":"123456495","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}
引用次数: 3
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信