Reducing the risks of using Ada onboard the Space Station

The Ada programming language was chosen by NASA as the primary computer programming language for the development of new software for the US Space Station. Ada was selected based on the results of investigations coordinated through Johnson Space Center (JSC) and that resulted in the identification of a set of problems and risks associated with using software developed in Ada. Some of the specific solutions to problems identified through these investigations are described. Three areas in which Ada's use poses risks are discussed: real-time process control; the testing and verification of flight software for man-rated systems; and software error detection, identification, and recovery required in safety-critical systems     

The Solar Energetic Particle Ionic Charge Analyzer (SEPICA) and the Data Processing Unit (S3DPU) for SWICS,SWIMS and SEPICA

The Solar Energetic Particle Ionic Charge Analyzer (SEPICA) is the main instrument on the Advanced Composition Explorer (ACE) to determine the ionic charge states of solar and interplanetary energetic particles in the energy range from ≈0.2 MeV nucl−1 to ≈5 MeV charge−1. The charge state of energetic ions contains key information to unravel source temperatures, acceleration, fractionation and transport processes for these particle populations. SEPICA will have the ability to resolve individual charge states and have a substantially larger geometric factor than its predecessor ULEZEQ on ISEE-1 and -3, on which SEPICA is based. To achieve these two requirements at the same time, SEPICA is composed of one high-charge resolution sensor section and two low- charge resolution, but large geometric factor sections. The charge resolution is achieved by the focusing of the incoming ions, through a multi-slit mechanical collimator, deflection in an electrostatic analyzer with a voltage up to 30 kV, and measurement of the impact position in the detector system. To determine the nuclear charge (element) and energy of the incoming ions, the combination of thin-window flow-through proportional counters with isobutane as counter gas and ion-implanted solid state detectors provide for 3 independent ΔE (energy loss) versus E (residual energy) telescopes. The multi-wire proportional counter simultaneously determines the energy loss ΔE and the impact position of the ions. Suppression of background from penetrating cosmic radiation is provided by an anti-coincidence system with a CsI scintillator and Si-photodiodes. The data are compressed and formatted in a data processing unit (S3DPU) that also handles the commanding and various automatted functions of the instrument. The S3DPU is shared with the Solar Wind Ion Charge Spectrometer (SWICS) and the Solar Wind Ion Mass Spectrometer (SWIMS) and thus provides the same services for three of the ACE instruments. It has evolved out of a long family of data processing units for particle spectrometers. This revised version was published online in June 2006 with corrections to the Cover Date.