RT-level fast fault simulator

In this paper a new fast fault simulation technique is presented for calculation of fault propagation through HLPs (High Level Primitives). ROTDDs (Reduced Ordered Ternary Decision Diagrams) are used to describe HLP modules. The technique is implemented in the HTDD RT-level fault simulator. The simulator is evaluated with some ITC99 benchmarks. A hypothesis is proved that a test set coverage of physical failures can be anticipated with high accuracy when RTL fault model takes into account optimization strategies that are used in CAE system applied

Validation of reactive embedded systems against specification requirements

In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented

Deinococcus glutaminyl-tRNA synthetase is a chimer between proteins from an ancient and the modern pathways of aminoacyl-tRNA formation

Glutaminyl-tRNA synthetase from Deinococcus radiodurans possesses a C-terminal extension of 215 residues appending the anticodon-binding domain. This domain constitutes a paralog of the Yqey protein present in various organisms and part of it is present in the C-terminal end of the GatB subunit of GatCAB, a partner of the indirect pathway of Gln-tRNA(Gln) formation. To analyze the peculiarities of the structure–function relationship of this GlnRS related to the Yqey domain, a structure of the protein was solved from crystals diffracting at 2.3 Å and a docking model of the synthetase complexed to tRNA(Gln) constructed. The comparison of the modeled complex with the structure of the E. coli complex reveals that all residues of E. coli GlnRS contacting tRNA(Gln) are conserved in D. radiodurans GlnRS, leaving the functional role of the Yqey domain puzzling. Kinetic investigations and tRNA-binding experiments of full length and Yqey-truncated GlnRSs reveal that the Yqey domain is involved in tRNA(Gln) recognition. They demonstrate that Yqey plays the role of an affinity-enhancer of GlnRS for tRNA(Gln) acting only in cis. However, the presence of Yqey in free state in organisms lacking GlnRS, suggests that this domain may exert additional cellular functions

Immunoproteomics and surfaceomics of the adult tapeworm Hymenolepis diminuta

In cestodiasis, mechanical and molecular contact between the parasite and the host activates the immune response of the host and may result in inflammatory processes, leading to ulceration and intestinal dysfunctions. The aim of the present study was to identify antigenic proteins of the adult cestode Hymenolepis diminuta by subjecting the total protein extracts from adult tapeworms to 2DE immunoblotting (two-dimensional electrophoresis combined with immunoblotting) using sera collected from experimentally infected rats. A total of 36 protein spots cross-reacting with the rat sera were identified using LC-MS/MS. As a result, 68 proteins, including certain structural muscle proteins (actin, myosin, and paramyosin) and moonlighters (heat shock proteins, kinases, phosphatases, and glycolytic enzymes) were identified; most of these were predicted to possess binding and/or catalytic activity required in various metabolic and cellular processes, and reported here as potential antigens of the adult cestode for the first time. As several of these antigens can also be found at the cell surface, the surface-associated proteins were extracted and subjected to in-solution digestion for LC-MS/MS identification (surfaceomics). As a result, a total of 76 proteins were identified, from which 31 proteins, based on 2DE immunoblotting, were predicted to be immunogenic. These included structural proteins actin, myosin and tubulin as well as certain moonlighting proteins (heat-shock chaperones) while enzymes with diverse catalytic activities were found as the most dominating group of proteins. In conclusion, the present study shed new light into the complexity of the enteric cestodiasis by showing that the H. diminuta somatic proteins exposed to the host possess immunomodulatory functions, and that the immune response of the host could be stimulated by diverse mechanisms, involving also those triggering protein export via yet unknown pathways.Peer reviewe

Is Endothelial Nitric Oxide Synthase a Moonlighting Protein Whose Day Job is Cholesterol Sulfate Synthesis? Implications for Cholesterol Transport, Diabetes and Cardiovascular Disease

Theoretical inferences, based on biophysical, biochemical, and biosemiotic considerations, are related here to the pathogenesis of cardiovascular disease, diabetes, and other degenerative conditions. We suggest that the “daytime” job of endothelial nitric oxide synthase (eNOS), when sunlight is available, is to catalyze sulfate production. There is a striking alignment between cell types that produce either cholesterol sulfate or sulfated polysaccharides and those that contain eNOS. The signaling gas, nitric oxide, a well-known product of eNOS, produces pathological effects not shared by hydrogen sulfide, a sulfur-based signaling gas. We propose that sulfate plays an essential role in HDL-A1 cholesterol trafficking and in sulfation of heparan sulfate proteoglycans (HSPGs), both critical to lysosomal recycling (or disposal) of cellular debris. HSPGs are also crucial in glucose metabolism, protecting against diabetes, and in maintaining blood colloidal suspension and capillary flow, through systems dependent on water-structuring properties of sulfate, an anionic kosmotrope. When sunlight exposure is insufficient, lipids accumulate in the atheroma in order to supply cholesterol and sulfate to the heart, using a process that depends upon inflammation. The inevitable conclusion is that dietary sulfur and adequate sunlight can help prevent heart disease, diabetes, and other disease conditions

AVALIAÇÃO DA IMUNIZAÇÃO COM CATEPSINA L3 FRENTE À FASCIOLOSE EXPERIMENTAL

