Accession Number : ADA307950

Title :   Fault Tolerance in ADM.

Descriptive Note : Final rept. Sep 93-Sep 95,

Corporate Author : KEY SOFTWARE INC ITHACA NY

Personal Author(s) : Weber, Douglas G.

PDF Url : ADA307950

Report Date : FEB 1996

Pagination or Media Count : 89

Abstract : This report describes research and development undertaken to provide specialized support for developing fault tolerant systems within the Advanced Development Model (ADM) of Rome laboratory Knowledge-Based Software Assistant (KBSA). The KBSA provides capabilities for developing software that improve both resultant quality and productivity. In the KBSA, knowledge of techniques used in creating designs and algorithms are encoded in the 'knowledge-base' and are applied to provide automated support for system developers. A Concept Demonstration of the KBSA was completed in 1992, and a product-quality version, called the ADM, will be available in 1997. The research and development in fault tolerance is supplementary to the ADM and creates enhancements to the ADM, specifically the specification language. This will enable the refinement of a system specification, written in the ADM specification language, into a transparently distributed, fault tolerant version of the original. The fault tolerance transformations described in this report are based on previous research and depend on distributing redundant components of a system over a network.

Descriptors :   *SOFTWARE ENGINEERING, *KNOWLEDGE BASED SYSTEMS, *FAULT TOLERANT COMPUTING, COMPUTER PROGRAMS, ALGORITHMS, SYSTEMS ENGINEERING, AUTOMATION, SPECIFICATIONS, TOLERANCE, LANGUAGE, LABORATORIES, PERSONNEL, PRODUCTIVITY, FAULT TOLERANCE, TRANSFORMATIONS, REDUNDANT COMPONENTS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE