Software intensive systems safety analysis

Two important elements in the avionics suite of modern aircraft are: the flight control system (FCS) and the flight management system (FMS). The FCS provides the capability to stabilize and control the aircraft, while the FMS is responsible for flight planning and navigation. A clear trend in the aerospace industry is to place greater reliance on software systems, and many FCS and FMS subsystems are implemented primarily in software. For example, within the FCS is the flight guidance system (FGS) that generates roll and pitch guidance commands. Similarly, within the FMS is the vertical navigation (VNAV) function that acts like a third crew member in the cockpit, ordering mode change requests and resetting target altitude values to enable the aircraft to track the vertical flight plan. We have developed formal, executable models of the requirements for the mode logic of a FGS and for portions of the VNAV functionality. We have also conducted a comprehensive software safety analysis on the FGS mode logic model, and are completing the analysis of the VNAV model. This analysis uses as its starting point several "traditional" safety analysis techniques such as a functional hazard assessment (FHA), a fault tree analysis (FTA), and a failure mode effects analysis (FMEA). However, we are also using formal methods techniques known as model checking and theorem proving to verify the presence of safety properties in the model. This paper summarizes the (now completed) safety analysis that was performed on the FGS model, and highlights the similarities and differences with the (still on-going) safety analysis of the FMS model. In particular, we summarize progress made to date in the use of formal methods to verify the presence of the required safety properties in the models themselves.     

Broadband light source for fiber-optic measurement system in spaceborne applications

Measuring temperatures, mechanical loads and derived quantities precisely and reliably play an important role in spaceflight. With spacecraft becoming increasingly complex, upscaling of present telemetry techniques can become cumbersome. Additionally, there are entirely new sensory requirements, resulting from emerging technologies such as smart structures, active vibration damping and composite material health monitoring. It has been demonstrated in preceding studies that these measurements can be advantageously and efficiently carried out by means of fiber-optic systems. The most prominent fiber-optic strain and temperature sensor is the fiber Bragg grating. Typically, multiple fiber Bragg gratings are used to translate entire temperature and strain fields into an optical wavelength information. For the interrogation of these sensors, a broadband or scanning light source is required. Additional requirements with respect to the light source are high intensity and unpolarized illumination of the gratings. These constraints can be met by a light source that is based on amplified spontaneous emission in a rare-earth-doped fiber. In the presented work, a compact light source, adapted for measurement applications and targeted towards space applications, has been developed. The design of this light source is presented, as well as its implementation. The light source has been designed and tested for selected core aspects of space robustness and the results of these tests are summarized.     

Spatial Thinking Across the College Curriculum: A Report on a Specialist Meeting

This report presents findings from a specialist meeting of spatially-minded researchers and administrators from education and industry to consider prospects for introducing courses and curricula on spatial thinking in higher education. More than 40 participants explored the rationale for expanding student exposure to concepts, tools, and applications of spatial reasoning across a range of science, engineering, and humanities disciplines. The focus was on what we know and what we need to know to make the case for space, underscoring basic research on what is meant by spatial thinking and on variations in the spatial reasoning skills required in different domains of knowledge. The need for rigorous assessments of learning outcomes associated with different approaches to teaching spatial thinking was emphasized.     

On the Measurements of D/H in QSO Absorption Systems Closing in on the primordial abundance of deuterium

We present our measurements of the deuterium to hydrogen ratio (D/H) in QSO absorption systems, which give D/H = 3.40 ± 0.25 × 10-5 based on analysis of four independent systems. We discuss the properties of two systems which provide the strongest constraints on D/H. We outline the systematic effects involved in measurements of D/H and introduce a sophisticated method of analysis which properly accounts for these effects.     

Solar Models with Non-Standard Chemical Composition

The OPAL monochromatic opacity tables are used to evaluate the impact of a non-standard chemical composition on solar models. A calibrated solar model with consistent diffusion including the effect of radiative forces and ionization on drift velocities is presented. It is shown that surface abundances are predicted to change slightly more than in traditional solar models where these refinements are not included. All elements included in the model settle at similar rates which is reflected in the relative variation in surface abundances ranging from 7.5% for calcium to 8.8% for argon. The structural difference between the consistent model and the traditional model is small, with a maximum effect of 0.3% for the isothermal sound speed at the base of the convection zone. The settling of CNO is only marginally affected. Opacity profiles have also been calculated with varying abundances for volatile elements, for which the abundances are poorly known, and other selected elements. It is shown that if one allows a 10% variation of these elements individually one can expect a peak Rosseland mean opacity variation of 3% for oxygen, a little less 2% for Si and Ne, and around 1% for Mg and S in the radiative zone. Other light metals and volatile elements have no significant impact on the opacity. This revised version was published online in June 2006 with corrections to the Cover Date.     

