Safety Engineering with COTS components

Safety-critical systems are becoming more widespread, complex and reliant on software. Increasingly they are engineered through Commercial Off The Shelf (COTS) (Commercial Off The Shelf) components to alleviate the spiralling costs and development time, often in the context of complex supply chains. A parallel increased concern for safety has resulted in a variety of safety standards, with a growing consensus that a safety life cycle is needed which is fully integrated with the design and development life cycle, to ensure that safety has appropriate influence on the design decisions as system development progresses. In this article we explore the application of an integrated approach to safety engineering in which assurance drives the engineering process. The paper re- ports on the outcome of a case study on a live industrial project with a view to evaluate: its suitability for application in a real-world safety engineering setting; its benefits and limitations in counteracting some of the difficulties of safety en- gineering with COTS components across supply chains; and, its effectiveness in generating evidence which can contribute directly to the construction of safety cases

Conservation of long-range synteny and microsynteny between the genomes of two distantly related nematodes

BACKGROUND: Comparisons between the genomes of the closely related nematodes Caenorhabditis elegans and Caenorhabditis briggsae reveal high rates of rearrangement, with a bias towards within-chromosome events. To assess whether this pattern is true of nematodes in general, we have used genome sequence to compare two nematode species that last shared a common ancestor approximately 300 million years ago: the model C. elegans and the filarial parasite Brugia malayi. RESULTS: An 83 kb region flanking the gene for Bm-mif-1 (macrophage migration inhibitory factor, a B. malayi homolog of a human cytokine) was sequenced. When compared to the complete genome of C. elegans, evidence for conservation of long-range synteny and microsynteny was found. Potential C. elegans orthologs for II of the 12 protein-coding genes predicted in the B. malayi sequence were identified. Ten of these orthologs were located on chromosome I, with eight clustered in a 2.3 Mb region. While several, relatively local, intrachromosomal rearrangements have occurred, the order, composition, and configuration of two gene clusters, each containing three genes, was conserved. Comparison of B. malayi BAC-end genome survey sequence to C. elegans also revealed a bias towards intrachromosome rearrangements. CONCLUSIONS: We suggest that intrachromosomal rearrangement is a major force driving chromosomal organization in nematodes, but is constrained by the interdigitation of functional elements of neighboring genes

Weak force detection using a double Bose-Einstein condensate

A Bose-Einstein condensate may be used to make precise measurements of weak forces, utilizing the macroscopic occupation of a single quantum state. We present a scheme which uses a condensate in a double well potential to do this. The required initial state of the condensate is discussed, and the limitations on the sensitivity due to atom collisions and external coupling are analyzed.Comment: 12 pages, 2 figures, Eq.(41) has been correcte

Sheffield Submission to the CHiC Ineractive Task: Exploring Digital Cultural Heritage

The Cultural Heritage in CLEF 2013 (CHiC) interactive task focused on acquiring and analysing interactive information retrieval (IIR)behaviour in a Digital Cultural Heritage collection. The University of Sheffield contributed 120 on-line and 20 in-lab participants to this task. The results of both the on-line and in-lab experiments strongly indicate that when faced with a new, unfamiliar collection and an open-ended task, participants will spend more time using the category hierarchy for exploration, than the search box. However, analysis of the the number of items the on-line participants view in detail and then saved to their workspace indicates that the two access methods fulfil different functions. From this we conclude that the categories are seemingly there to support the development of an initial overview over the collection, while the search is used to locate things in a more focused manner

Relationship between tinnitus pitch and edge of hearing loss in individuals with a narrow tinnitus bandwidth

Objective: Psychoacoustic measures of tinnitus, in particular dominant tinnitus pitch and its relationship to the shape of the audiogram, are important in determining and verifying pathophysiological mechanisms of the condition. Our previous study postulated that this relationship might vary between different groups of people with tinnitus. For a small subset of participants with narrow tinnitus bandwidth, pitch was associated with the audiometric edge, consistent with the tonotopic reorganization theory. The current study objective was to establish this relationship in an independent sample. Design: This was a retrospective design using data from five studies conducted between 2008 and 2013. Study sample: From a cohort of 380 participants, a subgroup group of 129 with narrow tinnitus bandwidth were selected. Results: Tinnitus pitch generally fell within the area of hearing loss. There was a statistically significant correlation between dominant tinnitus pitch and edge frequency; higher edge frequency being associated with higher dominant tinnitus pitch. However, similar to our previous study, for the majority of participants pitch was more than an octave above the edge frequency. Conclusions: The findings did not support our prediction and are therefore not consistent with the reorganization theory postulating tinnitus pitch to correspond to the audiometric edge

An experimental in-vivo canine model for adult shunt infection

