Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

CFAR data fusion center with inhomogeneous receivers

Detection systems with distributed sensors and data fusion are increasingly used by surveillance systems. A system formed by N inhomogeneous constant false alarm rate (CFAR) detectors (cell-averaging (CA) and ordered statistic (OS) CFAR detectors) is studied. A recursive formulation of an algorithm that permits a fixed level of false alarms in the data fusion center is presented, to set the optimum individual threshold levels in the CFAR receivers and the optimum `K out of N' decision rule in order to maximize the total probability of detection. The algorithm also considers receivers of different quality or with different communication channel qualities connecting them with the fusion center. This procedure has been applied to several hypothetical networks with distributed CA-CFAR and OS-CFAR receivers and for Rayleigh targets and interference, and it was seen that in general the fusion decision OR rule is not always the best     

Data path synthesis in digital electronics. I. Memory allocation

A data path consists of memory elements (i.e., registers), data operators (i.e. ALUs) and interconnection units (i.e. buses) to control the data transfers in the digital system. Many approaches to hardware allocation for data path synthesis have been proposed in the literature; however, only single-port memory is considered for register allocation and no efficient synthesis approach for multiport memory synthesis. A novel design methodology for data path synthesis using multiport memories is proposed which can be applied to hardware allocation algorithms or to already synthesized data path as a postprocessor to achieve a better design. Illustrations of applying this method to different synthesis examples are presented. Results and improvements over previous techniques are demonstrated. Experiments on benchmarks show very promising results     

ExoMars 2016 Schiaparelli Module Trajectory and Atmospheric Profiles Reconstruction

On 19^th October 2016 Schiaparelli module of the ExoMars 2016 mission flew through the Mars atmosphere. After successful entry and descent under parachute, the module failed the last part of the descent and crashed on the Mars surface. Nevertheless the data transmitted in real-time by Schiaparelli during the entry and descent, together with the entry state vector as initial condition, have been used to reconstruct both the trajectory and the profiles of atmospheric density, pressure and temperature along the traversed path.The available data-set is only a small sub-set of the whole data acquired by Schiaparelli, with a limited data rate (8 kbps) and a large gap during the entry because of the plasma blackout on the communications.This paper presents the work done by the AMELIA (Atmospheric Mars Entry and Landing Investigations and Analysis) team in the exploitation of the available inertial and radar data. First a reference trajectory is derived by direct integration of the inertial measurements and a strategy to overcome the entry data gap is proposed. First-order covariance analysis is used to estimate the uncertainties on all the derived parameters. Then a refined trajectory is computed incorporating the measurements provided by the on-board radar altimeter.The derived trajectory is consistent with the events reported in the telemetry and also with the impact point identified on the high-resolution images of the landing site.Finally, atmospheric profiles are computed tacking into account the aerodynamic properties of the module. Derived profiles result in good agreement with both atmospheric models and available remote sensing observations.     

Isotopic Signatures of Presolar Materials in Interplanetary Dust

Interplanetary dust particles collected in the stratosphere frequently exhibit enrichments in deuterium (D) and ¹⁵N relative to terrestrial materials. These effects are most likely due to the preservation of presolar interstellar materials. While the elevated D/H ratios probably resulted from mass fractionation during chemical reactions at very low < 100 K temperatures, the origin of the N isotopic anomalies remains unresolved. The bulk of the N-bearing material may have obtained its isotopic signatures from low temperature chemistry, but a nucleosynthetic origin is also possible. This revised version was published online in August 2006 with corrections to the Cover Date.     

Combined Use of Altimetry and In Situ Gravity Data for Coastal Dynamics Studies

Accurate local geoids derived from in situ gravity data will be valuable in the validation of GOCE results. In addition it will be a challenge to use GOCE data in an optimal way, in combination with in situ gravity, to produce better local geoid solutions. This paper discusses the derivation of a new geoid over the NW European shelf, and its comparison with both tide gauge and altimetric sea level data, and with data from ocean models. It is hoped that over the next few years local geoid methods such as these can be extended to cover larger areas and to incorporate both in situ and satellite measured gravity data. This revised version was published online in August 2006 with corrections to the Cover Date.     

Langmuir Turbulence and Solar Radio Bursts

Langmuir waves and turbulence resulting from an electron beam-plasma instability play a fundamental role in the generation of solar radio bursts. We report recent theoretical advances in nonlinear dynamics of Langmuir waves. First, starting from the generalized Zakharov equations, we study the parametric excitation of solar radio bursts at the fundamental plasma frequency driven by a pair of oppositely propagating Langmuir waves with different wave amplitudes. Next, we briefly discuss the emergence of chaos in the Zakharov equations. We point out that chaos can lead to turbulence in the source regions of solar radio emissions. This revised version was published online in August 2006 with corrections to the Cover Date.     

Calibration of the MERIC full-polarimetric radar: theory and implementation

This paper describes the architecture and calibration design of the experimental ground based radar station MERIC. This full-polarimetric radar is conceived for the analysis and the recognition of non cooperative aircraft in flight.We carefully study how the full-polarimetric capability is obtained for a simultaneous transmit (simultaneous transmission of two linear FM with opposite slopes) radar system, using analogue deramping with a replica.The phase distortions of the signal propagating in the four polarimetric channels are carefully estimated. We define a phase calibrating method compatible with the outdoor measurements conditions and few constraints on reference targets.We show the phase accuracy obtained with the proposed calibration method on real measurements.     

Global imaging of O+ from IMAGE/HENA

The magnetospheric O⁺ population in the 52–180 keV range during storms is investigated through the analysis of energetic neutral atom (ENA) images. The images are obtained from the high energy neutral atom (HENA) imager onboard the IMAGE satellite. At each substorm onset following the commencement of a geomagnetic storm the oxygen ENA display ～30 min intense bursts. Only very weak corresponding features in the 60–119 keV hydrogen ENA can be occasionally seen. The dominating fraction of the oxygen ENA emissions are produced when O⁺ ions mirror/precipitate at low altitudes, where the number density of the neutral atmosphere is high. During the storm we observed several bursts of oxygen ENA, but it is still not clear how much the O⁺ content of the ring current increases during the storm main phase. Our observations suggest that the responsible injection mechanism is mass-dependent and scatters the pitch angles. This leads us to favor a non-adiabatic mechanism proposed by (Delcourt, 2002).     

The Role and Contributions of Energetic Neutral Atom (ENA) Imaging in Magnetospheric Substorm Research

Energetic Neutral Atom (ENA) imaging has contributed substantially to substorm research. This technique has allowed significant advances in areas such as observation and quantification of injected particle drift as a function of energy, observation of dynamics in the tail that are directly related to the effects of imposed (growth phase) and induced (expansion phase) electric fields on the plasma, the prompt extraction of oxygen from the ionosphere during substorms, the relationship between storms and substorms, and the timing of substorm ENA signatures. We present discussion of the advantages and shortcomings of the ENA technique for studying space plasmas. Although the technique is in its infancy, it is yielding results that enrich our understanding of the substorm process and its effects.