A preliminary transient-fault experiment on the SIFT computer system

This paper presents the results of a preliminary experiment to study the effectiveness of a fault-tolerant system's ability to handle transient faults. The primary goal of the experiment was to develop the techniques to measure the parameters needed for a reliability analysis of the SIFT computer system which includes th effects of transient faults. A key aspect of such an analysis is the determination of the effectiveness of the operating system's ability to discriminate between transient and permanent faults. A detailed description of the preliminary transient fault experiment along with the results from 297 transient fault injections are given. Although not enough data was obtained to draw statistically significant conclusions, the foundation has been laid for a large-scale transient fault experiment

User's guide to programming fault injection and data acquisition in the SIFT environment

Described are the features, command language, and functional design of the SIFT (Software Implemented Fault Tolerance) fault injection and data acquisition interface software. The document is also intended to assist and guide the SIFT user in defining, developing, and executing SIFT fault injection experiments and the subsequent collection and reduction of that fault injection data. It is also intended to be used in conjunction with the SIFT User's Guide (NASA Technical Memorandum 86289) for reference to SIFT system commands, procedures and functions, and overall guidance in SIFT system programming

Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis

Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards. Such dashboards can assist the analyst to understand the data at hand and, consequently, to conceive more targeted preemption and mitigation security strategies. Despite the recent advances, model-based security analysis is lacking tools that employ effective dashboards---to manage potential attack vectors, system components, and requirements. This problem is further exacerbated because model-based security analysis produces significantly larger result spaces than security analysis applied to realized systems---where platform specific information, software versions, and system element dependencies are known. Therefore, there is a need to manage the analysis complexity in model-based security through better visualization techniques. Towards that goal, we propose an interactive security analysis dashboard that provides different views largely centered around the system, its requirements, and its associated attack vector space. This tool makes it possible to start analysis earlier in the system lifecycle. We apply this tool in a significant area of engineering design---the design of cyber-physical systems---where security violations can lead to safety hazards

Puberty timing associated with diabetes, cardiovascular disease and also diverse health outcomes in men and women: the UK Biobank study.

Early puberty timing is associated with higher risks for type 2 diabetes (T2D) and cardiovascular disease in women and therefore represents a potential target for early preventive interventions. We characterised the range of diseases and other adverse health outcomes associated with early or late puberty timing in men and women in the very large UK Biobank study. Recalled puberty timing and past/current diseases were self-reported by questionnaire. We limited analyses to individuals of White ethnicity (250,037 women; 197,714 men) and to disease outcomes with at least 500 cases (~ 0.2% prevalence) and we applied stringent correction for multiple testing (corrected threshold P < 7.48 × 10(-5)). In models adjusted for socioeconomic position and adiposity/body composition variables, both in women and men separately, earlier puberty timing was associated with higher risks for angina, hypertension and T2D. Furthermore, compared to the median/average group, earlier or later puberty timing in women or men was associated with higher risks for 48 adverse outcomes, across a range of cancers, cardio-metabolic, gynaecological/obstetric, gastrointestinal, musculoskeletal, and neuro-cognitive categories. Notably, both early and late menarche were associated with higher risks for early natural menopause in women. Puberty timing in both men and women appears to have a profound impact on later health.This research has been conducted using the UK Biobank Resource. This work was supported by the Medical Research Council [Unit Programme number MC_UU_12015/2].This is the final version of the article. It first appeared from NPG via http://dx.doi.org/10.1038/srep1120

Analysis tools to quantify dissemination of pathology in zebrafish larvae

We describe new open source software called QuantiFish for rapid quantitation of fluorescent foci in zebrafish larvae, to support infection research in this animal model. QuantiFish extends the conventional measurements of bacterial load and number of bacterial foci to include measures for dissemination of infection. These are represented by the proportions of bacteria between foci and their spatial distribution. We showcase these measures by comparison of intravenous and hindbrain routes of Mycobacterium marinum infection, which are indistinguishable by measurement of bacterial load and not consistently differentiated by the number of bacterial foci. The intravenous route showed dose dependent dissemination of infection, reflected by increased spatial dispersion of bacteria and lower proportions of bacteria distributed across many foci. In contrast, hindbrain infection resulted in localised disease, limited to a smaller area and higher proportions of bacteria distributed across fewer foci. The application of QuantiFish may extend beyond models of infection, to study other pathologies such as metastatic cancer