A code tagging approach to software product line development

Software product line engineering seeks to systematise reuse when developing families of similar software systems so as to minimise development time, cost and defects. To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these might require unaffordable paradigm shifts for developers if the software was not thought at the outset as a product line. Furthermore, these techniques can be conflicting with a company’s coding practices or external regulations. These concerns were the motivation for the industry–university collaboration described in this paper in which we developed a minimally intrusive coding technique based on tags. The approach was complemented with traceability from code to feature diagrams which were exploited for automated configuration. It is supported by a toolchain and is now in use in the partner company for the development of flight-grade satellite communication software libraries.     

What can you verify and enforce at runtime?

The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. First, we extend the Safety-Progress classification of properties in a runtime context. Second, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of ??property monitoring?? to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors.     

Characterization of the Functional Cross-Talk between Surface GABAA and Dopamine D5 Receptors

The γ-aminobutyric acid type A receptor (GABA_AR) plays a major role in fast inhibitory synaptic transmission and is highly regulated by the neuromodulator dopamine. In this aspect, most of the attention has been focused on the classical intracellular signaling cascades following dopamine G-protein-coupled receptor activation. Interestingly, the GABA_AR and dopamine D5 receptor (D5R) have been shown to physically interact in the hippocampus, but whether a functional cross-talk occurs is still debated. In the present study, we use a combination of imaging and single nanoparticle tracking in live hippocampal neurons to provide evidence that GABA_ARs and D5Rs form dynamic surface clusters. Disrupting the GABA_AR–D5R interaction with a competing peptide leads to an increase in the diffusion coefficient and the explored area of both receptors, and a drop in immobile synaptic GABA_ARs. By means of patch-clamp recordings, we show that this fast lateral redistribution of surface GABA_ARs correlates with a robust depression in the evoked GABAergic currents. Strikingly, it also shifts in time the expression of long-term potentiation at glutamatergic synapses. Together, our data both set the plasma membrane as the primary stage of a functional interplay between GABA_AR and D5R, and uncover a non-canonical role in regulating synaptic transmission.     

SOLUBILITY AND DIFFUSIVITY OF GASES IN AN ORGANIC SOLUTION OF AMINE

Solubilities and diffusivities of carbon dioxide and nitrous oxide in a mixture of toluene and isopropanol organic solution of cyclohexylamine were measured at 20°C in the range of pressures of solute from 1 to 3 bars. This was performed with an original chromatographic technique taking into account the presence of the product of the reaction.     

Relationship between cell morphology and impact strength of microcellular foamed high‐density polyethylene/polypropylene blends

Polymer blends, such as those resulting from recycling postconsumer plastics, often have poor mechanical properties. Microcellular foams have been shown to have the potential to improve properties, and permit higher‐value uses of mixed polymer streams. In this study, the effects of microcellular batch processing conditions (foaming time and temperature) and HDPE/PP blend compositions on the cell morphology (the average cell size and cell‐population density) and impact strength were studied. Optical microscopy was used to investigate the miscibility and crystalline morphology of the HDPE/PP blends. Pure HDPE and PP did not foam well at any processing conditions. Blending facilitated the formation of microcellular structures in polyolefins because of the poorly bonded interfaces of immiscible HDPE/PP blends, which favored cell nucleation. The experimental results indicated that well‐developed microcellular structures are produced in HDPE/PP blends at ratios of 50:50 and 30:70. The cell morphology had a strong relationship with the impact strength of foamed samples. Improvement in impact strength was associated with well‐developed microcellular morphology. Polym. Eng. Sci. 44:1551–1560, 2004. © 2004 Society of Plastics Engineers.     

Electrochemical study of liquid-solid mass transfer in packed bed electrodes with upward and downward co-current gas-liquid flow

Hydrodynamic and mass transfer parameters (pressure drop, gas and liquid hold-up, liquid-solid mass transfer coefficients) have been measured for porous electrodes with upward or downward co-current gas-liquid flow by means of several electrochemical techniques. The influence of the most important parameters (packing diameter, gas and liquid flow rates) and of the hydrodynamic flow regimes, has been studied. It is found that in the trickle flow regime the limiting current densities depend only on the liquid flow rates (with no measurable influence of the gas). In the upward flow configuration, the strong turbulence generated by the ascending gas bubbles leads to a sharp increase of current densities with the gas flow rate. A comparison between both configurations is presented.     

Team cognition in a cyber defense context: focus on social support behaviors

In the face of increasingly prominent cyber security issues, the organization of cyber team analysts has become crucial to thwart cyber threats. Few studies have examined the functioning of the team and the interaction between individuals in a cyber defense context and how the context influences team adaptation. The present study investigates team cognition in a cyber defense context and in particular the nature of task- or team-centered communication among analysts during a cyber defense simulation exercise. Results indicate that markers of situation assessment and shared mental models are both strategically present and linked. Nevertheless, the frequency of these markers varies depending on the quantity and quality of problems encountered; in particular, variations in social support behaviors are observed. Decreasing social support behaviors during high level activities suggests the adaptation of social behaviors depending on the threats and attacks on the system. Theoretical and practical implications are discussed in terms of theories and potential consequences for strategic adaptation and team resilience.

     

Note: a high transmission Faraday optical isolator in the 9.2 μm range

We have fabricated and characterized an n-doped InSb Faraday isolator in the mid-IR range (9.2 μm). A high isolation ratio (31(2) dB) and low insertion loss (1.9(3) dB) are obtained. Temperature dependance is analyzed. Further possible improvements are discussed, including the realization of a two-stage isolator. A similar design can be used to cover a wide wavelength range (λ ~ 7.5-30 μm).