Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website; (3) the federal government Internet portal; or (4) a web search conducted using a commercial search engine such as
Accession Number ADA562751
Title Model-Based Assurance of Diagnostic Procedures for Complex Systems.
Publication Date Oct 2010
Media Count 15p
Personal Author M. S. Feather R. Lutz T. Kurtoglu
Abstract Verifying diagnostic procedures for complex systems is hard and labor-intensive. Usually this verification is accomplished primarily through extensive review of the procedures by experts. We aim to augment this review process by using insights from comparing the diagnostic steps described in the procedural definitions with diagnostics information derived from existing models of the system. These comparisons offer various conformance checks between the manually developed diagnostic procedures and the diagnostic trees autogenerated from the diagnostic system models. We previously described our DTV (Diagnostic Tree for Verification) technique based on these comparisons. This paper describes an extension to DTV, and reports results of an application of DTV to a representative system's diagnostic procedures. Specifically, it outlines four analyses (branch analysis, root cause coverage, path verification, and efficiency) that can be performed using DTV; illustrates the process for applying DTV; and reports results from our application of DTV to assure fifteen of the procedures developed for diagnosing problems in an electrical power system testbed for spacecraft.
Keywords Diagnosis(General)
Dtv(Diagnostic tree for verification)
Electric power
Electrical equipment
Manual operation
Test beds

Source Agency Non Paid ADAS
NTIS Subject Category 49 - Electrotechnology
94K - Laboratory & Test Facility Design & Operation
Corporate Author National Aeronautics and Space Administration, Moffett Field, CA. Ames Research Center.
Document Type Technical report
Title Note Conference paper.
NTIS Issue Number 1225
Contract Number N/A

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader