Generating requirements for complex embedded systems using State Analysis

It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.     

Aqueous corrosion of phosphide minerals from iron meteorites: a highly reactive source of prebiotic phosphorus on the surface of the early Earth

We present the results of an experimental study of aqueous corrosion of Fe-phosphide under conditions relevant to the early Earth. The results strongly suggest that iron meteorites were an important source of reactive phosphorus (P), a requirement for the formation of P-based life. We further demonstrate that iron meteorites were an abundant source of phosphide minerals early in Earth history. Phosphide corrosion was studied in five different solutions: deionized water, deionized water buffered with sodium bicarbonate, deionized water with dissolved magnesium and calcium chlorides, deionized water containing ethanol and acetic acid, and deionized water containing the chlorides, ethanol, and acetic acid. Experiments were performed in the presence of both air and pure Ar gas to evaluate the effect of atmospheric chemistry. Phosphide corrosion in deionized water results in a metastable mixture of mixed-valence, P-bearing ions including pyrophosphate and triphosphate, key components for metabolism in modern life. In a pH-buffered solution of NaHCO(3), the condensed and reduced species diphosphonate is an abundant corrosion product. Corrosion in ethanol- and acetic acid-containing solutions yields additional P-bearing organic molecules, including acetyl phosphonate and a cyclic triphosphorus molecule. Phosphonate is a major corrosion product of all experiments and is the only P-bearing molecule that persists in solutions with high concentrations of magnesium and calcium chlorides, which suggests that phosphonate may have been a primitive oceanic source of P. The stability and reactivity of phosphonate and hypophosphite in solution were investigated to elucidate reaction mechanisms and the role of mineral catalysts on P-solution chemistry. Phosphonate oxidation is rapid in the presence of Fe metal but negligible in the presence of magnetite and in the control sample. The rate of hypophosphite oxidation is independent of reaction substrate.     

Medium PRF radar PRF selection using evolutionary algorithms

Evolutionary algorithms are applied to the optimization of pulse repetition frequency (PRF), for both eight-and nine PRFs, in medium PRF radar while considering the detailed effects of sidelobe clutter and many other technical factors. The algorithm presented also ensures that all the solutions produced are fully decodable and have no blind velocities. The evolutionary algorithm was able to identify near-optimum PRF sets for a realistic radar system with only a modest computational effort.     

Using gamma-ray burst prompt emission to probe relativistic shock acceleration

It is widely accepted that the prompt transient signal in the 10 keV–10 GeV band from gamma-ray bursts (GRBs) arises from multiple shocks internal to the ultra-relativistic expansion. The detailed understanding of the dissipation and accompanying acceleration at these shocks is a currently topical subject. This paper explores the relationship between GRB prompt emission spectra and the electron (or ion) acceleration properties at the relativistic shocks that pertain to GRB models. The focus is on the array of possible high-energy power-law indices in accelerated populations, highlighting how spectra above 1 MeV can probe the field obliquity in GRB internal shocks, and the character of hydromagnetic turbulence in their environs. It is emphasized that diffusive shock acceleration theory generates no canonical spectrum at relativistic MHD discontinuities. This diversity is commensurate with the significant range of spectral indices discerned in prompt burst emission. Such system diagnostics are now being enhanced by the broad-band spectral coverage of bursts by the Fermi Gamma-Ray Space Telescope; while the Gamma-Ray Burst Monitor (GBM) provides key diagnostics on the lower energy portions of the particle population, the focus here is on constraints in the non-thermal, power-law regime of the particle distribution that are provided by the Large Area Telescope (LAT).     

In-orbit assessment of laser retro-reflector efficiency onboard high orbiting satellites

