Weber, D.G., "Formal Specification of Fault-Tolerance and its Relation to Computer Security," Proceedings of Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, USA, May 1989, pp. 273-277. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Trace-Based Compositional Proof Theory for Fault Tolerant.. - Schepers, Hooman (1993) (1 citation) (Correct)
....with the effects of faults that have occurred by partitioning the initial state space into disjoint subspaces, and providing a separate specification for each part. In the formalisms that have been proposed in the more recent literature to deal with the occurrence of faults during execution (cf. [5, 12, 13, 17, 20, 27]) the occurrence of a fault is modeled explicitly. In contrast, we want to model the effects of faults on the externally visible input and output behaviour and let the syntactic interface of a process remain unchanged. For instance, we do not separate the observable actions generated by the ....
D.G. Weber, Formal specification of fault-tolerance and its relation to computer security, ACM Software Engineering Notes 14(3) (1989) 273--277.
Formal Reasoning on Fault Coverage of Fault Tolerant .. - Bernardeschi.. (1994) (1 citation) (Correct)
....in presence of faults; in [6] the authors define new process algebra operators to describe the behaviour of a faulty system, still using observational equivalence to relate the system and its fault tolerant version. On the other hand, several works use trace based equivalences for the same purpose [17, 21, 22, 23, 24]. Our framework has the merit to use available tools, both from the linguistic point of view and from the automatic verification point of view, to study the use of observational equivalence in this context. In particular, in this paper we show how the fault coverage of a fault tolerant technique ....
....4. In [1] we have applied the approach to an alternative fault tolerant technique based on an error detection mechanism and a couple of mirrored disks, analysing the set of tolerated faults. 5 Conclusions A lot of effort has been put on the formalisation of fault tolerance in literature [4, 5, 6, 12, 14, 17, 18, 19, 20, 21, 22, 23, 24]. In this paper we have shown how it is possible to formally reason about the fault coverage of a fault tolerant technique. Actions which explicitly model fault occurrences have been introduced for a b c d e f g h m n content1 content0 read1 write10 write11 write21 write21 write10 write20 ....
Weber, D.G.: Formal specification of fault-tolerance and its relation to computer security. ACM Software Engineering Notes, 14 (3), (1989) 273--277 This article was processed using the L a T E X macro package with LLNCS style
Unknown - (Correct)
No context found.
Weber, D.G., "Formal Specification of Fault-Tolerance and its Relation to Computer Security," Proceedings of Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, USA, May 1989, pp. 273-277.
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (11 citations) (Correct)
No context found.
D. G. Weber. Formal specification of fault-tolerance and its relation to computer security. In Proceedings of the Fifth International Workshop on Software Specification and Design, pages 273--277, Pittsburgh, PA, May 1989. Published as ACM SIGSOFT Engineering Notes, Volume 14, Number 3.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC