Development of a framework for automated systematic testing of safety-critical embedded systems

“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. In model-based testing the test cases are derived from a model of the system under test. In our approach the model is an automaton model that is automatically extracted from the C-source code of the system under test. Beside random test data generation the test case generation uses formal methods, in detail model checking techniques. To find appropriate test cases we use the requirements defined in the system specification. To cover further execution paths we developed an additional, to our best knowledge, novel method based on special structural coverage criteria. We present preliminary results on the model extraction using a concrete industrial case study from the automotive domain

К анализу торцового трещинообразования при сушке древесины сосны

В статье рассмотрена причина появления трещин усушки и показана необходимость их контроля с учетом влияния на качество сушки пиломатериала. Приведены данные по контролю торцовых трещин, выходящих на боковые поверхности, и расчетным путем определены скорости изменения температурного поля пиломатериала в момент начала интенсивного трещинообразования. В результате получено, что в первом периоде сушки, характеризующемся интенсивным изменением температурного поля, в древесине сосны появляются только мелкие торцовые трещины, не выходящие на поверхность пиломатериала. Во втором периоде сушки - периоде постоянной скорости, характеризующемся интенсивным испарением влаги, появляются развитые торцовые трещины, выходящие на боковые поверхности и дающие большой процент брака

Structural and functional properties of a magnesium transporter of the SLC11/NRAMP family

Members of the ubiquitous SLC11/NRAMP family catalyze the uptake of divalent transition metal ions into cells. They have evolved to efficiently select these trace elements from a large pool of Ca2+ and Mg2+, which are both orders of magnitude more abundant, and to concentrate them in the cytoplasm aided by the cotransport of H+ serving as energy source. In the present study, we have characterized a member of a distant clade of the family found in prokaryotes, termed NRMTs, that were proposed to function as transporters of Mg2+. The protein transports Mg2+ and Mn2+ but not Ca2+ by a mechanism that is not coupled to H+. Structures determined by cryo-EM and X-ray crystallography revealed a generally similar protein architecture compared to classical NRAMPs, with a restructured ion binding site whose increased volume provides suitable interactions with ions that likely have retained much of their hydration shell. Keywords: cryo-EM; isothermal titration calorimetry; magnesium transport; molecular biophysics; structural biology; transport assays; x-ray crystallogrpah

Photophysiological state of natural phytoplankton communities in the South China Sea and Sulu Sea

In recent years, an increasing number of studies on phytoplankton in the tropical South China Sea (SCS) and Sulu Sea (SS) have been conducted. However, still little is known about the photophysiological state of natural phytoplankton communities under varying environmental conditions. This study investigates the photophysiological state of natural phytoplankton communities in the southern SCS and SS based on high horizontal and vertical resolution field observations collected during the SHIVA (Stratosphere ozone: Halogens in a Varying Atmosphere) cruise (SO 218) in November 2011 on board RV Sonne. At the surface, pigment results revealed that total chlorophyll a (TChl a ) concentrations at all offshore stations were low at the surface and were generally dominated by cyanobacteria. Enhanced concentrations of TChl a were only observed below the upper mixed layer and above the euphotic depth with haptophytes, prochlorophytes and prasinophytes contributing most of the biomass. At stations close to the coast and river outflows, surface phytoplankton blooms (between 1 to 2.2 mg m−3) dominated by diatoms were observed. Overall, the study region exhibited strong nitrate + nitrite (NOx, 2 μmol L−1) were observed in conjunction with increased TChl a and diatoms concentrations. Surface NOx concentrations were observed to correlate positively with temperature (τ = 0.22, p 0.4

Structural basis for the activation of the lipid scramblase TMEM16F

TMEM16F, a member of the conserved TMEM16 family, plays a central role in the initiation of blood coagulation and the fusion of trophoblasts. The protein mediates passive ion and lipid transport in response to an increase in intracellular Ca$^{2+}$. However, the mechanism of how the protein facilitates both processes has remained elusive. Here we investigate the basis for TMEM16F activation. In a screen of residues lining the proposed site of conduction, we identify mutants with strongly activating phenotype. Structures of these mutants determined herein by cryo-electron microscopy show major rearrangements leading to the exposure of hydrophilic patches to the membrane, whose distortion facilitates lipid diffusion. The concomitant opening of a pore promotes ion conduction in the same protein conformation. Our work has revealed a mechanism that is distinct for this branch of the family and that will aid the development of a specific pharmacology for a promising drug target

Sources of short-lived bromocarbons in the Iberian upwelling system

Seawater concentrations of the four brominated trace gases dibromomethane (CH2Br2), bromodichloromethane (CHBrCl2), dibromochloromethane (CHBr2Cl) and bromoform (CHBr3) were measured at different depths of the water column in the Iberian upwelling off Portugal during summer 2007. Bromocarbon concentrations showed elevated values in recently upwelled and aged upwelled waters (mean values of 30 pmol L−1 for CHBr3), while values in the open ocean were significantly lower (7.4 pmol L−1 for CHBr3). Correlations with biological variables and marker pigments indicated that phytoplankton could be identified as a weak bromocarbon source in the open ocean. In upwelled water masses along the coast, halocarbons were not correlated to Chl-a, indicating an external source, overlapping the possible internal production by phytoplankton. We showed that the tidal frequency had a significant influence on halocarbon concentrations in the upwelling and we linked those findings to a strong intertidal coastal source, as well as to a transport of those halocarbon enriched coastal waters by westward surface upwelling currents. Coastal sources and transport can be accounted for maximum values of up to 185.1 pmol L−1 CHBr3 in the upwelling. Comparison with other productive marine areas revealed that the Iberian upwelling had stronger halocarbon sources than the phytoplankton dominated sources in the Mauritanian upwelling. However, the concentrations off the Iberian Peninsula were still much lower than those of coastal macroalgal influenced waters or those of polar regions dominated by cold water adapted diatom