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.     

Space-borne technology and inversion techniques for radar

This presents recent progress of the state-of-the-art of space-borne radar technology in case of either earth-orbiting or planetary-orbiting satellites and space probes, respectively. In addition to that, recent progress is also discussed concerning specific inversion techniques to evaluate radar measurements; i.e., the art of deriving the relevant physical quantities to be determined such as terrain and depth profiles for planetary surface and/or subsurface structures ((3D)-profiles) from radar data measured depending on signal frequency, aspect angle, polarization, etc., as a function of time.     

An Automatic Timing Receiver System Based on the Loran-C Navigational Network

This paper describes some new concepts in dealing with the circuitry for Loran-C automatic timing systems. The conventional analog techniques associated with phase-adjusting networks have been replaced by an incremental digital phase-shifting device. The Loran-C period generator includes facilities for delay compensation by means of an epoch monitor producing a 1-Hz output coincident with the master station TOC (time of coincidence). The required initial time information has to be accurate within ± 20 ms. The automatic format identification and decoding equipment together form a system which takes into account the information of every Loran-C pulse. Owing to the use of digital signal treatment, the synchronization accuracy is limited only by the resolution of the incremental phase shift. The automatic cycle selection device is based on sampling techniques where the derivative of the envelope is calculated. The time of coincidence has to be precalculated and fed into the thumbwheel memory of the epoch monitor, which is automatically initiated when the synchronizing operations are concluded. For VLBI purposes and transcontinental use, the accuracy of this system will be better than 1 ?s when post corrections, supplied by the U.S. Naval Observatory, are taken into account.     

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.     

PowerCore combining structure and batteries for increased energy toweight ratio

Much of the mass of a battery is comprised of nonreactive materials. In an NiH₂ battery, this includes the pressure vessel and 50% of the positive electrode. PowerCore reconfigures the battery materials to serve as a structural sandwich panel. The effective specific energy of the new device can exceed 100 Wh/kg. PowerCore is intended to handle power demands of low Earth orbiting communications satellites such as IRIDIUM. This paper describes the concept and development progress