Data diversity: an approach to software fault tolerance

Ammann, Paul; Knight, John

doi:10.1109/12.2185

Cited by 298 publications

(197 citation statements)

References 3 publications

Supporting

Mentioning

186

Contrasting

Unclassified

Order By: Relevance

“…It consists in diversifying the data inputs in order to avoid failures-causing inputs. Paper [8] adopts this concept to ensure integrity in data storage.…”

Section: Related Workmentioning

confidence: 99%

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems

Zammali

Bonneval

Crouzet

2014

2014 IEEE Eighth International Conference on Software Security and Reliability-Companion

View full text Add to dashboard Cite

Abstract-We present, in this paper, ongoing work that investigates a new error detection policy aiming at enhancing communication integrity in the presence of permanent errors (single and multiple). We consider critical embedded systems which are based on complex networks including active interstage nodes. This property increases the occurrence probability of permanent errors. The novelty of the proposed policy lies in the fact that unlike classical policies using a single error detection function, it is based rather on a set of different error detection functions. The different used functions must be complementary in terms of detection capability in order to increase the resultant error detection capability. Our reference application to illustrate the proposed concepts is the Flight Control System (FCS). However, our objective is also to apply the proposed approach to other application domains sharing similar features and characteristics.

show abstract

“…It consists in diversifying the data inputs in order to avoid failures-causing inputs. Paper [8] adopts this concept to ensure integrity in data storage.…”

Section: Related Workmentioning

confidence: 99%

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems

Zammali

Bonneval

Crouzet

2014

2014 IEEE Eighth International Conference on Software Security and Reliability-Companion

View full text Add to dashboard Cite

show abstract

“…Di erent platforms use di erent security providers, and many platforms even support multiple security providers for di erent usage scenarios or for interoperability with other platforms [1,12]. DCOM and RPC are designed in such a way that they can simultaneously accommodate multiple security providers.…”

Section: Dcom's Security Mechanismmentioning

confidence: 99%

“…An example of role hierarchy. 1 We assume that the assignment is done by Sandhu and Ahn [13,14], including the simulation of role hierarchies.…”

Section: Top Managementmentioning

confidence: 99%

Role-based access control in DCOM

Ahn

2000

Journal of Systems Architecture

View full text Add to dashboard Cite

The explosive growth of the Web, the increasing popularity of PCs and the advances in high-speed network access have brought distributed computing into the mainstream. To simplify network programming and to realize componentbased software architecture, distributed object models have emerged as standards. One of those models is distributed component object model (DCOM) which is a protocol that enables software components to communicate directly over a network in a reliable, and e cient manner. In this paper, we investigate an aspect of DCOM concerning software architecture and security mechanism. Also, we describe the concept of role-based access control (RBAC) which began with multi-user and multi-application on-line systems pioneered in the 1970s. And we investigate how we can enforce the role-based access control as a security provider within DCOM, specially in access security policy. Ó

show abstract

“…Because structural and semantic information are application-dependent, recovery from errors detected at the data structure or algorithm level is usually software-controlled. A recent development in this respect is that of data diversity [2] which in its simplest form is based on retrying an erroneous computation by providing it with a logically equivalent set of input data.…”

Section: Error Tolerancementioning

confidence: 99%

A multi-level view of dependable computing

Parhami

1994

Computers & Electrical Engineering

View full text Add to dashboard Cite

Abstract--This paper serves a dual purpose. It presents a unified framework and terminology for the study of computer system dependability. It also surveys the field of dependable computing in light of the proposed framework. Specifically, impairments to dependability are viewed from six levels, each being more abstract than the previous one. It is argued that all of these levels are useful, in the sense that proven dependability assurance techniques can be applied at each level, and that it is beneficial to have distinct, precisely defined terminology for describing impairments to, and procurement strategies for, computer system dependability at these levels. The six levels are: Briefly, a hardware or software component may be defective (hardware may also become defective due to wear and aging). Certain system states will expose the defect, resulting in the development of faults defined as incorrect signal values or decisions within the system. If a fault is actually exercised, it may contaminate the data flowing within the system, causing errors. Erroneous information or states may or may not cause the affected subsystem to malfunction, depending on the subsystem's design and error tolerance. A subsystem malfunction does not necessarily have a catastrophic, unsafe, or even perceivable service-level effect. Finally, degradation of service could eventually lead to system failure. At each of these six levels, the complementary approaches of prevention (avoidance or removal) and tolerance are discussed in relation to inter-level transitions.

show abstract

Data diversity: an approach to software fault tolerance

Cited by 298 publications

References 3 publications

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems

Role-based access control in DCOM

A multi-level view of dependable computing

Contact Info

Product

Resources

About