Mass flow in the interacting binary TX Ursae Majoris

Twenty-two far-ultraviolet and 23 near-ultraviolet high resolution IUE spectra of the interactive Algol-type binary TX Ursae Majoris (B8 V + F-K III-IV) were analyzed in order to determine the nature of the mass flow occurring in this system. Absorption features due to high-temperature ions of Si IV, C IV, and N V are always present. The resonance lines of Al III, Fe II, Mg II and Si IV show strong phase and secular variations indicative of gas streaming and circumstellar/circumbinary material. Radial velocities as high as 500 to 600 km/sec are present. The gas flow is particularly prominent in 1985 between phases 0.7 and 0.0. The system is more active than U Sagittae and as active as U Cephei

Critical fault patterns determination in fault-tolerant computer systems

The method proposed tries to enumerate all the critical fault-patterns (successive occurrences of failures) without analyzing every single possible fault. The conditions for the system to be operating in a given mode can be expressed in terms of the static states. Thus, one can find all the system states that correspond to a given critical mode of operation. The next step consists in analyzing the fault-detection mechanisms, the diagnosis algorithm and the process of switch control. From them, one can find all the possible system configurations that can result from a failure occurrence. Thus, one can list all the characteristics, with respect to detection, diagnosis, and switch control, that failures must have to constitute critical fault-patterns. Such an enumeration of the critical fault-patterns can be directly used to evaluate the overall system tolerance to failures. Present research is focused on how to efficiently make use of these system-level characteristics to enumerate all the failures that verify these characteristics

Development of a flight software testing methodology

The research to develop a testing methodology for flight software is described. An experiment was conducted in using assertions to dynamically test digital flight control software. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters. In addition, a prototype watchdog task system was built to evaluate the effectiveness of executing assertions in parallel by using the multitasking features of Ada

A methodology for testing fault-tolerant software

A methodology for testing fault tolerant software is presented. There are problems associated with testing fault tolerant software because many errors are masked or corrected by voters, limiter, or automatic channel synchronization. This methodology illustrates how the same strategies used for testing fault tolerant hardware can be applied to testing fault tolerant software. For example, one strategy used in testing fault tolerant hardware is to disable the redundancy during testing. A similar testing strategy is proposed for software, namely, to move the major emphasis on testing earlier in the development cycle (before the redundancy is in place) thus reducing the possibility that undetected errors will be masked when limiters and voters are added

Executable assertions and flight software

Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed

Dynamic assertion testing of flight control software

An experiment in using assertions to dynamically test fault tolerant flight software is described. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters

Dynamic assertion testing of flight control software

Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The assertions were written and embedded in the code, then errors were inserted (seeded) one at a time and the code executed. Results indicate that assertion testing is an effective and efficient method of detecting errors in flight software. Most errors are eliminate at an earlier stage in the development than before

OAO-2 observations of beta Lyrae and a provisional interpretation

Six-color ultraviolet photoelectric observations of beta Lyrae obtained with OAO-2 are presented. These observations, made at 1380, 1500, 1920, 2460, 2980 and 3330 A, represent the first truly continual coverage of the light changes of beta Lyrae during one orbital revolution and were obtained in November 1970. The photometric data are supplemented by spectral scans in the wavelength intervals 3800-1800 A and 2000-1050 A; the latter interval was scanned at 10 A resolution once during every OAO-2 orbit, i.e., about 100 minutes. Anomalous features, such as asymmetries and short and long term variations, are present in the light curves. A tentative discussion of solutions of the light curves is given

Switching Control Systems

Contains reports on one research project