Integrity static analysis of COTS/SOUP

This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002. Integrity static analysis focuses on unsafe language constructs and “covert” flows, where one thread can affect the data or control flow of another thread. The analysis addressed two main aspects: the internal integrity of the code (especially for the more critical functions), and the intra-component integrity, checking for covert channels. The analysis process was supported by an aggregation of tools, combined and engineered to support the checks done and to scale as necessary. Integrity static analysis is feasible for industrial scale software, did not require unreasonable resources and we provide data that illustrates its contribution to the software qualification programme

Chaotic quantum ratchets and filters with cold atoms in optical lattices: properties of Floquet states

Recently, cesium atoms in optical lattices subjected to cycles of unequally-spaced pulses have been found to show interesting behavior: they represent the first experimental demonstration of a Hamiltonian ratchet mechanism, and they show strong variability of the Dynamical Localization lengths as a function of initial momentum. The behavior differs qualitatively from corresponding atomic systems pulsed with equal periods, which are a textbook implementation of a well-studied quantum chaos paradigm, the quantum delta-kicked particle (delta-QKP). We investigate here the properties of the corresponding eigenstates (Floquet states) in the parameter regime of the new experiments and compare them with those of the eigenstates of the delta-QKP at similar kicking strengths. We show that, with the properties of the Floquet states, we can shed light on the form of the observed ratchet current as well as variations in the Dynamical Localization length.Comment: 9 pages, 9 figure

Increasing compliance with low tidal volume ventilation in the ICU with two nudge-based interventions: evaluation through intervention time-series analyses

Objectives: Low tidal volume (TVe) ventilation improves outcomes for ventilated patients, and the majority of clinicians state they implement it. Unfortunately, most patients never receive low TVes. ‘Nudges’ influence decision-making with subtle cognitive mechanisms and are effective in many contexts. There have been few studies examining their impact on clinical decision-making. We investigated the impact of 2 interventions designed using principles from behavioural science on the deployment of low TVe ventilation in the intensive care unit (ICU). Setting: University Hospitals Bristol, a tertiary, mixed medical and surgical ICU with 20 beds, admitting over 1300 patients per year. Participants: Data were collected from 2144 consecutive patients receiving controlled mechanical ventilation for more than 1 hour between October 2010 and September 2014. Patients on controlled mechanical ventilation for more than 20 hours were included in the final analysis. Interventions: (1) Default ventilator settings were adjusted to comply with low TVe targets from the initiation of ventilation unless actively changed by a clinician. (2) A large dashboard was deployed displaying TVes in the format mL/kg ideal body weight (IBW) with alerts when TVes were excessive. Primary outcome measure: TVe in mL/kg IBW. Findings: TVe was significantly lower in the defaults group. In the dashboard intervention, TVe fell more quickly and by a greater amount after a TVe of 8 mL/kg IBW was breached when compared with controls. This effect improved in each subsequent year for 3 years. Conclusions: This study has demonstrated that adjustment of default ventilator settings and a dashboard with alerts for excessive TVe can significantly influence clinical decision-making. This offers a promising strategy to improve compliance with low TVe ventilation, and suggests that using insights from behavioural science has potential to improve the translation of evidence into practice

Creativity and Blocking: No Evidence for an Association

Creativity is an important quality that has been linked with problem solving, achievement, and scientific advancement. It has previously been proposed that creative individuals pay greater attention to and are able to utilize information that others may consider irrelevant, in order to generate creative ideas (e.g., Eysenck, 1995). In this study we investigated whether there was a relationship between creativity and greater learning about irrelevant information. To answer this question, we used a self-report measure of creative ideation and a blocking task, which involved learning about irrelevant stimuli. We failed to find evidence for this association, with a Bayes Factor indicating support for no relationship between these measures. While it is possible that a different measure of creative ideation, for example one which does not rely on self-report, may produce different results, a more lucrative research direction may be focusing on the link between creativity and cognitive flexibility, in line with suggestions by Zabelina and Robinson (2010)

Positioning discourse on homophobia in schools: what have lesbian and gay families got to say?

Despite many changes in legislation in Europe that give lesbians and gay men the same legal rights and accountabilities as heterosexuals, most countries in the world continue to breach the fundamental human rights of their lesbian and gay citizens. At a European level, legislative changes have been insufficient in addressing the complexity involved (EUAFR, 2013) Significant evidence continues to demonstrate that homophobia remains a serious problem in many European States. This is the backdrop to Rainbow Homophobia and Schools (Rainbow HAS) research project, which involves 6 nation states collaboration to examine the problem of trans/homophobic bullying in schools. The English research team stream used a range of methods to investigate and understand these issues. This presentation focused on the qualitative interviews undertaken with a range of different families, schools and community associations in order to provide a snapshot of contemporary practice. Through this approach, we identified discourses used to address homophobia and the implications for developing a more in-depth dialogue with stakeholders. We draw upon one specific area of the study's findings, using a Foucauldian lens to examine the experiences of the 'new' families of lesbian and gay men, who had successfully negotiated the outsider/insider and public/private spheres of the school and communities of which they are a part. This has implications for promoting ideas around intersectionality in social work, challenging given approaches to understanding discourse in homophobic bullying and the need to question the relative silence of social work in addressing this. Reference: European Union Agency for Fundamental Rights (2013) EU LGBT Survey: European Union lesbian, gay, bisexual and transgender survey: Results at a Glance. Luxembourg: Publications Office of the European Union

The (2√3×3)rect. phase of alkylthiolate self-assembled monolayers on Au(111): a symmetry-constrained structural solution

Low-energy electron-diffraction (LEED) patterns of the Au(111)(2√3×3)rect.-butylthiolate surface phase (a structure also seen in longer alkane chain thiolate self-assembled monolayers) show missing diffracted beams characteristic of glide symmetry, but do not show the larger set of missing beams found in surface x-ray diffraction (SXRD). The difference can be attributed to the greatly enhanced role of multiple scattering in LEED, but the combination of symmetry constraints placed on possible structural models by the observed SXRD and LEED beam extinctions greatly reduces the number of possible structural models. Only three such models are identified, one of which is clearly incompatible with other published experimental data. The relative merits of the remaining models, both involving Au adatom-thiolate moieties, are discussed in the light of the results of previous experimental studies

Hot Gas Structure in the Elliptical Galaxy NGC 4472

We present X-ray spectroscopic and morphological analyses using Chandra ACIS and ROSAT observations of the giant elliptical galaxy NGC 4472 in the Virgo cluster. We discuss previously unobserved X-ray structures within the extended galactic corona. In the inner 2' of the galaxy, we find X-ray holes or cavities with radii of ~2 kpc, corresponding to the position of radio lobes. These holes were produced during a period of nuclear activity that began 1.2 x 10^7 years ago and may be ongoing. We also find an asymmetrical edge in the galaxy X-ray emission 3' (14 kpc) northeast of the core and an ~8' tail (36 kpc) extending southwest of the galaxy. These two features probably result from the interaction of NGC 4472 gas with the Virgo gas, which produces compression in the direction of NGC 4472's infall and an extended tail from ram pressure stripping. Assuming the tail is in pressure equilibrium with the surrounding gas, we compute its angle to our line of sight and estimate that its true extent exceeds 100 kpc. Finally, in addition to emission from the nucleus (first detected by Soldatenkov, Vikhlinin & Pavlinsky), we detect two small extended sources within 10'' of the nucleus of the galaxy, both of which have luminosities of ~7 x 10^38 erg/s.Comment: 25 pages, 11 figures, accepted by Ap