<p>Abstract</p> <p>Background</p> <p>Detailed human studies of the mechanisms and development of shunt infection in real time are not possible, and we have developed a canine hydrocephalus model to overcome this. The intention of this pilot study was to show that the canine hydrocephalus model could be shunted using conventional "human" shunts, and that a shunt infection could be established so that further studies could then be planned.</p> <p>Methods</p> <p>Hydrocephalus was induced in seven dogs (<it>Canis familiaris</it>) by fourth ventricle obstruction. Four weeks later they were shunted using a Hakim Precision valve. Four of the dogs received shunts whose ventricular catheter had been inoculated with <it>Staphylococcus epidermidis</it>, and three were uninoculated controls. Four weeks after shunting the dogs were sacrificed and necropsy was performed. Removed shunts and tissue samples were examined microbiologically and isolates were subjected to detailed identification and genomic comparison.</p> <p>Results</p> <p>All the dogs remained well after shunting. Examination of removed shunt components revealed <it>S. epidermidis </it>in the brain and throughout the shunt system in the four inoculated animals, but in two of these <it>Staphylococcus intermedius </it>was also found. <it>S. intermedius </it>was also isolated from all three "negative" controls. There were slight differences between <it>S. intermedius </it>strains suggesting endogenous infection rather than cross- infection from a point source.</p> <p>Conclusion</p> <p>Shunt infection was established in the canine model, and had the experiment been extended beyond four weeks the typical microbiological, pathological and clinical features might have appeared. The occurrence of unplanned shunt infections in control animals due to canine normal skin flora reflects human clinical experience and underlines the usual source of bacteria causing shunt infection.</p

Comparative evaluation of [(99m)tc]tilmanocept for sentinel lymph node mapping in breast cancer patients: results of two phase 3 trials.

BackgroundSentinel lymph node (SLN) surgery is used worldwide for staging breast cancer patients and helps limit axillary lymph node dissection. [(99m)Tc]Tilmanocept is a novel receptor-targeted radiopharmaceutical evaluated in 2 open-label, nonrandomized, within-patient, phase 3 trials designed to assess the lymphatic mapping performance.MethodsA total of 13 centers contributed 148 patients with breast cancer. Each patient received [(99m)Tc]tilmanocept and vital blue dye (VBD). Lymph nodes identified intraoperatively as radioactive and/or blue stained were excised and histologically examined. The primary endpoint, concordance (lower boundary set point at 90 %), was the proportion of nodes detected by VBD and [(99m)Tc]tilmanocept.ResultsA total of 13 centers contributed 148 patients who were injected with both agents. Intraoperatively, 207 of 209 nodes detected by VBD were also detected by [(99m)Tc]tilmanocept for a concordance rate of 99.04 % (p &lt; 0.0001). [(99m)Tc]tilmanocept detected a total of 320 nodes, of which 207 (64.7 %) were detected by VBD. [(99m)Tc]Tilmanocept detected at least 1 SLN in more patients (146) than did VBD (131, p &lt; 0.0001). In 129 of 131 patients with ≥1 blue node, all blue nodes were radioactive. Of 33 pathology-positive nodes (18.2 % patient pathology rate), [(99m)Tc]tilmanocept detected 31 of 33, whereas VBD detected only 25 of 33 (p = 0.0312). No pathology-positive SLNs were detected exclusively by VBD. No serious adverse events were attributed to [(99m)Tc]tilmanocept.Conclusion[(99m)Tc]Tilmanocept demonstrated success in detecting a SLN while meeting the primary endpoint. Interestingly, [(99m)Tc]tilmanocept was additionally noted to identify more SLNs in more patients. This localization represented a higher number of metastatic breast cancer lymph nodes than that of VBD

Sea anemones may thrive in a high CO2 world

Increased seawater pCO 2, and in turn 'ocean acidification' (OA), is predicted to profoundly impact marine ecosystem diversity and function this century. Much research has already focussed on calcifying reef-forming corals (Class: Anthozoa) that appear particularly susceptible to OA via reduced net calcification. However, here we show that OA-like conditions can simultaneously enhance the ecological success of non-calcifying anthozoans, which not only play key ecological and biogeochemical roles in present day benthic ecosystems but also represent a model organism should calcifying anthozoans exist as less calcified (soft-bodied) forms in future oceans. Increased growth (abundance and size) of the sea anemone (Anemonia viridis) population was observed along a natural CO 2 gradient at Vulcano, Italy. Both gross photosynthesis (P G) and respiration (R) increased with pCO 2 indicating that the increased growth was, at least in part, fuelled by bottom up (CO 2 stimulation) of metabolism. The increase of P G outweighed that of R and the genetic identity of the symbiotic microalgae (Symbiodinium spp.) remained unchanged (type A19) suggesting proximity to the vent site relieved CO 2 limitation of the anemones' symbiotic microalgal population. Our observations of enhanced productivity with pCO 2, which are consistent with previous reports for some calcifying corals, convey an increase in fitness that may enable non-calcifying anthozoans to thrive in future environments, i.e. higher seawater pCO 2. Understanding how CO 2-enhanced productivity of non- (and less-) calcifying anthozoans applies more widely to tropical ecosystems is a priority where such organisms can dominate benthic ecosystems, in particular following localized anthropogenic stress. © 2012 Blackwell Publishing Ltd