Effect of track structure and radioprotectors on the induction of oncogenic transformation in murine fibroblasts by heavy ions

The oncogenic potential of high-energy ⁵⁶Fe particles (1 GeV/nucleon) accelerated with the Alternating Gradient Synchrotron at the Brookhaven National Laboratory was examined utilizing the mouse C3H 10T1/2 cell model. The dose-averaged LET for high-energy ⁵⁶Fe is estimated to be 143 keV/μm with the exposure conditions used in this study. For ⁵⁶Fe ions, the maximum relative biological effectiveness (RBE_max) values for cell survival and oncogenic transformation were 7.71 and 16.5 respectively. Compared to 150 keV/μm ⁴He nuclei, high-energy ⁵⁶Fe nuclei were significantly less effective in cell killing and oncogenic induction. The prostaglandin E₁ analog misoprostol, an effective oncoprotector of C3H 10T1/2 cells exposed to X rays, was evaluated for its potential as a radioprotector of oncogenic transformation with high-energy ⁵⁶Fe. Exposure of cells to misoprostol did not alter ⁵⁶Fe cytotoxicity or the rate of ⁵⁶Fe-induced oncogenic transformation.     

Tissue responses to low protracted doses of high LET radiations or photons: early and late damage relevant to radio-protective countermeasures.

Early and late murine tissue responses to single or fractionated low doses of heavy charged particles, fission-spectrum neutrons or gamma rays are considered. Damage to the hematopoietic system is emphasized, but results on acute lethality, host response to challenge with transplanted leukemia cells and life-shortening are presented. Low dose rates per fraction were used in some neutron experiments. Split-dose lethality studies (LD 50/30) with fission neutrons indicated greater accumulation of injury during a 9 fraction course (over 17 days) than was the case for gamma-radiation. When total doses of 96 or 247 cGy of neutrons or gamma rays were given as a single dose or in 9 fractions, a significant sparing effect on femur CFU-S depression was observed for both radiation qualities during the first 11 days, but there was not an earlier return to normal with dose fractionation. During the 9 fraction sequence, a significant sparing effect of low dose rate on CFU-S depression was observed in both neutron and gamma-irradiated mice. CFU-S content at the end of the fractionation sequence did not correlate with measured LD 50/30. Sustained depression of femur and spleen CFU-S and a significant thrombocytopenia were observed when a total neutron dose of 240 cGy was given in 72 fractions over 24 weeks at low dose rates. The temporal aspects of CFU-S repopulation were different after a single versus fractionated neutron doses. The sustained reduction in the size of the CFU-S population was accompanied by an increase in the fraction in DNA synthesis. The proliferation characteristics and effects of age were different for radial CFU-S population closely associated with bone, compared with the axial population that can be readily aspirated from the femur. In aged irradiated animals, the CFU-S proliferation/redistribution response to typhoid vaccine showed both an age and radiation effect. After high single doses of neutrons or gamma rays, a significant age- and radiation-related deficiency in host defense mechanisms was detected by a shorter mean survival time following challenge with transplantable leukemia cells. Comparison of dose-response curves for life shortening after irradiation with fission-spectrum neutrons or high energy silicon particles indicated high initial slopes for both radiation qualities at low doses, but for higher doses of silicon, the effect per Gy decreased to a value similar to that for gamma rays. The two component life-shortening curve for silicon particles has implications for the potential efficacy of radioprotectants. Recent studies on protection against early and late effects by aminothiols, prostaglandins, and other compounds are discussed.     

Dynamics of a Solenoidal-Torqued Gyro-Stabilized Seeker Assembly for Guidance and Tracking

Several low-cost gyro-stabilized, bang-bang seeker assemblies for missile guidance and tracking applications have used similar physical structures. A magnetic dipole is an integral part of the gyro rotor assembly. The nominal spin axis of the gyro is colinear with the axis of a cylinder about which is wound a helix of wire. By properly modulating the current that is passed through that helix, the precession torque acting upon the gyroscope is controlled. One rather generalized model of such a seeker assembly is modeled, the equations of motion are derived, and the dominant error sources are identified and parametrically evaluated. Because this is such a commonly encountered structure, yet no such analysis has been published, to the author's knowledge, it is hoped that this is a useful contribution to the literature.