Fault Tolerance in ADM.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1996
- Accession Number
- ADA307950
Entities
People
- Douglas G. Weber