How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award NomineeWith the rapid evolution of commercial hardware platforms, in most application domains, the industry has shown a growing interest in integrating and running independently-developed applications of different “criticalities” in the same multicore platform. Such integrated systems are commonly referred to as mixed-criticality systems (MCS). Most of the MCS-related research published in the state-of-the-art cite the safety-related standards associated to each application domain (e.g. aeronautics, space, railway, automotive) to justify their methods and results. However, those standards are not, in most cases, freely available, and do not always clearly and explicitly specify the requirements for mixed-criticality systems. This paper addresses the important challenge of unveiling the relevant information available in some of the safety-related standards, such that the mixed-criticality concept is understood from an industrialist’s perspective. Moreover, the paper evaluates the state-of-the-art mixed-criticality real-time scheduling models and algorithms against the safety-related standards and clarifies some misconceptions that are commonly encountered

Centrally concentrated molecular gas driving galactic-scale ionized gas outflows in star-forming galaxies

We perform a joint analysis of high spatial resolution molecular gas and star-formation rate (SFR) maps in main-sequence star-forming galaxies experiencing galactic-scale outflows of ionized gas. Our aim is to understand the mechanism that determines which galaxies are able to launch these intense winds. We observed CO(1→0) at 1-arcsec resolution with ALMA in 16 edge-on galaxies, which also have 2-arcsec spatial-resolution optical integral field observations from the SAMI Galaxy Survey. Half the galaxies in the sample were previously identified as harbouring intense and large-scale outflows of ionized gas (‘outflow types’) and the rest serve as control galaxies. The data set is complemented by integrated CO(1→0) observations from the IRAM 30-m telescope to probe the total molecular gas reservoirs. We find that the galaxies powering outflows do not possess significantly different global gas fractions or star-formation efficiencies when compared with a control sample. However, the ALMA maps reveal that the molecular gas in the outflow-type galaxies is distributed more centrally than in the control galaxies. For our outflow-type objects, molecular gas and star-formation are largely confined within their inner effective radius (reff), whereas in the control sample, the distribution is more diffuse, extending far beyond reff. We infer that outflows in normal star-forming galaxies may be caused by dynamical mechanisms that drive molecular gas into their central regions, which can result in locally enhanced gas surface density and star-formation

Towards quality criteria for regional public health reporting: concept mapping with Dutch experts

Background: In the Netherlands, municipal health assessments are carried out by 28 Regional Health Services, serving 418 municipalities. In the absence of guidelines, regional public health reports were developed in two pilot regions on the basis of the model and experience of national health reporting. Though they were well received and positively evaluated, it was not clear which specific characteristics determined ‘good public health reporting’. Therefore, this study was set up to develop a theoretical framework for the quality of regional public health reporting in The Netherlands. Methods: Using concept mapping as a standardized tool for conceptualization, 35 relevant reporting experts formulated short statements in two different brainstorming sessions, describing specific quality criteria of regional public health reports. After the removal of duplicates, the list was supplemented with international criteria, and the statements were sent to each participant for rating and sorting. The results were processed statistically and represented graphically. The output was discussed and interpreted, leading to the final concept map. Results: The final concept map consisted of 97 criteria, grouped into 13 clusters, and plotted in two dimensions: a ‘product’ dimension, ranging from ‘production’ to ‘content’, and a ‘context’ dimension, ranging from ‘science’ to ‘policy’. The three most important clusters were: (i) ‘solution orientation’, (ii) ‘policy relevance’ and (iii) ‘policy impact’. Conclusion: This study provided a theoretical framework for the quality of regional public health reporting, indicating relevant domains and criteria. Further work should translate domains and criteria into operational indicators for evaluating regional public health reports

Comparison of two normative paediatric gait databases

The availability of age-matched normative data is an essential component of clinical gait analyses. Comparison of normative gait databases is difficult due to the high-dimensionality and temporal nature of the various gait waveforms. The purpose of this study was to provide a method of comparing the sagittal joint angle data between two normative databases. We compared a modern gait database to the historical San Diego database using statistical classifiers developed by Tingley et al. (2002). Gait data were recorded from 60 children aged 1–13 years. A six-camera Vicon 512 motion analysis system and two force plates were utilized to obtain temporal-spatial, kinematic, and kinetic parameters during walking. Differences between the two normative data sets were explored using the classifier index scores, and the mean and covariance structure of the joint angle data from each lab. Significant differences in sagittal angle data between the two databases were identified and attributed to technological advances and data processing techniques (data smoothing, sampling, and joint angle approximations). This work provides a simple method of database comparison using trainable statistical classifiers

A randomised controlled trial of patient led training in medical education: protocol

