FINJ: A Fault Injection Tool for HPC Systems

We present FINJ, a high-level fault injection tool for High-Performance Computing (HPC) systems, with a focus on the management of complex experiments. FINJ provides support for custom workloads and allows generation of anomalous conditions through the use of fault-triggering executable programs. FINJ can also be integrated seamlessly with most other lower-level fault injection tools, allowing users to create and monitor a variety of highly-complex and diverse fault conditions in HPC systems that would be difficult to recreate in practice. FINJ is suitable for experiments involving many, potentially interacting nodes, making it a very versatile design and evaluation tool.Comment: To be presented at the 11th Resilience Workshop in the 2018 Euro-Par conferenc

Systems-theoretic Safety Assessment of Robotic Telesurgical Systems

Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. Despite significant improvements in design of robotic surgical systems through the years, there have been ongoing occurrences of safety incidents during procedures that negatively impact patients. This paper presents an approach for systems-theoretic safety assessment of robotic telesurgical systems using software-implemented fault-injection. We used a systemstheoretic hazard analysis technique (STPA) to identify the potential safety hazard scenarios and their contributing causes in RAVEN II robot, an open-source robotic surgical platform. We integrated the robot control software with a softwareimplemented fault-injection engine which measures the resilience of the system to the identified safety hazard scenarios by automatically inserting faults into different parts of the robot control software. Representative hazard scenarios from real robotic surgery incidents reported to the U.S. Food and Drug Administration (FDA) MAUDE database were used to demonstrate the feasibility of the proposed approach for safety-based design of robotic telesurgical systems.Comment: Revise based on reviewers feedback. To appear in the the International Conference on Computer Safety, Reliability, and Security (SAFECOMP) 201

Data hosting infrastructure for primary biodiversity data

© The Author(s), 2011. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in BMC Bioinformatics 12 Suppl. 15 (2011): S5, doi:10.1186/1471-2105-12-S15-S5.Today, an unprecedented volume of primary biodiversity data are being generated worldwide, yet significant amounts of these data have been and will continue to be lost after the conclusion of the projects tasked with collecting them. To get the most value out of these data it is imperative to seek a solution whereby these data are rescued, archived and made available to the biodiversity community. To this end, the biodiversity informatics community requires investment in processes and infrastructure to mitigate data loss and provide solutions for long-term hosting and sharing of biodiversity data. We review the current state of biodiversity data hosting and investigate the technological and sociological barriers to proper data management. We further explore the rescuing and re-hosting of legacy data, the state of existing toolsets and propose a future direction for the development of new discovery tools. We also explore the role of data standards and licensing in the context of data hosting and preservation. We provide five recommendations for the biodiversity community that will foster better data preservation and access: (1) encourage the community's use of data standards, (2) promote the public domain licensing of data, (3) establish a community of those involved in data hosting and archival, (4) establish hosting centers for biodiversity data, and (5) develop tools for data discovery. The community's adoption of standards and development of tools to enable data discovery is essential to sustainable data preservation. Furthermore, the increased adoption of open content licensing, the establishment of data hosting infrastructure and the creation of a data hosting and archiving community are all necessary steps towards the community ensuring that data archival policies become standardized

Lack of association between genetic polymorphisms within DUSP12 - ATF6 locus and glucose metabolism related traits in a Chinese population

<p>Abstract</p> <p>Background</p> <p>Genome-wide linkage studies in multiple ethnic populations found chromosome 1q21-q25 was the strongest and most replicable linkage signal in the human chromosome. Studies in Pima Indian, Caucasians and African Americans identified several SNPs in <it>DUSP12 </it>and <it>ATF6</it>, located in chromosome 1q21-q23, were associated with type 2 diabetes.</p> <p>Methods</p> <p>We selected 19 single nucleotide polymorphisms (SNPs) that could tag 98% of the SNPs with minor allele frequencies over 0.1 within <it>DUSP12-ATF6 </it>region. These SNPs were genotyped in a total of 3,700 Chinese Han subjects comprising 1,892 type 2 diabetes patients and 1,808 controls with normal glucose regulation.</p> <p>Results</p> <p>None of the SNPs and haplotypes showed significant association to type 2 diabetes in our samples. No association between the SNPs and quantitative traits was observed either.</p> <p>Conclusions</p> <p>Our data suggests common SNPs within <it>DUSP12</it>-<it>ATF6 </it>locus may not play a major role in glucose metabolism in the Chinese.</p

