Timing Analysis using the MARTE Profile in the Design of Rail Automation Systems

International audienceFor dependable systems as in the railway domain the timing behaviour is considered part of the functional correctness. Thus timing requirements have to be traced and refined through the system and software development phases and validation and verification efforts have to address the timing as well as the pure input/output behaviour. We show how timing can be handled in a UML or SysML based approach to the development of software-intensive railway systems by using the new MARTE profile. Thereby timing becomes fully integrated in the chain of system and software models and may benefit from tool support. Moreover, automated timing analysis may be employed via model transformations which enables the exploration of timing-related issues in various design phases

Methylation Status of Imprinted Genes and Repetitive Elements in Sperm DNA from Infertile Males

Stochastic, environmentally and/or genetically induced disturbances in the genome-wide epigenetic reprogramming processes during male germ-cell development may contribute to male infertility. To test this hypothesis, we have studied the methylation levels of 2 paternally (H19 and GTL2) and 5 maternally methylated (LIT1, MEST, NESPAS, PEG3, and SNRPN) imprinted genes, as well as of ALU and LINE1 repetitive elements in 141 sperm samples, which were used for assisted reproductive technologies (ART), including 106 couples with strictly male-factor or combined male and female infertility and 28 couples with strictly female-factor infertility. Aberrant methylation imprints showed a significant association with abnormal semen parameters, but did not seem to influence ART outcome. Repeat methylation also differed significantly between sperm samples from infertile and presumably fertile males. However, in contrast to imprinted genes, ALU methylation had a significant impact on pregnancy and live-birth rate in couples with male-factor or combined infertility. ALU methylation was significantly high-er in sperm samples leading to pregnancy and live-birth than in those that did not. Sperm samples leading to abortions showed significantly lower ALU methylation levels than those leading to the birth of a baby. Copyright (C) 2011 S. Karger AG, Base

Evaluation of the thermal stability of TiW/Cu heterojunctions using a combined SXPS and HAXPES approach

Power semiconductor device architectures require the inclusion of a diffusion barrier to suppress or at best prevent the interdiffusion between the copper metallization interconnects and the surrounding silicon substructure. The binary pseudo-alloy of titanium–tungsten (TiW), with >70 at. % W, is a well-established copper diffusion barrier but is prone to degradation via the out-diffusion of titanium when exposed to high temperatures ([Formula: see text]400 [Formula: see text]C). Here, the thermal stability of physical vapor deposited TiW/Cu bilayer thin films in Si/SiO[Formula: see text](50 nm)/TiW(300 nm)/Cu(25 nm) stacks were characterized in response to annealing at 400 [Formula: see text]C for 0.5 h and 5 h, using a combination of soft and hard x-ray photoelectron spectroscopy and transmission electron microscopy. Results show that annealing promoted the segregation of titanium out of the TiW and interdiffusion into the copper metallization. Titanium was shown to be driven toward the free copper surface, accumulating there and forming a titanium oxide overlayer upon exposure to air. Annealing for longer timescales promoted a greater out-diffusion of titanium and a thicker oxide layer to grow on the copper surface. However, interface measurements suggest that the diffusion is not significant enough to compromise the barrier integrity, and the TiW/Cu interface remains stable even after 5 h of annealing

β-Catenin signals regulate cell growth and the balance between progenitor cell expansion and differentiation in the nervous system

Abstractβ-Catenin is an essential component of the canonical Wnt signaling system that controls decisive steps in development. We employed here two conditional β-catenin mutant alleles to alter β-catenin signaling in the central nervous system of mice: one allele to ablate β-catenin and the second allele to express a constitutively active β-catenin. The tissue mass of the spinal cord and brain is reduced after ablation of β-catenin, and the neuronal precursor population is not maintained. In contrast, the spinal cord and brain of mice that express activated β-catenin is much enlarged in mass, and the neuronal precursor population is increased in size. β-Catenin signals are thus essential for the maintenance of proliferation of neuronal progenitors, controlling the size of the progenitor pool, and impinging on the decision of neuronal progenitors to proliferate or to differentiate

Unsaturated fatty acids are inhibitors of bacterial conjugation

This report describes a high-throughput assay to identify substances that reduce the frequency of conjugation in Gram-negative bacteria. Bacterial conjugation is largely responsible for the spread of multiple antibiotic resistances in human pathogens. Conjugation inhibitors may provide a means to control the spread of antibiotic resistance. An automated conjugation assay was developed that used plasmid R388 and a laboratory strain of Escherichia coli as a model system, and bioluminescence as a reporter for conjugation activity. Frequencies of conjugation could be measured continuously in real time by the amount of light produced, and thus the effects of inhibitory compounds could be determined quantitatively. A control assay, run in parallel, allowed elimination of compounds affecting cell growth, plasmid stability or gene expression. The automated conjugation assay was used to screen a database of more than 12 000 microbial extracts known to contain a wide variety of bioactive compounds (the NatChem library). The initial hit rate was 1·4 %. From these, 48 extracts containing active compounds and representing a variety of organisms and extraction conditions were subjected to fractionation (24 fractions per extract). The 52 most active fractions were subjected to a secondary analysis to determine the range of plasmid inhibition. Plasmids R388, R1 and RP4 were used as representatives of a variety of plasmid transfer systems. Only one fraction (of complex composition) affected transfer of all three plasmids, while four other fractions were active against two of them. Two separate compounds were identified from these fractions: linoleic acid and dehydrocrepenynic acid. Downstream analysis showed that the chemical class of unsaturated fatty acids act as true inhibitors of conjugation

Adipose triglyceride lipase activity is inhibited by long-chain acyl-coenzyme A

AbstractAdipose triglyceride lipase (ATGL) is required for efficient mobilization of triglyceride (TG) stores in adipose tissue and non-adipose tissues. Therefore, ATGL strongly determines the availability of fatty acids for metabolic reactions. ATGL activity is regulated by a complex network of lipolytic and anti-lipolytic hormones. These signals control enzyme expression and the interaction of ATGL with the regulatory proteins CGI-58 and G0S2. Up to date, it was unknown whether ATGL activity is also controlled by lipid intermediates generated during lipolysis. Here we show that ATGL activity is inhibited by long-chain acyl-CoAs in a non-competitive manner, similar as previously shown for hormone-sensitive lipase (HSL), the rate-limiting enzyme for diglyceride breakdown in adipose tissue. ATGL activity is only marginally inhibited by medium-chain acyl-CoAs, diglycerides, monoglycerides, and free fatty acids. Immunoprecipitation assays revealed that acyl-CoAs do not disrupt the protein–protein interaction of ATGL and its co-activator CGI-58. Furthermore, inhibition of ATGL is independent of the presence of CGI-58 and occurs directly at the N-terminal patatin-like phospholipase domain of the enzyme. In conclusion, our results suggest that inhibition of the major lipolytic enzymes ATGL and HSL by long-chain acyl-CoAs could represent an effective feedback mechanism controlling lipolysis and protecting cells from lipotoxic concentrations of fatty acids and fatty acid-derived lipid metabolites