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.     

Dose equivalent, absorbed dose and charge spectrum investigation in low Earth orbit.

Particle intensity, dose equivalent and absorbed dose have been measured on board the space shuttle Endeavour during STS-108 in December 2001 by Dublin Institute for Advanced Studies (DIAS). The dose estimates are based on very accurate measurements of recoils produced in CR-39 by cosmic ray primary and secondary protons and heavier nuclei and by secondary neutrons. The corresponding LET spectra were used to determine dose equivalent and absorbed dose values. Estimates of the total flux of Z > or = 2 nuclei have been undertaken and a preliminary charge spectrum was measured. Some comparisons are made with preliminary data obtained on STS-105 (ISS Expedition) and other missions using CR-39 detectors.     

GPS based onboard and onground orbit operations for small satellites

In extension to common applications such as groundtrack displays and antenna steering, the SGP4 orbit model is proposed for operational orbit determination in small satellite missions. SGP4 is an analytical orbit model for Low-Earth orbiting satellites that is widely used for the propagation of NORAD twoline elements. Twoline elements may hence be generated completely independent of NORAD. Their use as exclusive source of orbital information simplifies the operations concept and reduces mission costs through the extensive use of existing low-cost mission support software. Due to small computer resource requirements of 8–10kByte, the SGP4 model may also be applied for onboard orbit computations making use of e.g. a 80186 processor, thus ensuring full compatibility of ground-based and onboard operations. The proposed approach is particularly suited in combination with a space-borne GPS receiver, were the C/A-code navigation solutions are treated as measurements that are adjusted in a least-squares sense using the SGP4 model. As consequence, inherent drawbacks of the pure navigation solutions such as data gaps and scatter as well as limited velocity accuracy are avoided, while the operational navigation activities are kept at a minimum. The feasibility of the concept is illustrated based on real GPS navigation data from the TOPEX/Poseidon and the MIR space station with an inherent data quality of 50–100 m. It is shown that 3 hours of data within a 4 day period are sufficient to keep the position error within 4 km, that is considered sufficient for most applications.     

Possible mechanisms of plant cell wall changes at microgravity.

Space and clinostatic experiments revealed that changes of plant cell wall structure and its function depend on type of tissue and duration of influence. It was shown that clinostat conditions reproduce the part of weightlessness biological effects. It is established that various responses of wall structural-metabolic organization occur at microgravity: changes of cell walls ultrastructure and organelles structure; decrease of synthesis of primary plant cell wall; rearrangements of polysaccharides content. It is shown that mechanisms of plant cell wall changes at microgravity are connected with decrease of cellulose crystallization, activation of pectolytic enzymes and rearrangement of calcium balance of apoplast and cytoplasm.     

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.