Relational characterizations of system fault tolerance

V. Cortellessa; D. Del Gobbo; M. Shereshevsky; J. Desharnais; A. Mili

首页> 外文期刊>Science of Computer Programming >Relational characterizations of system fault tolerance

【24h】

Relational characterizations of system fault tolerance

机译：系统容错的关系表征

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex and/or critical systems are best validated by a wide range of methods, including proving, testing, and fault tolerance; we have also argued that in order to use these methods in concert, we need to cast them in a common framework. In this paper, we present mathematical characterizations of fault tolerance properties, using a relational calculus.

机译：容错是系统在故障引起错误后继续提供其服务的能力。过去，我们认为，复杂和/或关键的系统最好通过多种方法来验证，包括检验，测试和容错。我们还认为，为了协同使用这些方法，我们需要将它们转换为一个通用框架。在本文中，我们使用关系演算来介绍容错属性的数学特征。

著录项

来源
《Science of Computer Programming》 |2005年第3期|p.343-361|共19页
作者
V. Cortellessa; D. Del Gobbo; M. Shereshevsky; J. Desharnais; A. Mili;
展开▼
作者单位

Department of Computer Science, University of Aquila, via Vetoio, 67010 L'Aquila, Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
programming calculi; relational mathematics; system fault tolerance; fault; error; failure;

机译：编程计算;关系数学;系统容错;故障;错误;故障;

相似文献

外文文献
中文文献
专利

1. Models of Closed Multimachine Computer Systems with Transient-fault-tolerance and Fault-tolerance on the Basis of Replication under Byzantine Faults [J] . A. V. Lobanov Automation and Remote Control . 2009,第2期

机译：拜占庭式故障下基于复制的具有容错和容错能力的封闭式多机计算机模型
2. Improving Upon Current Fault Tolerance Techniques with Emphasis on Low-Latency Fault Tolerance in Cloud Systems [J] . V. Manoranjitham, Bhulakshmi Bonthu, Shivam Khanna, Journal of computational and theoretical nanoscience . 2018,第8期

机译：强调云系统低延迟容错的电流容错技术
3. Application-Level Fault Tolerance as a Complement to System-Level Fault Tolerance [J] . Joshua Haines, Vijay lakamraju, Israel Koren Journal of supercomputing . 2000,第1a2期

机译：应用程序级容错是对系统级容错的补充
4. Adaptive fault-tolerance fault-tolerance for cyber-physical systems [C] . Krishna C.M., Koren I. 2013 International Conference on Computing, Networking and Communications . 2013

机译：电子物理系统的自适应容错
5. Feasibility assessment of a Kalman filter approach to fault detection and fault-tolerance in a highly unstable system: The RIT heart pump. [D] . Gillespie, Erin. 2009

机译：卡尔曼滤波器方法在高度不稳定的系统中进行故障检测和容错的可行性评估：RIT心脏泵。
6. An improved ant colony optimization algorithm with fault tolerance for job scheduling in grid computing systems [O] . Hajara Idris, Absalom E. Ezugwu, Sahalu B. Junaidu, -1

机译：网格计算系统中一种具有容错能力的蚁群优化算法
7. Relational characterizations of system fault tolerance [O] . Cortellessa V., Del Gobbo D., Shereshevsky M., 2005

机译：系统容错的关系表征
8. Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms ofDistributed Systems [R] . Tao, S. 1997

机译：软件实现分布式系统容错机制的故障注入测试

Relational characterizations of system fault tolerance

摘要

著录项

相似文献

相关主题

期刊订阅