<p>Abstract</p> <p>Background</p> <p>Estimates suggest that approximately 1 in 10 patients admitted to hospital experience an adverse event resulting in harm. Methods to improve patient safety have concentrated on developing safer systems of care and promoting changes in professional behaviour. There is a growing international interest in the development of interventions that promote the role of patients preventing error, but limited evidence of effectiveness of such interventions. The present study aims to undertake a randomised controlled trial of patient-led teaching of junior doctors about patient safety.</p> <p>Methods/Design</p> <p>A randomised cluster controlled trial will be conducted. The intervention will be incorporated into the mandatory training of junior doctors training programme on patient safety. The study will be conducted in the Yorkshire and Humber region in the North of England. Patients who have experienced a safety incident in the NHS will be recruited. Patients will be identified through National Patient Safety Champions and local Trust contacts. Patients will receive training and be supported to talk to small groups of trainees about their experiences. The primary aim of the patient-led teaching module is to increase the awareness of patient safety issues amongst doctors, allow reflection on their own attitudes towards safety and promote an optimal culture among the doctors to improve safety in practice. A mixture of qualitative and quantitative methods will be used to evaluate the impact of the intervention, using the Attitudes to Patient Safety Questionnaire (APSQ) as our primary quantitative outcome, as well as focus groups and semi-structured interviews.</p> <p>Discussion</p> <p>The research team face a number of challenges in developing the intervention, including integrating a new method of teaching into an existing curriculum, facilitating effective patient involvement and identifying suitable outcome measures.</p> <p>Trial Registration</p> <p>Current controlled Trials: <a href="http://www.controlled-trials.com/ISRCTN94241579">ISRCTN94241579</a></p

Motivation and incentives of rural maternal and neonatal health care providers: a comparison of qualitative findings from Burkina Faso, Ghana and Tanzania.

In Burkina Faso, Ghana and Tanzania strong efforts are being made to improve the quality of maternal and neonatal health (MNH) care. However, progress is impeded by challenges, especially in the area of human resources. All three countries are striving not only to scale up the number of available health staff, but also to improve performance by raising skill levels and enhancing provider motivation. In-depth interviews were used to explore MNH provider views about motivation and incentives at primary care level in rural Burkina Faso, Ghana and Tanzania. Interviews were held with 25 MNH providers, 8 facility and district managers, and 2 policy-makers in each country. Across the three countries some differences were found in the reasons why people became health workers. Commitment to remaining a health worker was generally high. The readiness to remain at a rural facility was far less, although in all settings there were some providers that were willing to stay. In Burkina Faso it appeared to be particularly difficult to recruit female MNH providers to rural areas. There were indications that MNH providers in all the settings sometimes failed to treat their patients well. This was shown to be interlinked with differences in how the term 'motivation' was understood, and in the views held about remuneration and the status of rural health work. Job satisfaction was shown to be quite high, and was particularly linked to community appreciation. With some important exceptions, there was a strong level of agreement regarding the financial and non-financial incentives that were suggested by these providers, but there were clear country preferences as to whether incentives should be for individuals or teams. Understandings of the terms and concepts pertaining to motivation differed between the three countries. The findings from Burkina Faso underline the importance of gender-sensitive health workforce planning. The training that all levels of MNH providers receive in professional ethics, and the way this is reinforced in practice require closer attention. The differences in the findings across the three settings underscore the importance of in-depth country-level research to tailor the development of incentives schemes

A Large-Scale Zebrafish Gene Knockout Resource for the Genome-Wide Study of Gene Function

With the completion of the zebrafish genome sequencing project, it becomes possible to analyze the function of zebrafish genes in a systematic way. The first step in such an analysis is to inactivate each protein-coding gene by targeted or random mutation. Here we describe a streamlined pipeline using proviral insertions coupled with high-throughput sequencing and mapping technologies to widely mutagenize genes in the zebrafish genome. We also report the first 6144 mutagenized and archived F1’s predicted to carry up to 3776 mutations in annotated genes. Using in vitro fertilization, we have rescued and characterized ~0.5% of the predicted mutations, showing mutation efficacy and a variety of phenotypes relevant to both developmental processes and human genetic diseases. Mutagenized fish lines are being made freely available to the public through the Zebrafish International Resource Center. These fish lines establish an important milestone for zebrafish genetics research and should greatly facilitate systematic functional studies of the vertebrate genome

Stress-Induced Reinstatement of Drug Seeking: 20 Years of Progress

