Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000最新文献_第2页

On Markov reward modelling with FSPNs 基于FSPNs的马尔可夫奖励建模

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839459

K. Wolter, A. Zisowsky

引用次数: 9

Hybrid analysis of SGSPNs with time-dependent transition rates 具有时变转换速率的sgspn的杂交分析

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839476

P. Buchholz

引用次数: 2

I/O phase characterization of TPC-H query operations TPC-H查询操作的I/O相位表征

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839466

M. Kandaswamy, R. L. Knighten

引用次数: 10

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading 消息驱动的信任驱动协议在有保护软件升级中的有效性研究

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839464

A. Tai, K. Tso, L. Alkalai, S. Chau, W. Sanders

{"title":"On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading","authors":"A. Tai, K. Tso, L. Alkalai, S. Chau, W. Sanders","doi":"10.1109/IPDS.2000.839464","DOIUrl":"https://doi.org/10.1109/IPDS.2000.839464","url":null,"abstract":"In order to accomplish dependable onboard evolution, we develop a methodology which is called \"guarded software upgrading\" (GSU). The core of the methodology is a low-cost error containment and recovery protocol that escorts an upgraded software component through onboard validation, and guarded operation, safeguarding mission functions. The message-driven confidence-driven (MDCD) nature of the protocol eliminates the need for costly process coordination or atomic action, yet guarantees that the system will reach a consistent global state upon the completion of the rollback or roll-forward actions carried out by individual processes during error recovery. To validate the ability of the MDCD protocol to enhance system reliability when a software component undergoes onboard upgrading in a realistic, non-ideal environment, we conduct a stochastic activity network model based analysis. The results confirm the effectiveness of the protocol as originally surmised. Moreover, the model-based analyse's provides useful insight about the system behavior resulting from the use of the protocol under various conditions in its execution environment, facilitating effective use of the protocol.","PeriodicalId":162523,"journal":{"name":"Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134438316","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}

引用次数: 13

NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors NFTAPE:一个使用轻量级故障注入器评估分布式系统可靠性的框架

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839467

D. Stott, Benjamin Floering, Daniel Burke, Z. Kalbarczyk, Ravishankar K. Iyer

引用次数: 232

On building non-intrusive performance instrumentation blocks for CORBA-based distributed systems 基于corba的分布式系统非侵入式性能检测模块的构建

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839472

B. Sridharan, B. Dasarathy, A. Mathur

引用次数: 26

Mission time analysis of large dependable systems 大型可靠系统的任务时间分析

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000 Pub Date : 2000-03-27 DOI: 10.1109/IPDS.2000.839460

D. Rácz, M. Telek

{"title":"Mission time analysis of large dependable systems","authors":"D. Rácz, M. Telek","doi":"10.1109/IPDS.2000.839460","DOIUrl":"https://doi.org/10.1109/IPDS.2000.839460","url":null,"abstract":"The mission time analysis of large dependable systems that can be described by Markov Reward Models (MRM) with phase type distributed impulse and constant rate rewards is considered in the paper. A single Laplace transform domain description of the distribution of completion time is provided through a new analysis approach. Based on this description an effective numerical method is introduced which allows the evaluation of models with large state space (/spl sim/10/sup 6/ states). The applied analysis approach makes the use of an expanded Markov chain, but the state space expansion is much less than for common \"phase type expansion\", because the expanded state space is composed by the union (instead of product) of the original state space and the state space of the phase type structure of non-zero impulse rewards. (Roughly speaking, the applied state space expansion is additive in contrast with the multiplicative state space expansion used for phase type modeling.) The proposed method, which is a counterpart of the analysis method of accumulated reward of MRMs with rate and impulse rewards, provides the moments of reward measures approximately on the same computational cost and memory requirement as the transient analysis of the expanded Continuous Time Markov Chain. Numerical example demonstrates the abilities of the proposed method.","PeriodicalId":162523,"journal":{"name":"Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129264608","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