Publisher's Synopsis
The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) program was developed at NASA LaRC in order to analyze the reliability of virtually any fault-tolerant system. A user manual was developed to detail its use. Certain technical specifics are of no concern to the end user, yet are of importance to those who must maintain and/or verify the correctness of the tool. This document takes a detailed look into these technical issues. Johnson, Sally C. and Boerschlein, David P. Langley Research Center APPLICATIONS PROGRAMS (COMPUTERS); FAULT TOLERANCE; MARKOV PROCESSES; RELIABILITY; RELIABILITY ANALYSIS; USER MANUALS (COMPUTER PROGRAMS); C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING...