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     

A bioreactor system for the nitrogen loop in a Controlled Ecological Life Support System.

As space missions become longer in duration, the need to recycle waste into useful compounds rises dramatically. This problem can be addressed by the development of Controlled Ecological Life Support Systems (CELSS) (i.e., Engineered Closed/Controlled Eco-Systems (ECCES)), consisting of human and plant modules. One of the waste streams leaving the human module is urine. In addition to the reclamation of water from urine, recovery of the nitrogen is important because it is an essential nutrient for the plant module. A 3-step biological process for the recycling of nitrogenous waste (urea) is proposed. A packed-bed bioreactor system for this purpose was modeled, and the issues of reaction step segregation, reactor type and volume, support particle size, and pressure drop were addressed. Based on minimization of volume, a bioreactor system consisting of a plug flow immobilized urease reactor, a completely mixed flow immobilized cell reactor to convert ammonia to nitrite, and a plug flow immobilized cell reactor to produce nitrate from nitrite is recommended. It is apparent that this 3-step bioprocess meets the requirements for space applications.     

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.     

New instrumentation for optical measuring of oxygen in gas or dissolved in liquids.

The optical oxygen sensor is a novel device for the determination of oxygen in gases or dissolved in liquids. It is based on the measurement principle of fluorescence quenching, which is completely different from that of polarographic oxygen sensors (today the most widespread devices of oxygen detection). The new instrument offers features and advantages, which render it not only a realistic alternative, but, for specific applications, make it superior to existing electrochemical methods. The system is based on low-cost semiconductor devices (light-emitting diodes, photodiodes, low-cost analogue and digital components) and new LED-compatible oxygen-sensitive membranes. The flow cell of the instrument may be thermostatted and the sensor can be calibrated by a simple two-point calibration procedure. The optical oxygen sensor is particularly suitable for measuring dissolved oxygen in respirometry, since no oxygen is consumed by the device and the signal is independent of sample flowrate or stirring speed. Typical fields of application are monitoring of oxygen in ground and drinking water, in process control in bioreactors and in breath gas and blood gas analysis.     

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