Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

Large-scale Coronal Heating, Clustering of Coronal Bright Points, and Concentration of Magnetic Flux

By combining quiet-region Fe XII coronal images from SOHO/EIT with magnetograms from NSO/Kitt Peak and from SOHO/MDI, we show that the population of network coronal bright points and the magnetic flux content of the network are both markedly greater under the bright half of the large-scale quiet corona than under the dim half. These results (1) support the view that the heating of the entire corona in quiet regions and coronal holes is driven by fine-scale magnetic activity (microflares, explosive events, spicules) seated low in the magnetic network, and (2) suggest that this large-scale modulation of the magnetic flux and coronal heating is a signature of giant convection cells. This revised version was published online in June 2006 with corrections to the Cover Date.     

Antideuterons as an indirect dark matter signature: Si(Li) detector development and a GAPS balloon mission

The General AntiParticle Spectrometer (GAPS) is a novel approach for indirect dark matter searches that exploits cosmic antideuterons. GAPS complements existing and planned direct dark matter searches as well as other indirect techniques, probing a different and unique region of parameter space in a variety of proposed dark matter models. The GAPS method involves capturing antiparticles into a target material with the subsequent formation of an excited exotic atom. The exotic atom decays with the emission of atomic X-rays and pions from the nuclear annihilation, which uniquely identifies the captured antiparticle. This technique has been verified through the accelerator testing at KEK in 2004 and 2005. The prototype flight is scheduled from Hokkaido, Japan in 2011, preparatory for a long duration balloon flight from the Antarctic in 2014.     

The Education and Public Outreach Program for NASA��s Dawn Mission

The Dawn mission??s Education and Public Outreach (E/PO) program takes advantage of the length of the mission, an effort to maintain level funding, and the exceptional support of the science and engineering teams to create formal and informal educational materials that bring STEM content and modes of thinking to students of all ages. With materials that are based on researched pedagogical principles and aligned with science education standards, Dawn weaves together many aspects of the mission to engage students, teachers, and the general public. E/PO tells the story of the discovery of the asteroid belt, uncovers principles of physics behind the ion propulsion that powers the spacecraft, and explains what we can learn from the instrumentation and how the mission??s results will expand our understanding of the origins of the solar system. In this way, we not only educate and inform, we build anticipation and expectation in the general public for the spacecraft??s arrival at Vesta in 2011 and three years later at Ceres. This chapter discusses the organization, strategies, formative assessment and dissemination of these materials and activities, and includes a section on lessons learned.     

A DORIS determination of the absolute velocities of the Sorsdal and Mellor glaciers in Antarctica

The Lambert–Amery System is the largest glacier–ice shelf system in East Antarctica, draining a significant portion of the ice sheet. Variation in ice sheet discharge from Antarctica or Greenland has an impact on the rate of change in global mean sea level; which is a manifestation of climate change. In conjunction with a measure of ice thickness change, ice sheet discharge can be monitored by determining the absolute velocities of these glaciers.     

Solar activity dependence of total electron content derived from GPS observations over Mbarara

Vertical total electron content (VTEC) observed at Mbarara (geographic co-ordinates: 0.60°S, 30.74°E; geomagnetic coordinates: 10.22°S, 102.36°E), Uganda, for the period 2001–2009 have been used to study the diurnal, seasonal and solar activity variations. The daily values of the 10.7 cm radio flux (F_10.7) and sunspot number (R) were used to represent Solar Extreme Ultraviolet Variability (EUV). VTEC is generally higher during high solar activity period for all the seasons and increases from 0600 h LT and reaches its maximum value within 1400 h–1500 h LT. All analysed linear and quadratic fits demonstrate positive VTEC-F_10.7 and positive VTEC-R correlation, with all fits at 0000 h and 1400 h LT being significant with a confidence level of 95% when both linear and quadratic models are used. All the fits at 0600 h LT are insignificant with a confidence level of 95%. Generally, over Mbarara, quadratic fit shows that VTEC saturates during all seasons for F_10.7 more than 200 units and R more than 150 units. The result of this study can be used to improve the International Reference Ionosphere (IRI) prediction of TEC around the equatorial region of the African sector.     

A mission template for exploration and damage mitigation of potential hazard of Near Earth Asteroids

The Apophis Exploratory and Mitigation Platform (AEMP) concept was developed as a prototype mission to explore and potentially deflect the Near Earth Asteroid (NEA) 99942 Apophis. Deflection of the asteroid from the potential 2036 impact will be achieved using a gravity tractor technique, while a permanent deflection, eliminating future threats, will be imparted using a novel albedo manipulation technique. This mission will serve as an archetypal template for future missions to small NEAs and could be adapted to mitigate the threat of collision with other potential Earth-crossing objects.     

Progress in basic space science education and research: The UNBSSI

This report describes recent progress in the UN Basic Space Science Initiative (UNBSSI), which aims to facilitate space science education and research, and attendant resources in developing countries. In addition to holding workshops across the developing world, the UN Committee on the Peaceful Uses of Outer Space (COPUOS) successfully implemented the International Heliophysical Year (IHY) as a catalyst for improving understanding of the Sun and of solar-terrestrial physics. Building on this it is now preparing for the International Space Weather Initiative (ISWI). Achievements of the former are discussed, as are the goals and anticipated activities of the latter.     

Embedded information system re-engineering

Currently fielded embedded information systems face readiness challenges imposed by evolving missions and extended service lifespans. The ability to overcome these challenges is constrained by such factors as shrinking budgets, limited computational capacity and diminished manufacturing sources effects that impact both hardware and software options. Wholesale redevelopment is often cost prohibitive, particularly since large portions of embedded applications continue to fulfil mission requirements. Solutions must preserve prior investments while providing efficient pathways for continued technology refresh. A technology solution for affordable modernization of legacy system software is being development. The Embedded Information System Re-engineering (EISR) project is developing an automation-assisted JOVIAL-to-C re-engineering capability that permits simultaneous modernization of both the structure and source language of legacy embedded applications. Engineers will be able to apply the proven labor-saving visualization and analysis features of modern CASE tools to legacy JOVIAL applications. EISR will thus allow the DoD to recapture previous investments in proven legacy algorithms and mission capabilities while permitting the full exploitation of COTS economies of scale. This paper describes in brief the goals and objectives of the EISR project, and provides the current status of the EISR capability.