A systematic approach for implementing fault tolerant software designs in Ada

Proceedings of the Conference on TRI-ADA 1990

Volumn , Issue , 1990, Pages 403-408

  Litke, John D ^a  

^a NORTHROP GRUMMAN CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

AUTOMATED ANALYSIS; AUTOMATED TOOLS; CONTROL ABSTRACTION; DATA ABSTRACTION; FAULT-TOLERANT SOFTWARE; NEW APPROACHES; OBJECT ORIENTED;

ADA (PROGRAMMING LANGUAGE);

EID: 0005068445     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/255471.255565     Document Type: Conference Paper

References (6)

1. Leveson, Nancy G., Stephen S. Cha, John C. Knight, and Timothy J. Shimeall, "The Use of Self Checks and Voting in Software Error Detection: An Empirical Study," IEEE Trans Softw. Engr, Vol 16, No. 4, April 1990, pp 432-443. (Pubitemid 20712686)
2. Litke, John D., and Peter T. Brennan, "Software Fault Tolerance Techniques," Grumman Data Systems Technical Report RN-90-001, March 1990.
3. McFarland, G., P. Brennan, J. D. Litke, and M. S. Restivo, "A Tool Set for Distributed Ada Programming," Proc. IEEE 3rd Ada Applications and Environments, 1988, pp 71-80.
4. Shrivastava, S.K. (ed), "Reliable Computer Systems," Springer-Verlag, Berlin, 1985.
5. Wood, David P. and William G. Wood, "Comparative Evaluations of Four Specification Methods for Real-Time Systems," Software Engineering Institute Technical Report CMU/SEI-89-TR-36, December 1989.
6. Yau, Stephen S., and James S. Collofello, "Design Stability Measures for Software Maintenance," Proc. 6th Conf on Softw. Appl, 1982, pp 100-108.