2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.最新文献_第3页

Level oriented formal model for asynchronous circuit verification and its efficient analysis method 面向层次的异步电路验证形式化模型及其高效分析方法

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185640

T. Kitai, Yusuke Oguro, T. Yoneda, Eric Mercer, C. Myers

引用次数: 2

A control theory approach for analyzing the effects of data errors in safety-critical control systems 安全关键控制系统中数据误差影响的控制理论分析方法

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185625

Örjan Askerdal, M. Gäfvert, M. Hiller, N. Suri

{"title":"A control theory approach for analyzing the effects of data errors in safety-critical control systems","authors":"Örjan Askerdal, M. Gäfvert, M. Hiller, N. Suri","doi":"10.1109/PRDC.2002.1185625","DOIUrl":"https://doi.org/10.1109/PRDC.2002.1185625","url":null,"abstract":"Computers are increasingly used for implementing control algorithms in safety-critical embedded applications, such as engine control, braking control and flight surface control. Addressing the consequent coupling of control performance with computer related errors, this paper develops a composite computer dependability/control theory methodology for analyzing the effects data errors have on control system dependability. The effect is measured as the resulting control error (defined as the difference between the desired value of a physical properly and its actual value). We use maximum bounds on this measure as the criterion for control system failure (i.e., if the control error exceeds a certain threshold, the system has failed). In this paper we a) present suitable models of computer faults for analysis of control level effects and related analysis methods, and b) apply traditional control theory analysis methods for understanding the effects of data errors on system dependability An automobile slip-control brake-system is used as an example showing the viability of our approach.","PeriodicalId":362330,"journal":{"name":"2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130635698","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}

引用次数: 10

Fault-tolerant properties of generalized hierarchical completely-connected networks 广义层次全连通网络的容错特性

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185630

T. Takabatake, M. Kitakami, Hideo Ito

引用次数: 2

Evaluation of convolutional-code-based FEC under limited recovery time and its application to real-time transmission 有限恢复时间下基于卷积码的FEC评估及其在实时传输中的应用

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185643

M. Arai, H. Kurosu, S. Fukumoto, K. Iwasaki

引用次数: 1

Analysis of the effects of real and injected software faults: Linux as a case study 分析真实的和注入的软件故障的影响:以Linux为例

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185618

T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, Thomas Marteau

引用次数: 40

The cost of checkpointing, logging and recovery for the mobile agent systems 移动代理系统的检查点、日志记录和恢复成本

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185617

Hyunjoo Kim, H. Yeom, T. Park, Hyoungwoo Park

引用次数: 10

A low overhead checkpointing protocol for mobile computing systems 用于移动计算系统的低开销检查点协议

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185616

Chi-Yi Lin, Szu-Chi Wang, S. Kuo, Ing-Yi Chen

引用次数: 4

A class of random multiple bits in a byte error correcting (S/sub t/b/EC) codes for semiconductor memory systems 用于半导体存储系统的字节纠错(S/ t/b/EC)码中的一类随机多比特

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185644

G. Umanesan, E. Fujiwara

{"title":"A class of random multiple bits in a byte error correcting (S/sub t/b/EC) codes for semiconductor memory systems","authors":"G. Umanesan, E. Fujiwara","doi":"10.1109/PRDC.2002.1185644","DOIUrl":"https://doi.org/10.1109/PRDC.2002.1185644","url":null,"abstract":"Recent high density wide I/O DRAM chips are highly vulnerable to multiple random bit errors. Therefore, correcting multiple random bit errors that corrupt a single DRAM chip becomes very important in certain applications, such as semiconductor memories used in computer and communication systems, mobile systems, aircraft and satellites. This is because, in these applications, the presence of strong electromagnetic waves in the environment or the bombardment of an energetic particle on a DRAM chip is likely to upset more than just one bit stored in that chip. Under this situation, codes capable of correcting random multiple bit errors that are confined to a single DRAM chip output are suitable for application in high speed semiconductor memory systems. This paper proposes a class of codes called single t/b-error correcting (S/sub t/b/EC) codes which are capable of correcting random t-bit errors occurring within a single b-bit byte. For the case where the chip data output is 16 bits, i.e., b = 16, the S/sub 3/16/EC code proposed in this paper requires only 16 check bits, that is, only one chip is required for check bits at practical information lengths such as 64, 128 and 256 bits. Furthermore, this S/sub 3/16/EC code is capable of detecting more than 95% of all single 16 bit byte errors at information length 64 bits.","PeriodicalId":362330,"journal":{"name":"2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121357946","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}

引用次数: 2

An alternative method of generating tests for path delay faults using N/sub i/-detection test sets 使用N/sub / i -检测测试集生成路径延迟故障测试的另一种方法

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185647

Hiroshi Takahashi, K. Saluja, Y. Takamatsu

引用次数: 12

Event log based dependability analysis of Windows NT and 2K systems 基于事件日志的Windows NT和2K系统可靠性分析

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. Pub Date : 2002-12-16 DOI: 10.1109/PRDC.2002.1185651

Cristina Simache, M. Kaâniche, Ayda Saïdane

引用次数: 44