A Deviation from the Bipolar-Tetrapolar Mating Paradigm in an Early Diverged Basidiomycete

In fungi, sexual identity is determined by specialized genomic regions called MAT loci which are the equivalent to sex chromosomes in some animals and plants. Usually, only two sexes or mating types exist, which are determined by two alternate sets of genes (or alleles) at the MAT locus (bipolar system). However, in the phylum Basidiomycota, a unique tetrapolar system emerged in which four different mating types are generated per meiosis. This occurs because two functionally distinct molecular recognition systems, each encoded by one MAT region, constrain the selection of sexual partners. Heterozygosity at both MAT regions is a pre-requisite for mating in both bipolar and tetrapolar basidiomycetes. Tetrapolar mating behaviour results from the absence of genetic linkage between the two regions bringing forth up to thousands of mating types. The subphylum Pucciniomycotina, an early diverged lineage of basidiomycetes encompassing important plant pathogens such as the rusts and saprobes like Rhodosporidium and Sporidiobolus, has been so far poorly explored concerning the content and organization of MAT loci. Here we show that the red yeast Sporidiobolus salmonicolor has a mating system unlike any previously described because occasional disruptions of the genetic cohesion of the bipolar MAT locus originate new mating types. We confirmed that mating is normally bipolar and that heterozygosity at both MAT regions is required for mating. However, a laboratory cross showed that meiotic recombination may occur within the bipolar MAT locus, explaining tetrapolar features like increased allele number and evolution rates of some MAT genes. This pseudo-bipolar system deviates from the classical bipolar–tetrapolar paradigm and, to our knowledge, has never been observed before. We propose a model for MAT evolution in the Basidiomycota in which the pseudo-bipolar system may represent a hitherto unforeseen gradual form of transition from an ancestral tetrapolar system to bipolarity

The PlcR Virulence Regulon of Bacillus cereus

PlcR is a Bacillus cereus transcriptional regulator, which activates gene expression by binding to a nucleotidic sequence called the ‘PlcR box’. To build a list of all genes included in the PlcR regulon, a consensus sequence was identified by directed mutagenesis. The reference strain ATCC14579 sequenced genome was searched for occurrences of this consensus sequence to produce a virtual regulon. PlcR control of these genes was confirmed by comparing gene expression in the reference strain and its isogenic Δ-plcR strain using DNA microarrays, lacZ fusions and proteomics methods. The resulting list included 45 genes controlled by 28 PlcR boxes. Forty of the PlcR controlled proteins were exported, of which 22 were secreted in the extracellular medium and 18 were bound or attached to cell wall structures (membrane or peptidoglycan layer). The functions of these proteins were related to food supply (phospholipases, proteases, toxins), cell protection (bacteriocins, toxins, transporters, cell wall biogenesis) and environment-sensing (two-component sensors, chemotaxis proteins, GGDEF family regulators). Four genes coded for cytoplasmic regulators. The PlcR regulon appears to integrate a large range of environmental signals, including food deprivation and self cell-density, and regulate the transcription of genes designed to overcome obstacles that hinder B. cereus growth within the host: food supply, host barriers, host immune defenses, and competition with other bacterial species. PlcR appears to be a key component in the efficient adaptation of B. cereus to its host environment

Educational paper: Primary antibody deficiencies

Primary antibody deficiencies (PADs) are the most common primary immunodeficiencies and are characterized by a defect in the production of normal amounts of antigen-specific antibodies. PADs represent a heterogeneous spectrum of conditions, ranging from often asymptomatic selective IgA and IgG subclass deficiencies to the severe congenital agammaglobulinemias, in which the antibody production of all immunoglobulin isotypes is severely decreased. Apart from recurrent respiratory tract infections, PADs are associated with a wide range of other clinical complications. This review will describe the pathophysiology, diagnosis, and treatment of the different PADs

Educational paper: The expanding clinical and immunological spectrum of severe combined immunodeficiency

Severe combined immunodeficiency (SCID) is one of the most severe forms of primary immunodeficiency characterized by absence of functional T lymphocytes. It is a paediatric emergency, which is life-threatening when recognized too late. The clinical presentation varies from the classical form of SCID through atypical SCID to Omenn syndrome. In addition, there is a considerable immunological variation, which can hamper the diagnosis. In this educational review, we describe the immunopathological background, clinical presentations and diagnostic process of SCID, as well as the therapeutic possibilities