Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

International audienceThe purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification

Structure and Thermodynamics of the Mixed Alkali Alanates

The thermodynamics and structural properties of the hexahydride alanates (M2M'AlH6) with the elpasolite structure have been investigated. A series of mixed alkali alanates (Na2LiAlH6, K2LiAlH6 and K2NaAlH6) were synthesized and found to reversibly absorb and desorb hydrogen without the need for a catalyst. Pressure-composition isotherms were measured to investigate the thermodynamics of the absorption and desorption reactions with hydrogen. Isotherms for catalyzed (4 mol% TiCl3) and uncatalyzed Na2LiAlH6 exhibited an increase in kinetics, but no change in the bulk thermodynamics with the addition of a dopant. A structural analysis using synchrotron x-ray diffraction showed that these compounds favor the Fm-3m space group with the smaller ion (M') occupying an octahedral site. These results demonstrate that appropriate cation substitutions can be used to stabilize or destabilize the material and may provide an avenue to improving the unfavorable thermodynamics of a number of materials with promising gravimetric hydrogen densities.Comment: 6 pages, 7 figures,3 tables, submitted to PR

Superconductivity with hard-core repulsion: BCS-Bose crossover and s-/d-wave competition

We consider fermions on a 2D lattice interacting repulsively on the same site and attractively on the nearest neighbor sites. The model is relevant, for instance, to study the competition between antiferromagnetism and superconductivity in a Kondo lattice. We first solve the two-body problem to show that in the dilute and strong coupling limit the s-wave Bose condensed state is always the ground state. We then consider the many-body problem and treat it at mean-field level by solving exactly the usual gap equation. This guarantees that the superconducting wave-function correctly vanishes when the two fermions (with antiparallel spin) sit on the same site. This fact has important consequences on the superconducting state that are somewhat unusual. In particular this implies a radial node-line for the gap function. When a next neighbor hopping t' is present we find that the s-wave state may develop nodes on the Fermi surface.Comment: 10 pages, 9 fig

Superconductivity in the SU(N) Anderson Lattice at U=\infty

We present a mean-field study of superconductivity in a generalized N-channel cubic Anderson lattice at U=\infty taking into account the effect of a nearest-neighbor attraction J. The condition U=\infty is implemented within the slave-boson formalism considering the slave bosons to be condensed. We consider the $f$-level occupancy ranging from the mixed valence regime to the Kondo limit and study the dependence of the critical temperature on the various model parameters for each of three possible Cooper pairing symmetries (extended s, d-wave and p-wave pairing) and find interesting crossovers. It is found that the d- and p- wave order parameters have, in general, very similar critical temperatures. The extended s-wave pairing seems to be relatively more stable for electronic densities per channel close to one and for large values of the superconducting interaction J.Comment: Seven Figures; one appendix. Accepted for publication in Phys. Rev.

An automatic critical care urine meter

Nowadays patients admitted to critical care units have most of their physiological parameters measured automatically by sophisticated commercial monitoring devices. More often than not, these devices supervise whether the values of the parameters they measure lie within a pre-established range, and issue warning of deviations from this range by triggering alarms. The automation of measuring and supervising tasks not only discharges the healthcare staff of a considerable workload but also avoids human errors in these repetitive and monotonous tasks. Arguably, the most relevant physiological parameter that is still measured and supervised manually by critical care unit staff is urine output (UO). In this paper we present a patent-pending device that provides continuous and accurate measurements of patient’s UO. The device uses capacitive sensors to take continuous measurements of the height of the column of liquid accumulated in two chambers that make up a plastic container. The first chamber, where the urine inputs, has a small volume. Once it has been filled it overflows into a second bigger chamber. The first chamber provides accurate UO measures of patients whose UO has to be closely supervised, while the second one avoids the need for frequent interventions by the nursing staff to empty the containe

Soft and non-soft structural transitions in disordered nematic networks

Properties of disordered nematic elastomers and gels are theoretically investigated with emphasis on the roles of non-local elastic interactions and crosslinking conditions. Networks originally crosslinked in the isotropic phase lose their long-range orientational order by the action of quenched random stresses, which we incorporate into the affine-deformation model of nematic rubber elasticity. We present a detailed picture of mechanical quasi-Goldstone modes, which accounts for an almost completely soft polydomain-monodomain (P-M) transition under strain as well as a ``four-leaf clover'' pattern in depolarized light scattering intensity. Dynamical relaxation of the domain structure is studied using a simple model. The peak wavenumber of the structure factor obeys a power-law-type slow kinetics and goes to zero in true mechanical equilibrium. The effect of quenched disorder on director fluctuation in the monodomain state is analyzed. The random frozen contribution to the fluctuation amplitude dominates the thermal one, at long wavelengths and near the P-M transition threshold. We also study networks obtained by crosslinking polydomain nematic polymer melts. The memory of initial director configuration acts as correlated and strong quenched disorder, which renders the P-M transition non-soft. The spatial distribution of the elastic free energy is strongly dehomogenized by external strain, in contrast to the case of isotropically crosslinked networks.Comment: 19 pages, 15 EPS figure