- 1.Avizienis, A. and Kelly, J.K.J., "Fault tolerance by design diversity: concepts and experiments," IEEE Computer, vol. 17, no. 8, pp. 67-80, Aug. 1984.Google ScholarDigital Library
- 2.Best, E. and Randell, B., "A formal Model of Atomicity in Asynchronous Systems," Acta Informatica, vol. 16, pp. 93-124, 1981.Google ScholarDigital Library
- 3.Cristian, F., Aghili, H., Strong, R., and Dolev, D., "Atomic broadcast: from simple message diffusion to byzantine agreement," Digest of FTCS-15, pp. 200-206, Ann Arbor, Nichigan, June 1985.Google Scholar
- 4.Lamport, L., Shostak, R., and Pease, M., "The Byzantine 6enerals problem," ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, pp. 382-401, July 1982. Google ScholarDigital Library
- 5.Lauer, P.E., Torrigiani, P.R., and Shields, M.W., "COSY: a system specification language based on path expressions,'' Acta Informatica, vol. 12, pp. 109-158, 1979.Google ScholarDigital Library
- 6.Lauer, P.E., Shields, M.W., and Cotronis, J.Y., "Formal behavioural specification of concurrent systems without globality assumptions," Lect. Notes in Computer Science, vol. 107, pp. 115-151, Springer Verlag, New York, 1981. Google ScholarDigital Library
- 7.Mancini, L., "Modular redundancy in a message passing system," Report TR/209, Computing Laboratory, (IEEE- TSE forthcoming Special Issue on Software Reliability; editor A. 6oel), Newcastle upon Tyne, UK, Nov. 1985.Google Scholar
- 8.Helllar-Smtth, P.M and Schwartz, R., "A fault-tolerant Ada architecture," Proc. 4th Jerusalem Conf. on information Technology, pp. 211-215, May 1984.Google Scholar
- 9.t~elllar-Smtth, P.M. and Schwartz, R., "Formal specification and mechanical verification of SIFT: a faulttolerant flight control system," iEIEE Trans. on Computers, vol. C-31, no. 7, pp. 616-630, July 1982.Google Scholar
Recommendations
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
From Monolithic to Modular Formal Specification
ICFEM '98: Proceedings of the Second IEEE International Conference on Formal Engineering MethodsFormal specification using mathematical text provides a sound basis for developing complex systems, especially safety-critical systems. The paper discusses three formal specification styles for state-based systems from monolithic, through Z, to modular, ...
Reliability Analysis of N-Modular Redundancy Systems with Intermittent and Permanent Faults
It is well known that static redundancy techniques are very efficient against intermittent (transient) faults which constitute a large portion of logic faults in digital systems. However, very little theoretical work has been done in evaluating the ...
Comments