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.     

Large-size space laboratory for biological orbit experiments.

The study of space factors on living systems has great interest and long-term experiments during orbital flight will be important tool for increasing our knowledge. Realization of such experiments is limited by constraints of modern space stations. A new technology of large-size space laboratory for biological experiments has been developed on the basis of polymerization techniques. Using this technique there are no limits of form and size of laboratory for a space station that will permit long term experiments on Earth orbit with plants and animals in sufficient volume for creation of closed self-regulating ecological systems. The technology is based on experiments of the behavior of polymer materials in simulated free space conditions during the reaction of polymerization. The influences of space vacuum, sharp temperature changes and space plasma generated by galactic rays and Sun irradiation on chemical reaction were evaluated in their impact on liquid organic materials in laboratory conditions. The results of our study shows, that the chemical reaction is sensitive to such space factors. But we believe that the technology of polymerization could be used for the creation of space biological laboratories in Earth orbit in the near future.     

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.     

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.     

Protection by WR-2721 and WR-151327 against late effects of gamma rays and neutrons.

Two thiophosphoroate compounds WR-2721 and WR-151327 were assessed for their ability to modify the deleterious effects (life shortening and carcinogenesis) of fission-spectrum neutrons (kerma-weighted mean energy of 0.85 MeV) or gamma rays on B6CF1 hybrid mice. Male and female mice, 200 of each sex per experimental group, were irradiated individually at 110 days of age. Radioprotectors (400 mg/kg of WR-2721 or 580 mg/kg of WR-151327) were administered intraperitoneally 30 min prior to irradiation. Neutron doses were 10 cGy or 40 cGy and gamma ray doses were 206 cGy or 417 cGy. Animals were housed five to a cage; cage locations in the holding rooms were randomized by computer. Animals were checked daily and all deceased animals were necropsied. WR-2721 afforded protection against both neutron- and gamma-ray-induced carcinogenesis and subsequent life shortening. Cumulative survival curves for unirradiated mice of either sex were unaffectecd by protectors. WR-2721 protected irradiated groups against life shortening by approximately 10 cGy of neutrons or 100 cGy of gamma rays. WR-151327 was as effective as WR-2721 against neutron irradiation.