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     

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.     

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.     

A large flat panel multifunction display for military and spaceapplications

A flat panel multifunction display (MFD) that offers the size and reliability benefits of liquid crystal display technology while achieving near-CRT display quality is presented. Display generation algorithms that provide exceptional display quality are being implemented in custom VLSI components to minimize MFD size. A high-performance processor converts user-specified display lists to graphics commands used by these components, resulting in high-speed updates of two-dimensional and three-dimensional images. The MFD uses the MIL-STD-1553B data bus for compatibility with virtually all avionics systems. The MFD can generate displays directly from display lists received from the MIL-STD-1553B bus. Complex formats can be stored in the MFD and displayed using parameters from the data bus. The MFD also accepts direct video input and performs special processing on this input to enhance image quality     

Safety testing of lithium ion batteries for navy devices

Lithium ion battery technology is being introduced into power supplies used by our armed forces for a variety of applications. In many cases, the same cells and design parameters that support commercial battery packs are being used in military battery packs. This approach is expected to result in a major decrease in the total life cycle cost of the equipment these batteries support. On June 13, 1991, NAVSEA issued INST9310.1B1, which states that all lithium battery powered equipment must undergo safety evaluation and approval prior to fleet use. This safety program governs a process whereby approvals are issued for lithium batteries to be used in specific equipment on ground facilities, surface combatants, air combatants, and/or submarines. The Naval Ordnance Safety and Security Activity (NOSSA) manages the program. The chief technical advisors are Code 644 at NSWC Carderock Division and Code 609A at NSWC Crane Division. This paper describes three battery designs that incorporate lithium ion technology, and the results of battery safety tests conducted in accordance with navy requirements.     

Robust Kalman filter design for predictive wind shear detection

Severe low-altitude wind shear is a threat to aviation safety. Newly developed airborne sensors measure the radial component of wind along a line directly in front of an aircraft. The authors use optimal estimation theory to define a detection algorithm to warn of hazardous wind shear from these sensors. To achieve robustness, a wind shear detection algorithm must distinguish threatening wind shear from less hazardous gustiness, despite variations in wind shear structure. Statistical analysis methods to refine wind shear detection algorithm robustness are presented. Computational methods predict the ability to warn of severe wind shear and avoid false warning. Comparative capability of the detection algorithm as a function of its design parameters is determined, identifying designs that provide robust detection of severe wind shear     

A study on thin walled intersecting spheres

Intersecting spheres are useful in the design of pressure vessels for weight limited situations as in the case of space or ocean applications. This paper treats the general problem of N intersecting spheres demonstrating that mass reduction can be achieved in relation to the single sphere that encloses the same internal volume. It is shown that this reduction approaches asymptotically the value of 39.5%.