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

13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)最新文献

筛选
英文 中文
A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips 一种基于片上网络的低功耗、容错seu开关架构
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.9
A. Patooghy, M. Fazeli, S. Miremadi
{"title":"A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips","authors":"A. Patooghy, M. Fazeli, S. Miremadi","doi":"10.1109/PRDC.2007.9","DOIUrl":"https://doi.org/10.1109/PRDC.2007.9","url":null,"abstract":"High reliability, high performance, low power consumption are the main objectives in the design of NoCs. These three design objectives are mostly conflicting and should be considered simultaneously in order to have an optimal design. This paper proposes a method based on duplicating the virtual channels of each NoC node as well as parity codes to prevent SEUs from producing erroneous data. The method is compared with two widely used SEU-tolerant methods i.e., the switch to switch and the end to end flow control methods, in terms of reliability, power consumption and performance. A flit level VHDL-based simulator and Synopsys power compiler tool have been used to extract experimental results. The simulation results show the same reliability for all three methods, while the proposed method shows the lowest power consumption and the highest performance almost in all traffic generation rates and all packet error rates.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128830683","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}
引用次数: 25
Benchmarking the Robustness of Web Services 对Web服务的健壮性进行基准测试
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.56
M. Vieira, N. Laranjeiro, H. Madeira
{"title":"Benchmarking the Robustness of Web Services","authors":"M. Vieira, N. Laranjeiro, H. Madeira","doi":"10.1109/PRDC.2007.56","DOIUrl":"https://doi.org/10.1109/PRDC.2007.56","url":null,"abstract":"This paper proposes an approach for the evaluation of the robustness of web services, which are complex software components that must provide a robust interface to the client applications. However, although web services are becoming business-critical components, there is no practical way to assess the robustness of the code or to compare alternative implementations concerning robustness. The approach proposed is based on a set of robustness tests (i.e., invalid web services call parameters) that is applied in order to discover both programming and design errors. The web services are classified based on the failures observed during the execution of the tests. The approach is illustrated by evaluating several web services publicly available in the Internet and two different implementations of the web services specified by the standard TPC-App performance benchmark. The proposed approach is useful for both web services providers (to assess the robustness of their web services code) and consumers (to select the web services that best fit their requirements).","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121561142","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}
引用次数: 93
Regression Testing Based on UML Design Models 基于UML设计模型的回归测试
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.53
Atifah Ali, A. Nadeem, Muhammad Zohaib Z. Iqbal, M. Usman
{"title":"Regression Testing Based on UML Design Models","authors":"Atifah Ali, A. Nadeem, Muhammad Zohaib Z. Iqbal, M. Usman","doi":"10.1109/PRDC.2007.53","DOIUrl":"https://doi.org/10.1109/PRDC.2007.53","url":null,"abstract":"This paper presents a methodology for identifying changes and test case selection based on the UML designs of the system. Design artifacts used for this purpose are UML class diagram and sequence diagrams, which are used to generate an extended concurrent control flow graph (ECCFG) which is further used for regression testing, i.e., change identification and test case selection. A proof- of-concept tool has been developed and used on a case study, which shows that our approach selects a precise set of test cases from an existing test suite.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114733642","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}
引用次数: 37
A Fault-Tolerant Bloom Filter for Deep Packet Inspection 一种用于深度包检测的容错Bloom过滤器
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.30
Myeong-Hyeon Lee, Yoon-Hwa Choi
{"title":"A Fault-Tolerant Bloom Filter for Deep Packet Inspection","authors":"Myeong-Hyeon Lee, Yoon-Hwa Choi","doi":"10.1109/PRDC.2007.30","DOIUrl":"https://doi.org/10.1109/PRDC.2007.30","url":null,"abstract":"Bloom filters can be used for various networking applications to inspect network packet payload to search for predefined signature strings. Hardware-based bloom filters have drawn a great attention due to the fact that they provide constant lookup times at the cost of small false positives. A fault in bloom filters, however, may render the system unable to function correctly since no false negatives cannot be guaranteed. In this paper, we present a fault- tolerant bloom filter which tolerates faults in such a way that no false negatives can be guaranteed. The proposed architecture is simple enough to be implemented without any significant hardware overhead. Moreover, fault detection and recovery can be made during normal operation with negligible time overhead.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130196433","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}
引用次数: 33
A Fast Failure Detection and Failover Scheme for SIP High Availability Networks 基于SIP高可用性网络的快速故障检测与故障转移方案
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.11
Wei-Ming Wu, Kuochen Wang, R. Jan, Chia-Yuan Huang
{"title":"A Fast Failure Detection and Failover Scheme for SIP High Availability Networks","authors":"Wei-Ming Wu, Kuochen Wang, R. Jan, Chia-Yuan Huang","doi":"10.1109/PRDC.2007.11","DOIUrl":"https://doi.org/10.1109/PRDC.2007.11","url":null,"abstract":"The SIP proxy server, which is an important building block of a SIP network, can be in a form of a cluster to prevent service unavailability caused by software or hardware failures. The design of a SIP proxy server cluster with a single dispatcher in a SIP network faces the single-point-offailure problem. The use of dual SIP dispatcher architecture was proposed and VRRP (Virtual Router Redundancy Protocol) was used as an IP failover mechanism. In this paper, we have designed and implemented a dependable SIP network that includes n + k SIP dispatchers (n active dispatchers + k backup dispatchers) to control and monitor a cluster ofm SIP proxy servers for VoIP and video conferencing applications. A fast failure detection and failover (FFF) scheme has also been proposed. FFF uses OpenAIS as a high availability middleware to perform health check and failover of dispatchers and proxy servers. Experimental results have shown that the FFF scheme reduces the dispatcher failover time by 80 % compared to the VRRP mechanism and also shorten the proxy failover time by 85 % compared to the mechanism provided by OpenSER itself.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131685333","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}
引用次数: 20
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks RTG-L:在大规模、不可靠网络中可靠地调度实时可分发线程
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.57
K. Han, B. Ravindran, E. Jensen
{"title":"RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks","authors":"K. Han, B. Ravindran, E. Jensen","doi":"10.1109/PRDC.2007.57","DOIUrl":"https://doi.org/10.1109/PRDC.2007.57","url":null,"abstract":"We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling algorithm called RTG-L. The algorithm uses gossip-based communication for dynamically and dependably discovering eligible nodes. Traditionally, gossip protocols incur high message overhead. We explain that this problem is not that serious. We present a gossip-based message propagation protocol with lower message overhead. In scheduling local thread sections, RTG-L exploits slacks to optimize gossip time utilization. Thereby, it satisfies end-to-end time constraints with probabilistic assurance. Our simulation studies verify our analytical results.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121366954","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}
引用次数: 34
Power-Performance Trade-Off of a Dependable Multicore Processor 可靠多核处理器的功率性能权衡
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.22
Toshinori Sato, Toshimasa Funaki
{"title":"Power-Performance Trade-Off of a Dependable Multicore Processor","authors":"Toshinori Sato, Toshimasa Funaki","doi":"10.1109/PRDC.2007.22","DOIUrl":"https://doi.org/10.1109/PRDC.2007.22","url":null,"abstract":"As deep submicron technologies are advanced, new challenges, such as power consumption and soft errors, are emerging. A naive technique, which utilizes emerging multicore processors and relies upon thread-level redundancy to detect soft errors, is power hungry. Another technique, which relies upon instruction-level redundancy, diminishes computing performance seriously. This paper investigates trade-off between power and performance of a dependable multicore processor, which is named multiple clustered core processor (MCCP). It is proposed to hybrid thread- and instruction-level redundancy to achieve both large power efficiency and small performance loss. Detailed simulations show that the MCCP exploiting the hybrid technique improves power efficiency in energy-delay product by 13% when it is compared with the one exploiting the naive thread-level technique.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121701531","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}
引用次数: 70
A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling 基于TT/ET通信调度的主动安全系统进程组成员服务
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.44
C. Bergenhem, J. Karlsson
{"title":"A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling","authors":"C. Bergenhem, J. Karlsson","doi":"10.1109/PRDC.2007.44","DOIUrl":"https://doi.org/10.1109/PRDC.2007.44","url":null,"abstract":"This paper describes a process group membership protocol for distributed real-time systems, that use a communication network which supports both time-triggered (TT) and event-triggered (ET) communication. The protocol allows a group of cooperating real-time processes to establish a consistent view of each other's operational status, i.e. working correctly or not. The aim is to provide an application independent membership service in systems where several distributed real-time tasks share processing nodes. We assume that each such task consists of several processes executing on different nodes and that each node can execute processes belonging to different tasks. The protocol is applicable to any application domain, but has been developed for automotive active safety systems. Here, typical distributed real-time tasks include anti-lock braking, stability control and collision mitigation. In such systems, a membership service provides invaluable support for implementing fault-tolerance and graceful degradation.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122868627","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}
引用次数: 7
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices 移动设备协同备份策略的可靠性评估
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.21
Ludovic Courtès, Ossama Hamouda, M. Kaâniche, M. Killijian, D. Powell
{"title":"Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices","authors":"Ludovic Courtès, Ossama Hamouda, M. Kaâniche, M. Killijian, D. Powell","doi":"10.1109/PRDC.2007.21","DOIUrl":"https://doi.org/10.1109/PRDC.2007.21","url":null,"abstract":"Mobile devices (e.g., laptops, PDAs, cell phones) are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. This paper discusses the dependability evaluation of a cooperative backup service for mobile devices. Participating devices leverage encounters with other devices to temporarily replicate critical data. Permanent backups are created when the participating devices are able to access the fixed infrastructure. Several data replication and scattering strategies are presented, including the use of erasure codes. A methodology to model and evaluate them using Petri nets and Markov chains is described. We demonstrate that our cooperative backup service decreases the probability of data loss by a factor up to the ad hoc to Internet connectivity ratio.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126253537","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}
引用次数: 41
Soft Error Rate Estimation in Deep Sub-micron CMOS 深亚微米CMOS软错误率估计
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) Pub Date : 2007-12-17 DOI: 10.1109/PRDC.2007.34
Lianlian Zeng, P. Beckett
{"title":"Soft Error Rate Estimation in Deep Sub-micron CMOS","authors":"Lianlian Zeng, P. Beckett","doi":"10.1109/PRDC.2007.34","DOIUrl":"https://doi.org/10.1109/PRDC.2007.34","url":null,"abstract":"Soft errors resulting from the impact of charged particles are emerging as a major issue in the design of reliable circuits at deep sub-micron dimensions. In this paper, we model the sensitivity of individual circuit classes to single event upsets using predictive technology models over a range of CMOS device sizes from 90 nm down to 32 nm. Modeling the relative position of particle strikes as injected current pulses of varying amplitude and fall time, we find that the critical charge for each technology is an almost linear function both of the fall time of the injected current and the supply voltage. This simple relationship will simplify the task of estimating circuit-level soft error rate (SER) and support the development of an efficient SER modeling and optimization tool that might eventually be integrated into a high level language design flow.","PeriodicalId":183540,"journal":{"name":"13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)","volume":"10 19","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131943875","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信