In human addicts, drug relapse and craving are often provoked by stress. Since 1995, this clinical scenario has been studied using a rat model of stress-induced reinstatement of drug seeking. Here, we first discuss the generality of stress-induced reinstatement to different drugs of abuse, different stressors, and different behavioral procedures. We also discuss neuropharmacological mechanisms, and brain areas and circuits controlling stress-induced reinstatement of drug seeking. We conclude by discussing results from translational human laboratory studies and clinical trials that were inspired by results from rat studies on stress-induced reinstatement. Our main conclusions are (1) The phenomenon of stress-induced reinstatement, first shown with an intermittent footshock stressor in rats trained to self-administer heroin, generalizes to other abused drugs, including cocaine, methamphetamine, nicotine, and alcohol, and is also observed in the conditioned place preference model in rats and mice. This phenomenon, however, is stressor specific and not all stressors induce reinstatement of drug seeking. (2) Neuropharmacological studies indicate the involvement of corticotropin-releasing factor (CRF), noradrenaline, dopamine, glutamate, kappa/dynorphin, and several other peptide and neurotransmitter systems in stress-induced reinstatement. Neuropharmacology and circuitry studies indicate the involvement of CRF and noradrenaline transmission in bed nucleus of stria terminalis and central amygdala, and dopamine, CRF, kappa/dynorphin, and glutamate transmission in other components of the mesocorticolimbic dopamine system (ventral tegmental area, medial prefrontal cortex, orbitofrontal cortex, and nucleus accumbens). (3) Translational human laboratory studies and a recent clinical trial study show the efficacy of alpha-2 adrenoceptor agonists in decreasing stress-induced drug craving and stress-induced initial heroin lapse

Endoscopic Saphenous harvesting with an Open CO2 System (ESOS) trial for coronary artery bypass grafting surgery: study protocol for a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>In coronary artery bypass grafting surgery, arterial conduits are preferred because of more favourable long-term patency and outcome. Anyway <it>the greater saphenous vein </it>continues to be the most commonly used bypass conduit. <it>Minimally invasive endoscopic saphenous vein harvesting </it>is increasingly being investigated in order to reduce the morbidity associated with conventional open vein harvesting, includes postoperative leg wound complications, pain and patient satisfaction. However, to date the short and the long-term benefits of the endoscopic technique remain controversial. This study provides an interesting opportunity to address this gap in the literature.</p> <p>Methods/Design</p> <p><b>Endoscopic Saphenous harvesting with an Open CO₂System </b>trial includes two parallel vein harvesting arms in coronary artery bypass grafting surgery. It is an interventional, single centre, prospective, randomized, safety/efficacy, cost/effectiveness study, in adult patients with elective planned and first isolated coronary artery disease. A simple size of 100 patients for each arm will be required to achieve 80% statistical power, with a significant level of 0.05, for detecting most of the formulated hypotheses. A six-weeks leg wound complications rate was assumed to be 20% in the conventional arm and less of 4% in the endoscopic arm. Previously quoted studies suggest a first-year vein-graft failure rate of about 20% with an annual occlusion rate of 1% to 2% in the first six years, with practically no difference between the endoscopic and conventional approaches. Similarly, the results on event-free survival rates for the two arms have barely a 2-3% gap. Assuming a 10% drop-out rate and a 5% cross-over rate, the goal is to enrol 230 patients from a single Italian cardiac surgery centre.</p> <p>Discussion</p> <p>The goal of this prospective randomized trial is to compare and to test improvement in wound healing, quality of life, safety/efficacy, cost-effectiveness, short and long-term outcomes and vein-graft patency after endoscopic open CO₂harvesting system versus conventional vein harvesting.</p> <p>The expected results are of high clinical relevance and will show the safety/efficacy or non-inferiority of one treatment approach in terms of vein harvesting for coronary artery bypass grafting surgery.</p> <p>Trial registration</p> <p>www.clinicalTrials.gov <a href="http://www.clinicaltrials.gov/ct2/show/NCT01121341">NCT01121341</a>.</p

Dynamics of the Acetylcholinesterase Tetramer

Acetylcholinesterase rapidly hydrolyzes the neurotransmitter acetylcholine in cholinergic synapses, including the neuromuscular junction. The tetramer is the most important functional form of the enzyme. Two low-resolution crystal structures have been solved. One is compact with two of its four peripheral anionic sites (PAS) sterically blocked by complementary subunits. The other is a loose tetramer with all four subunits accessible to solvent. These structures lacked the C-terminal amphipathic t-peptide (WAT domain) that interacts with the proline-rich attachment domain (PRAD). A complete tetramer model (AChEt) was built based on the structure of the PRAD/WAT complex and the compact tetramer. Normal mode analysis suggested that AChEt could exist in several conformations with subunits fluctuating relative to one another. Here, a multiscale simulation involving all-atom molecular dynamics and Cα-based coarse-grained Brownian dynamics simulations was carried out to investigate the large-scale intersubunit dynamics in AChEt. We sampled the ns-μs timescale motions and found that the tetramer indeed constitutes a dynamic assembly of monomers. The intersubunit fluctuation is correlated with the occlusion of the PAS. Such motions of the subunits “gate” ligand-protein association. The gates are open more than 80% of the time on average, which suggests a small reduction in ligand-protein binding. Despite the limitations in the starting model and approximations inherent in coarse graining, these results are consistent with experiments which suggest that binding of a substrate to the PAS is only somewhat hindered by the association of the subunits