The navigation and geodetic satellites that orbit the Earth at altitudes of approximately 20,000 km are tracked routinely by many of the Satellite Laser Ranging (SLR) stations of the International Laser Ranging Service (ILRS). In order to meet increasing demands on SLR stations for daytime and nighttime observations, any new mission needs to ensure a strong return signal so that the target is easily acquirable. The ILRS has therefore set a minimum effective cross-section of 100 million square metres for the on-board laser retro-reflector arrays (LRAs) and further recommends the use of ‘uncoated’ cubes in the arrays. Given the large number of GNSS satellites that are currently supported by SLR, it is informative to make an assessment of the relative efficiencies of the various LRAs employed. This paper uses the laser ranging observations themselves to deduce and then compare the efficiencies of the LRAs on the COMPASS-M1 navigation satellite, two satellites from the GPS and three from the GLONASS constellations, the two GIOVE test satellites from the upcoming Galileo constellation, the two Etalon geodetic spheres and the geosynchronous communications test satellite, ETS-8. All the LRAs on this set of satellites employ back-coated retro-reflector cubes, except those on the COMPASS-M1 and ETS-8 vehicles which are uncoated. A measure of return signal strength, and thus of LRA-efficiency, is calculated using the laser-range full-rate data archive from 2007 to 2010, scaled to remove the effects of variations in satellite range, atmospheric attenuation and retro-reflector target total surface area. Observations from five SLR stations are used in this study; they are Herstmonceux (UK), Yarragadee (Australia), Monument Peak and McDonald (USA) and Wettzell (Germany). Careful consideration is given to the treatment of the observations from each station in order to take account of local working practices and system upgrades. The results show that the uncoated retro-reflector cubes offer significant improvements in efficiency.     

Australia''s space heritage

An overview is provided of Australian space activities and their legacy, including the Woomera launch centre, tracking stations, space science, technology and applications. The military basis for many of the larger activities is discussed and the importance of using space-based remote sensing to deal with mounting global problems is emphasized.     

Knowledge Acquisition for ATE Diagnosis

An applied intelligence program for ATE fault diagnosis shows promise as an effective method to reduce mean time to repair (MTTR). The types of knowledge required by an intelligent diagnostic for VLSI test systems, the resources needed to derive that knowledge, the approach implemented to organize it, and the final form of the knowledge representations which resulted from our work are discussed in this paper.     

CubeSail: A low cost CubeSat based solar sail demonstration mission

CubeSail is a nano-solar sail mission based on the 3U CubeSat standard, which is currently being designed and built at the Surrey Space Centre, University of Surrey. CubeSail will have a total mass of around 3 kg and will deploy a 5 × 5 m sail in low Earth orbit. The primary aim of the mission is to demonstrate the concept of solar sailing and end-of-life de-orbiting using the sail membrane as a drag-sail. The spacecraft will have a compact 3-axis stabilised attitude control system, which uses three magnetic torquers aligned with the spacecraft principle axis as well as a novel two-dimensional translation stage separating the spacecraft bus from the sail. CubeSail’s deployment mechanism consists of four novel booms and four-quadrant sail membranes. The proposed booms are made from tape-spring blades and will deploy the sail membrane from a 2U CubeSat standard structure. This paper presents a systems level overview of the CubeSat mission, focusing on the mission orbit and de-orbiting, in addition to the deployment, attitude control and the satellite bus.     

The possibilities of polar meteorology,environmental remote sensing,communications and space weather applications from Artificial Lagrange Orbit

The ability to observe meteorological events in the polar regions of the Earth from satellite celebrated an anniversary, with the launch of TIROS-I in a pseudo-polar orbit on 1 April 1960. Yet, after 50 years, polar orbiting satellites are still the best view of the polar regions of the Earth. The luxuries of geostationary satellite orbit including rapid scan operations, feature tracking, and atmospheric motion vectors (or cloud drift winds), are enjoyed only by the middle and tropical latitudes or perhaps only cover the deep polar regions in the case of satellite derived winds from polar orbit. The prospect of a solar sailing satellite system in an Artificial Lagrange Orbit (ALO, also known as “pole sitters”) offers the opportunity for polar environmental remote sensing, communications, forecasting and space weather monitoring. While there are other orbital possibilities to achieve this goal, an ALO satellite system offers one of the best analogs to the geostationary satellite system for routine polar latitude observations.