Perraju, T. S.; Rana, S. P.; and Sarkar, S. P. 1997. Specifying fault tolerance in mission critical systems. In Proceedings of High-Assurance Systems Engineering Workshop, 1996, 24--31. IEEE. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Fault-Tolerant Behavior of State Machines - Cin (1997) (2 citations) (Correct)
....this inclusion does not hold for (p 1, l) or (p, l 1) Here x x x w # # # # # # # = 2 1 for n x x x w . 2 1 = x #E. Automaton (A, #) is said to # correct temporary error #, if there is a p such that # is (p,1) bounded by (A, #) A t fault tolerant automaton can mask at most t faults [13]. Let # model its errors, then t fault tolerance can be expressed as: # i , i=1,2, t, are (0,1) bounded errors. The automaton is t fail stop, if # t 1 = S s 0 #) Gracefully degrading fault tolerant systems can be modeled by automata with tolerance and (p, l) bounded errors, l 1. In ....
T.S. Perraju, S.P. Rana, S.P. Sarkar; Specifying fault tolerance in mission critical systems, HASE'96, 1996
A Formalism for Specifying Fault Tolerance in Mission Critical.. - Perraju (1996) Self-citation (Perraju) (Correct)
....The specification of fault tolerance in dependable mission critical intelligent systems is a major input to the design process. A formal approach to specifying fault tolerance, requires the underlying formalism to represent fault tolerance in an unambiguous and implementation independent manner [29]. An important property to be captured in these specifications, is the kinds of faults to be tolerated by the system. We assume that the unspecified faults do no occur and focus on dealing only with specified faults. For recoverable systems, with each type of fault, recovery requirements must ....
....This simulation technique will allow us to prove that a given intelligent system design meets its specifications. The extended I O automata formalism can also be used to specify the fault tolerant properties of the underlying hardware and software over which the intelligent system operates [29]. Thus we have an unified formalism to specify fault tolerance properties in hardware, system software and the intelligent system. This will enable us to reason about the performance of the entire system inclusive of all its components in an uniform manner. Moreover, it is possible to derive ....
[Article contains additional citation context not shown here]
T. S. Perraju, S. P. Rana, and S. Sarkar. Specifying Fault Tolerance in Mission Critical Systems. In Proceedings of IEEE High Assurance Systems Engineering Workshop (HASE 96), 1996. 26
Fault Tolerant Planning: Toward Probabilistic Uncertainty.. - Rune Jensen It (Correct)
No context found.
Perraju, T. S.; Rana, S. P.; and Sarkar, S. P. 1997. Specifying fault tolerance in mission critical systems. In Proceedings of High-Assurance Systems Engineering Workshop, 1996, 24--31. IEEE.
Efficient BDD-Based Planning for Non-Deterministic.. - Jensen (2003) (Correct)
No context found.
T. S. Perraju, S. P. Rana, and S. P. Sarkar. Specifying fault tolerance in mission critical systems. In Proceedings of High-Assurance Systems Engineering Workshop, 1996.
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