Testing for Year 2000 readiness: technical and management issues

The approach of the Year 2000 (Y2K) has called into question the condition of readiness of computer systems upon which organizations depend. Will these systems operate reliably after midnight, January 1, 2000, or will problems associated with date calculations cause failures that adversely affect users? This question has caused organizations to identify their critical systems, test these systems for Y2K problems, and take corrective action where necessary to ensure Y2K readiness. This paper examines various technical and management issues that Southwest Research Institute has dealt with in solving these problems     

Synthetic Aperture Radar

The general theory of side-looking synthetic aperture radar systems is developed. A simple circuit-theory model is developed; the geometry of the system determines the nature of the prefilter and the receiver (or processor) is the postfilter. The complex distributed reflectivity density appears as the input, and receiver noise is first considered as the interference which limits performance. Analysis and optimization are carried out for three performance criteria (resolution, signal-to-noise ratio, and least squares estimation of the target field). The optimum synthetic aperture length is derived in terms of the noise level and average transmitted power. Range-Doppler ambiguity limitations and optical processing are discussed briefly. The synthetic aperture concept for rotating target fields is described. It is observed that, for a physical aperture, a side-looking radar, and a rotating target field, the azimuth resolution is ?/? where ? is the change in aspect angle over which the target field is viewed, The effects of phase errors on azimuth resolution are derived in terms of the power density spectrum of the derivative of the phase errors and the performance in the absence of phase errors.     

Analysis and results of the 1995 Yuma ground penetration SARmeasurements

In July and October 1995, a large-scale airborne SAR experiment was conducted in the Yuma Proving Ground, Yuma, Arizona, to investigate ground penetration radar phenomenology and buried target detection. This paper describes the Yuma experiment and measurement results for many tactical, utility, and environmental targets deployed in the test     

Multiparametric importance sampling for simulation of radar systems

The performances of the importance sampling (IS) techniques are improved by using multiparametric distortions of the input random processes. The analysis of different constant false-alarm rate (CFAR) algorithms confirms the usefulness of this method. The potential of this new approach is fully exploited if optimization techniques are used to obtain the optimum distortions and to avoid bias in the estimates     

Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address