Fasciolose acomete principalmente bovinos e ovinos e é responsável por importantes perdas econômicas. Objetivou-se testar em ratos e bovinos a proteção do antígeno recombinante Catepsina L3 frente à infecção experimental por Fasciola hepatica. Os ratos foram divididos nos grupos: 1) imunizados; 2) adjuvante e 3) controle. Os bovinos foram divididos nos grupos: 4) imunizados e 5) adjuvante. Avaliaram-se ovos por grama nas fezes e contagem parasitária nos ratos, ganho de peso diário e contagem parasitária nos bovinos. Observou-se baixo índice de proteção, não alcançando nível suficiente para utilização comercial do antígeno

Immunoproteomics and Surfaceomics of the Adult Tapeworm Hymenolepis diminuta

In cestodiasis, mechanical and molecular contact between the parasite and the host activates the immune response of the host and may result in inflammatory processes, leading to ulceration and intestinal dysfunctions. The aim of the present study was to identify antigenic proteins of the adult cestode Hymenolepis diminuta by subjecting the total protein extracts from adult tapeworms to 2DE immunoblotting (two-dimensional electrophoresis combined with immunoblotting) using sera collected from experimentally infected rats. A total of 36 protein spots cross-reacting with the rat sera were identified using LC-MS/MS. As a result, 68 proteins, including certain structural muscle proteins (actin, myosin, and paramyosin) and moonlighters (heat shock proteins, kinases, phosphatases, and glycolytic enzymes) were identified; most of these were predicted to possess binding and/or catalytic activity required in various metabolic and cellular processes, and reported here as potential antigens of the adult cestode for the first time. As several of these antigens can also be found at the cell surface, the surface-associated proteins were extracted and subjected to in-solution digestion for LC-MS/MS identification (surfaceomics). As a result, a total of 76 proteins were identified, from which 31 proteins, based on 2DE immunoblotting, were predicted to be immunogenic. These included structural proteins actin, myosin and tubulin as well as certain moonlighting proteins (heat-shock chaperones) while enzymes with diverse catalytic activities were found as the most dominating group of proteins. In conclusion, the present study shed new light into the complexity of the enteric cestodiasis by showing that the H. diminuta somatic proteins exposed to the host possess immunomodulatory functions, and that the immune response of the host could be stimulated by diverse mechanisms, involving also those triggering protein export via yet unknown pathways

Two distinct regions in Staphylococcus aureus GatCAB guarantee accurate tRNA recognition

In many prokaryotes the biosynthesis of the amide aminoacyl-tRNAs, Gln-tRNAGln and Asn-tRNAAsn, proceeds by an indirect route in which mischarged Glu-tRNAGln or Asp-tRNAAsn is amidated to the correct aminoacyl-tRNA catalyzed by a tRNA-dependent amidotransferase (AdT). Two types of AdTs exist: bacteria, archaea and organelles possess heterotrimeric GatCAB, while heterodimeric GatDE occurs exclusively in archaea. Bacterial GatCAB and GatDE recognize the first base pair of the acceptor stem and the D-loop of their tRNA substrates, while archaeal GatCAB recognizes the tertiary core of the tRNA, but not the first base pair. Here, we present the crystal structure of the full-length Staphylococcus aureus GatCAB. Its GatB tail domain possesses a conserved Lys rich motif that is situated close to the variable loop in a GatCAB:tRNAGln docking model. This motif is also conserved in the tail domain of archaeal GatCAB, suggesting this basic region may recognize the tRNA variable loop to discriminate Asp-tRNAAsn from Asp-tRNAAsp in archaea. Furthermore, we identified a 310 turn in GatB that permits the bacterial GatCAB to distinguish a U1–A72 base pair from a G1–C72 pair; the absence of this element in archaeal GatCAB enables the latter enzyme to recognize aminoacyl-tRNAs with G1–C72 base pairs

Ex vivo correction of selenoprotein N deficiency in rigid spine muscular dystrophy caused by a mutation in the selenocysteine codon

Premature termination of translation due to nonsense mutations is a frequent cause of inherited diseases. Therefore, many efforts were invested in the development of strategies or compounds to selectively suppress this default. Selenoproteins are interesting candidates considering the idiosyncrasy of the amino acid selenocysteine (Sec) insertion mechanism. Here, we focused our studies on SEPN1, a selenoprotein gene whose mutations entail genetic disorders resulting in different forms of muscular diseases. Selective correction of a nonsense mutation at the Sec codon (UGA to UAA) was undertaken with a corrector tRNASec that was engineered to harbor a compensatory mutation in the anticodon. We demonstrated that its expression restored synthesis of a full-length selenoprotein N both in HeLa cells and in skin fibroblasts from a patient carrying the mutated Sec codon. Readthrough of the UAA codon was effectively dependent on the Sec insertion machinery, therefore being highly selective for this gene and unlikely to generate off-target effects. In addition, we observed that expression of the corrector tRNASec stabilized the mutated SEPN1 transcript that was otherwise more subject to degradation. In conclusion, our data provide interesting evidence that premature termination of translation due to nonsense mutations is amenable to correction, in the context of the specialized selenoprotein synthesis mechanism