Rationale for the development of the UK defence standards forsafety-critical computer software

Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered     

Improved tracking of maneuvering targets: The use of turn-ratedistributions for acceleration modeling

Tactically maneuvering targets are difficult to track since acceleration cannot be observed directly and the accelerations are induced by human control or an autonomous guidance system therefore they are not subject to deterministic models. A common tracking system is the two-state Kalman filter with a Singer maneuver model where the second-order statistics of acceleration is the same as a first-order Markov process. The Singer model assumes a uniform probability distribution on the targets acceleration which is independent of the x and y direction. In practice, it is expected that targets have constant forward speed and an acceleration vector normal to the velocity vector, a condition not present in the Singer model. The work of Singer is extended by presenting a maneuver model which assumes constant forward speed and a probability distribution on the targets turn-rate. Details of the model are presented along with sample simulation results     

High Dynamic GPS Receiver Using Maximum Likelihood Estimationand Frequency Tracking

A new high dynamic global positioning system (GPS) receiver ispresented and its performance characterized by analysis,simulation, and demonstration. The demonstration receiver is abreadboard model capable of tracking a single simulated satellitesignal in pseudorange and range rate. Pseudorange and range rateestimates are made once every 20 ms, using a maximum likelihoodestimator, and are tracked by means of a third-order fadingmemory filter in a feedback configuration. The receiver trackspseudorange with rms errors of under 1 m when subjected tosimulated 50 g, 40 g/s circular trajectories. The tracking thresholdis approximately 28 dB·Hz, which provides 12 dB margin relativethe the minimum specified signal strength, assuming 3.5 dB systemnoise figure and 0 dB antenna gain.     

A SAR processor based on two-dimensional FFT codes

A synthetic aperture radar (SAR) processor approach based on two-dimensional fast Fourier transform (FFT) codes coupled with an asymptotic evaluation of the unit response function is presented. For the latter, no approximation is made to the distance function, so that the full range of geometric aberrations is analytically considered, enabling an effective reference filter to be designed. The two-dimensional FFTs were designed as to run on computers of very limited memory: the required FFT is computed by means of FFTs of lower order. Two FFT codes were considered: one is faster and allows full or reduced (quick look or multilook) resolution performance to be obtained easily; the second is slower but allows the use of a space-varying filter and/or investigations on limited portions (zoom) of the image. Both codes are suited to parallel processing, e.g. by a transputer net. A full discussion on computer memory and time requirements is presented as well as first examples of image processing results     

Century scale solar variability imprinted in the 44Ti activity in meteorites.

The measurements of gamma-activity of the 44Ti (T1/2 = 66.6 years) produced by spallation reaction of galactic cosmic rays (GCR) in Alfianello, Olivenza, Rio Negro, Dhajala and Torino meteorites, which fell in the time interval 1883 AD (Alfianello)-1988 AD (Torino), show a century scale modulation, connected to long-term solar-wind flux variations in the interplanetary space. The variation of the 44Ti activity with the time of fall of meteorites is qualitatively consistent with the Gleissberg solar cycle, but the amplitude is three-four times higher than expected (about 5%) for GCR flux modulated by solar activity, as determined solely by the sunspot number. The cosmogenic 44Ti is a suitable radioisotope for this investigation, but its activity in meteorites is very low. We performed these measurements in the underground low level counting station of Monte dei Cappuccini in Torino, by means of a big hyperpure Ge crystal (approximately 2 kg) in selective coincidence with a heavy NaI (T1) scintillation detector (approximately 28 kg). This system allows a reliable and non destructive measurement of 44Ti (44Sc) in meteorites of 200-1200 g in weight. The background is about 1 count per day in the gamma-peak at 1157 keV of 44Sc in equilibrium with its parent 44Ti. The high stability of the performance allows long-lasting runs (approximately 10(7) s) in order to attain results with a standard deviation up to about 10%.     

Use of combined light flash and plasma measurements to study hypervelocity impact processes

We present new measurements concerning generation of light flash during hypervelocity impacts. We use iron particles (10⁻¹³ to 10⁻¹⁷ kg) with velocities over the range 1 to 42 km/s impacting semi-infinite targets (aluminium and molybdenum). The main results of previous work in the field are found to be reproduced with some slight deviations. For iron projectiles with given mass and velocity the energy of the flash (normalized to mass) is proportional to velocity to the power of 3.5 for aluminium targets and 3.9 for molybdenum targets. The duration of the flash is of order 1 microsecond. Simultaneous measurements of the generation of impact plasma do not change this. The onset of plasma generation of the bulk target material does not affect the total light flash energy. We discuss the duration of the flash compared to a simple calculation of temperature in the target and plasma vs time.     

Nanotechnology-based molecular test equipment (MTE)

This paper describes original research efforts in the design, simulation, and development of nanotechnology-based molecular test equipment (MTE). This is a research effort for testing printed circuit boards independent of traditional automatic test equipment (ATE) through the fabrication of MTE within integrated circuits (ICs). The MTE is embedded within the IC substrate and encapsulated within nanoprobes that connect between the surface and the substrate of the IC at various functional areas. A process is followed whereby IC device simulation is performed to assess the electrical, chemical, and structural properties of integrated and adjacent substrate devices. Through this approach the nominal and failed device performance parameters of interest to substrate-based MTE are found. Discussion of the development and application of MTE within IC architectures is provided, including such topics as the effect of substrate composition on the design and realization of MTE, interfaces between MTE and IC devices, and reporting of MTE results to the IC surface and technician. Potential application areas within different device functions will also be identified. A chemical structure diagram is also provided to illustrate the implementation of MTE using discrete device configurations with MTE-augmented logic     

Molecular alterations in tumorigenic human bronchial and breast epithelial cells induced by high LET radiation.

Carcinogenesis is a multi-stage process with sequence of genetic events governing the phenotypic expression of a series of transformation steps leading to the development of metastatic cancer. In the present study, immortalized human bronchial (BEP2D) and breast (MCF-10F) cells were irradiated with graded doses of either 150 keV/micrometer alpha particles or 1 GeV/nucleon 56Fe ions. Transformed cells developed through a series of successive steps before becoming tumorigenic in nude mice. Cell fusion studies indicated that radiation-induced tumorigenic phenotype in BEP2D cells could be completely suppressed by fusion with non-tumorigenic BEP2D cells. The differential expressions of known genes between tumorigenic bronchial and breast cells induced by alpha particles and their respective control cultures were compared using cDNA expression array. Among the 11 genes identified to be differentially expressed in BEP2D cells, three (DCC, DNA-PK and p21(CIP1)) were shown to be consistently down-regulated by 2 to 4 fold in all the 5 tumor cell lines examined. In contrast, their expressions in the fusion cell lines were comparable to control BEP2D cells. Similarly, expression levels of a series of genes were found to be altered in a step-wise manner among tumorigenic MCF-10F cells. The results are highly suggestive that functional alterations of these genes may be causally related to the carcinogenic process.