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

2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing最新文献

筛选
英文 中文
Optimization of Partitioned Architectures to Support Soft Real-Time Applications 支持软实时应用的分区架构优化
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.36
D. Tamas-Selicean, P. Pop
{"title":"Optimization of Partitioned Architectures to Support Soft Real-Time Applications","authors":"D. Tamas-Selicean, P. Pop","doi":"10.1109/PRDC.2014.36","DOIUrl":"https://doi.org/10.1109/PRDC.2014.36","url":null,"abstract":"In this paper we propose a new Tabu Search-based design optimization strategy for mixed-criticality systems implementing hard and soft real-time applications on the same platform. Our proposed strategy determined an implementation such that all hard real-time applications are schedulable and the quality of service of the soft real-time tasks is maximized. We have evaluated our strategy using an aerospace case study.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122647407","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
Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers 考虑不同调试人员技能水平的软件故障检测与校正过程仿真
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.27
R. Peng, F. R. Shahrzad
{"title":"Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers","authors":"R. Peng, F. R. Shahrzad","doi":"10.1109/PRDC.2014.27","DOIUrl":"https://doi.org/10.1109/PRDC.2014.27","url":null,"abstract":"Since analytical software reliability growth models (SRGMs) are difficult to incorporate complex factors, some researchers have tried to model fault detection process (FDP) and fault correction process (FCP) together through simulation approaches. In these works, the debuggers are assumed to be with the same skill level, which may be unrealistic. In this paper, a simulation approach is proposed to model FDP and FCP considering debuggers with different skill levels. The optimal combination of different debuggers and the optimal release time are discussed.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121905614","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
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward 安全合同的性质与内容:挑战与建议
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.24
P. Graydon, I. Bate
{"title":"The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward","authors":"P. Graydon, I. Bate","doi":"10.1109/PRDC.2014.24","DOIUrl":"https://doi.org/10.1109/PRDC.2014.24","url":null,"abstract":"Software engineering researchers have extensively explored the reuse of components at source-code level. Contracts explicitly describe component behaviour, reducing development risk by exposing potential incompatibilities early in the development process. But to benefit fully from reuse, developers of safety-critical systems must also reuse safety evidence. Full reuse would require both extending the existing notion of component contracts to cover safety properties and using these contracts in both component selection and system certification. This is not as simple as it first appears. Much of the review, analysis, and test evidence developers provide during certification is system-specific. This makes it difficult to define safety contracts that facilitate both selecting components to reuse and certifying systems. In this paper, we explore the definition and use of safety contracts, identify challenges to component-based software reuse safety-critical systems, present examples to illustrate several key difficulties, and discuss potential solutions to these problems.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121304214","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}
引用次数: 9
FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development FoxyFeed:为内核开发锻造设备级异步事件
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.25
K. Kono, Shunsuke Miyahara, H. Yamada, Takeshi Yoshimura
{"title":"FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development","authors":"K. Kono, Shunsuke Miyahara, H. Yamada, Takeshi Yoshimura","doi":"10.1109/PRDC.2014.25","DOIUrl":"https://doi.org/10.1109/PRDC.2014.25","url":null,"abstract":"Enhancing source code quality of operating systems (OSes) is an essential and endless task in communities of commodity OSes. Unfortunately, improving the quality of the kernel code is not trivial because the kernel is large and complex. In particular, asynchronous events from peripheral devices such as interrupts make the improvement quite hard due to their low reproducibility. This paper presents Foxy Feed, a mechanism based on virtual machine monitors that helps to fix bugs caused by asynchronous device-level events. Foxy Feed forges device-level events and injects them to a debuggee kernel at the timing specified in advance, and allows us to control the timing at which asynchronous events occur for the debugging purpose. Using our prototype implementation of Foxy Feed, which is based on Xen 4.1.0, we demonstrate that Foxy Feed reproduces failures caused by device-triggered bugs in Linux and gives significant clues to the root causes.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124338218","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
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA FPGA环振中nbti诱导退化的降低
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.16
Yasuo Sato, M. Monden, Yousuke Miyake, S. Kajihara
{"title":"Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA","authors":"Yasuo Sato, M. Monden, Yousuke Miyake, S. Kajihara","doi":"10.1109/PRDC.2014.16","DOIUrl":"https://doi.org/10.1109/PRDC.2014.16","url":null,"abstract":"Ring Oscillators are used for variety of purposes to enhance reliability on LSIs or FPGAs. This paper introduces an aging-tolerant design structure of ring oscillators that are used in FPGAs. The structure is able to reduce NBTI-induced degradation in a ring oscillator's frequency by setting PMOS transistors of look-up tables in an off-state when the oscillator is not working. The evaluation of a variety of ring oscillators using Altera Cyclone IV device (60nm technology) shows that the proposed structure is capable of controlling degradation level as well as reducing more than 37% performance degradation compared to the conventional oscillators.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114352262","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}
引用次数: 8
Reliability of Geo-replicated Cloud Storage Systems 两地复制云存储系统可靠性
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.30
I. Iliadis, D. Sotnikov, Paula Ta-Shma, V. Venkatesan
{"title":"Reliability of Geo-replicated Cloud Storage Systems","authors":"I. Iliadis, D. Sotnikov, Paula Ta-Shma, V. Venkatesan","doi":"10.1109/PRDC.2014.30","DOIUrl":"https://doi.org/10.1109/PRDC.2014.30","url":null,"abstract":"Network bandwidth between sites is typically more scarce than bandwidth within a site in geo-replicated cloud storage systems, and can potentially be a bottleneck for recovery operations. We study the reliability of geo-replicated cloud storage systems taking into account different bandwidths within a site and between sites. We consider a new recovery scheme called staged rebuild and compare it with both a direct scheme and a scheme known as intelligent rebuild. To assess the reliability gains achieved by these schemes, we develop an analytical model that incorporates various relevant aspects of storage systems, such as bandwidths, latent sector errors, and failure distributions. The model applies in the context of Open Stack Swift, a widely deployed cloud storage system. Under certain practical system configurations, we establish that order of magnitude improvements in mean time to data loss (MTTDL) can be achieved using these schemes.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121812775","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}
引用次数: 14
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude 编码校正非对称/单向误差以及小幅度的双向误差
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.28
Shohei Kotaki, M. Kitakami
{"title":"Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude","authors":"Shohei Kotaki, M. Kitakami","doi":"10.1109/PRDC.2014.28","DOIUrl":"https://doi.org/10.1109/PRDC.2014.28","url":null,"abstract":"Dominant error sources in multi-level cell NAND Flash memories shift threshold voltage levels to either positive or negative values, thus errors are modeled by nonbinary unidirectional channels. However, bidirectional errors can also be caused when positive and negative errors have equivalent significance. Compared to unidirectional cases, error magnitude of bidirectional errors are considered to be small. In this correspondence, novel error correcting codes which correct limited magnitude asymmetric/unidirectional errors along with bidirectional errors of relatively small magnitude are presented. They can be used to reduce encoding and decoding complexity compared to conventional symmetric error correcting codes.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131129787","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
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms 自稳定PIF算法中即时反馈的同步性利用
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.21
Oday Jubran, Oliver E. Theel
{"title":"Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms","authors":"Oday Jubran, Oliver E. Theel","doi":"10.1109/PRDC.2014.21","DOIUrl":"https://doi.org/10.1109/PRDC.2014.21","url":null,"abstract":"A distributed algorithm, run by distributed processes, satisfies mutual exclusion if at most one process is granted a privilege to access the critical section in each execution step (safety), and each process is privileged infinitely often in each execution (fairness). The design of mutual exclusion algorithms is, in particular, impacted to satisfy the fairness property. In this work, we focus on a class of synchronous systems, where processes rarely request a privilege, that the fairness property is satisfied anyway if the process selection is fast enough. We also consider that systems of this class have to satisfy self-stabilization, which ensures that a system eventually achieves its desired behavior, and does not leave it voluntarily, regardless of the system's initial behavior. We present a self-stabilizing synchronous Propagation of Information with Feedback (PIF) algorithm for trees. The algorithm exploits the synchronous environment to provide immediate feedback of requesting processes, which in turn guarantees fast selection of unique processes to be granted privileges.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121818280","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
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains 连续时间马尔可夫链的粗粒度并行均匀化
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.22
H. Okamura, Y. Kunimoto, T. Dohi
{"title":"Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains","authors":"H. Okamura, Y. Kunimoto, T. Dohi","doi":"10.1109/PRDC.2014.22","DOIUrl":"https://doi.org/10.1109/PRDC.2014.22","url":null,"abstract":"This paper discusses parallel algorithms for transient analysis of continuous-time Markov chains (CTMCs). In dependable computing, it is used for evaluating the rare events such as failure based on CTMC models. The uniformizaton is a well-known algorithm for obtaining the transient solution of CTMC. However, the computation cost of uniformization is not low in the case of large-sized and stiff CTMCs. This paper considers parallelization of the uniformization algorithm. Particularly, we propose a coarse-grained parallel uniformization which is appropriate for multicore processors. This method enables us to analyze the large-sized and stiff CTMCs efficiently. In numerical examples, we examine the effectiveness of the proposed parallel algorithms with multicore processors.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130485854","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
Efficient VM Introspection in KVM and Performance Comparison with Xen KVM中高效的VM自省及与Xen的性能比较
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing Pub Date : 2014-11-18 DOI: 10.1109/PRDC.2014.33
Kenichi Kourai, Kousuke Nakamura
{"title":"Efficient VM Introspection in KVM and Performance Comparison with Xen","authors":"Kenichi Kourai, Kousuke Nakamura","doi":"10.1109/PRDC.2014.33","DOIUrl":"https://doi.org/10.1109/PRDC.2014.33","url":null,"abstract":"Intrusion detection system (IDS) offloading is useful for securely executing IDSes. It runs a target system in a virtual machine (VM) and enables IDSes to monitor the VM from the outside using VM introspection. Although VM introspection is well studied, its performance has not been reported in detail. The performance becomes important when users choose virtualization software, e.g., Xen and KVM. However, the performance comparison is difficult because there is no efficient implementation of VM introspection in KVM. In this paper, we first propose KVMonitor for efficient VM introspection in KVM. Using KVMonitor, we have ported Transcall for offloading legacy IDSes. For memory introspection, KVMonitor was 32 times faster than the existing LibVMI. Then we present performance comparison between Xen and KVM on VM introspection. The experimental results showed that checking the kernel memory with KVMonitor was 118 times faster than that in Xen. Even for legacy chkrootkit, the execution time with KVMonitor was 63% shorter than that in Xen.","PeriodicalId":187000,"journal":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133961258","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}
引用次数: 8
下一页 尾页
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学术官方微信