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

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

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

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

Embedded fibre optic sensors within additive layer manufactured components

Smart materials with integrated sensing capabilities are now ubiquitous in many structures manufactured from composite materials and offer enhancement to the safety, reliability and efficiency of the resulting devices. This paper explores the application of embedded sensors to components manufactured using Additive Layer Manufacturing (ALM) technology. ALM offers the ability to create physical parts with little or no restriction in shape complexity. In this paper, optical fibre sensors incorporating fibre Bragg gratings (FBGs) were embedded inside a component made during a powder bed based layer-by-layer additive manufacturing process using a commercial EOS P730 system, where a laser was used to sinter the polymeric powder into a three dimensional component. The approach is based upon insertion of a ‘fibre-carrier’ component which replaced a removable ‘place-holder’ component during an interruption of the ALM build process. Tensile test specimens fabricated this way have been subjected to extended cyclic tensile loading trials at low strain levels of up to 475 µe. The test specimens demonstrated stable and reproducible responses over a period in excess of 720 days and 311,000 load cycles. Polyimide (PI) and acrylic (PMMA) jacketed fibres have been trialled and the resulting deformations of the component through internal stresses depending on the fibre jacket type are discussed.<br/

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

What makes you not a Sikh? : a preliminary mapping of values

This study sets out to establish which Sikh values contrasted with or were shared by non-Sikh adolescents. A survey of attitude toward a variety of Sikh values was fielded in a sample of 364 non-Sikh schoolchildren aged between 13 and 15 in London. Values where attitudes were least positive concerned Sikh duties/code of conduct, festivals, rituals, prayer Gurdwara attendance, listening to scripture recitation, the amrit initiation. Sikh values empathized with by non-Sikhs concerned family pride, charity, easy access to ordination and Gurdwaras, maintaining the five Ks, seeing God in all things, abstaining from meat and alcohol and belief in the stories of Guru Nanak. Further significant differences of attitude toward Sikhism were found in comparisons by sex, age and religious affiliation. Findings are applied to teaching Sikhism to pupils of no faith adherence. The study recommends the extension of values mapping to specifically Sikh populations

Exact Gap Computation for Code Coverage Metrics in ISO-C

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.Comment: In Proceedings MBT 2012, arXiv:1202.582

Serial intravascular ultrasound assessment of changes in coronary atherosclerotic plaque dimensions and composition: an update

This manuscript reviews the use of serial intravascular ultrasound (IVUS) examination of coronary atherosclerosis in recent observational studies and randomized trials that revealed the effects of cholesterol-lowering and lipid-modifying therapies and offered novel insight into plaque progression and regression. We discuss the value of plaque progression–regression as complementary imaging endpoint and potential surrogate marker of cardiovascular event risk. In addition, the progress in serial assessment of coronary plaque composition and plaque vulnerability by radiofrequency-based analyses is reviewed. Finally, we report on the evaluation of true vessel remodelling in recent serial IVUS trials and discuss the future perspective of serial invasive imaging of coronary atherosclerosis

Observation of time-invariant coherence in a nuclear magnetic resonance quantum simulator

The ability to live in coherent superpositions is a signature trait of quantum systems and constitutes an irreplaceable resource for quantum-enhanced technologies. However, decoherence effects usually destroy quantum superpositions. It has been recently predicted that, in a composite quantum system exposed to dephasing noise, quantum coherence in a transversal reference basis can stay protected for indefinite time. This can occur for a class of quantum states independently of the measure used to quantify coherence, and requires no control on the system during the dynamics. Here, such an invariant coherence phenomenon is observed experimentally in two different setups based on nuclear magnetic resonance at room temperature, realising an effective quantum simulator of two- and four-qubit spin systems. Our study further reveals a novel interplay between coherence and various forms of correlations, and highlights the natural resilience of quantum effects in complex systems