Input-dependency analysis for hard real-time software

The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid respectively eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development

On the need for epidemiology in psychiatric sciences

n/

Clinical decision making and outcome in the routine care of people with severe mental illness across Europe (CEDAR)

Aims. There is a lack of knowledge on clinical decision making and its relation to outcome in the routine treatment of people with severe mental illness. This study examined preferred and experienced clinical decision making from the perspectives of patients and staff, and how these affect treatment outcome. Methods. CEDAR (ISRCTN75841675) is a naturalistic prospective observational study with bimonthly assessments during a 12-month observation period. 588 adults with severe mental illness were consecutively recruited from caseloads of community mental health services at the six study sites (Germany, UK, Italy, Hungary, Denmark, and Switzerland). Clinical decision making was measured using two instruments (Clinical Decision Making Style Scale. CDMS;Clinical Decision Making Involvement and Satisfaction Scale, CDIS) from patient and staff perspectives. Outcomes assessed were unmet needs (Camberwell Assessment of Need Short Appraisal Schedule, CANSAS). Mixed-effects multinomial regression was used to examine differences in involvement in and satisfaction with actual decision making. The effect of clinical decision making on outcome was examined using hierarchical linear modelling controlling for covariates. Results. Shared decision making was preferred by patients (2=135.08; p<0.001) and staff (2=368.17; p<0.001). Decision making style of staff significantly affected unmet needs over time, with unmet needs decreasing more in patients whose clinicians preferred active to passive (-0.406 unmet needs per two months, p=0.007) or shared (-0.303 unmet needs per two months, p=0.015) decision making. Conclusions. A shift from shared to active involvement of patients is indicated, including the development and rigorous test of targeted interventions

Diagnosis, treatment and follow-up of 25 patients with melamine-induced kidney stones complicated by acute obstructive renal failure in Beijing Children’s Hospital

A total of 25 Chinese patients aged 6 to 36 months hospitalised at Beijing Children’s Hospital due to melamine-induced kidney stones complicated by acute obstructive renal failure in 2008 were included in a study in order to diagnose and treat these special cases more effectively. Feeding history, clinical presentation, ultrasound findings, treatments and effects were summarised. Twelve to seventeen months follow-up was reported also. Ultrasound examination showed that calculi were located at the kidney and ureters. Stones were composed of both uric acid and melamine in a molar ratio of 1.2:1 to 2.1:1. Treatments providing liquid plus alkalisation of urine proved to be effective in helping the patients pass the stones. Surgical intervention was needed in severe cases. Renal function returned to normal in all 25 patients after various durations of therapy. Sixty-eight percent of the patients expelled all of the calculi within 3 months, 90% in 6 months and 95% in 9 months, without sequelae till now. Melamine-contaminated milk formula can cause kidney stones in infants, which should be diagnosed by feeding history, clinical symptoms and ultrasound examination. Composition of the stones was not only of melamine but also uric acid. Providing liquid orally or intravenously plus alkalisation of urine proved to promote the removal of the stones. Follow-up of 12 to 17 months after discharge showed no sequelae

A typology of modifications to peer support work for adults with mental health problems:systematic review

© The Authors 2020. Background Peer support work roles are being implemented internationally, and increasingly in lower-resource settings. However, there is no framework to inform what types of modifications are needed to address local contextual and cultural aspects. Aims To conduct a systematic review identifying a typology of modifications to peer support work for adults with mental health problems. Method We systematically reviewed the peer support literature following PRISMA guidelines for systematic reviews (registered on PROSPERO (International Prospective Register of Systematic Reviews) on 24 July 2018: CRD42018094832). All study designs were eligible and studies were selected according to the stated eligibility criteria and analysed with standardised critical appraisal tools. A narrative synthesis was conducted to identify types of, and rationales for modifications. Results A total of 15 300 unique studies were identified, from which 39 studies were included with only one from a low-resource setting. Six types of modifications were identified: role expectations; initial training; type of contact; role extension; workplace support for peer support workers; and recruitment. Five rationales for modifications were identified: to provide best possible peer support; to best meet service user needs; to meet organisational needs, to maximise role clarity; and to address socioeconomic issues. Conclusions Peer support work is modified in both pre-planned and unplanned ways when implemented. Considering each identified modification as a candidate change will lead to a more systematic consideration of whether and how to modify peer support in different settings. Future evaluative research of modifiable versus non-modifiable components of peer support work is needed to understand the modifications needed for implementation among different mental health systems and cultural settings. Declaration of interest None

Worst-case analysis of heap allocations

Abstract. In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst-case execution time and the worst-case memory consumption. In this paper, we present an analysis to determine the worst-case heap allocations of tasks. The analysis builds upon techniques that are well established for worst-case execution time analysis. The difference is that the cost function is not the execution time of instructions in clock cycles, but the allocation in bytes. In contrast to worst-case execution time analysis, worst-case heap allocation analysis is not processor dependent. However, the cost function depends on the object layout of the runtime system. The analysis is evaluated with several real-time benchmarks to establish the usefulness of the analysis, and to compare the memory consumption of different object layouts.

Hepatopathy following consumption of a commercially available blue-green algae dietary supplement in a dog

BACKGROUND: Dietary supplement use in both human and animals to augment overall health continues to increase and represents a potential health risk due to the lack of safety regulations imposed on the manufacturers. Because there are no requirements for demonstrating safety and efficacy prior to marketing, dietary supplements may contain potentially toxic contaminants such as hepatotoxic microcystins produced by several species of blue-green algae. CASE PRESENTATION: An 11-year-old female spayed 8.95 kg Pug dog was initially presented for poor appetite, lethargy polyuria, polydipsia, and an inability to get comfortable. Markedly increased liver enzyme activities were detected with no corresponding abnormalities evident on abdominal ultrasound. A few days later the liver enzyme activities were persistently increased and the dog was coagulopathic indicating substantial liver dysfunction. The dog was hospitalized for further care consisting of oral S-adenosylmethionine, silybin, vitamin K, and ursodeoxycholic acid, as well as intravenous ampicillin sodium/sulbactam sodium, dolasetron, N-acetylcysteine, metoclopramide, and intravenous fluids. Improvement of the hepatopathy and the dog’s clinical status was noted over the next three days. Assessment of the dog’s diet revealed the use of a commercially available blue-green algae dietary supplement for three-and-a-half weeks prior to hospitalization. The supplement was submitted for toxicology testing and revealed the presence of hepatotoxic microcystins (MCs), MC-LR and MC-LA. Use of the supplement was discontinued and follow-up evaluation over the next few weeks revealed a complete resolution of the hepatopathy. CONCLUSIONS: To the authors’ knowledge, this is the first case report of microcystin intoxication in a dog after using a commercially available blue-green algae dietary supplement. Veterinarians should recognize the potential harm that these supplements may cause and know that with intervention, recovery is possible. In addition, more prudent oversight of dietary supplement use is recommended for our companion animals to prevent adverse events/intoxications

The impact of mental health recovery narratives on recipients experiencing mental health problems: Qualitative analysis and change model.

BACKGROUND: Mental health recovery narratives are stories of recovery from mental health problems. Narratives may impact in helpful and harmful ways on those who receive them. The objective of this paper is to develop a change model identifying the range of possible impacts and how they occur. METHOD: Semi-structured interviews were conducted with adults with experience of mental health problems and recovery (n = 77). Participants were asked to share a mental health recovery narrative and to describe the impact of other people's recovery narratives on their own recovery. A change model was generated through iterative thematic analysis of transcripts. RESULTS: Change is initiated when a recipient develops a connection to a narrator or to the events descripted in their narrative. Change is mediated by the recipient recognising experiences shared with the narrator, noticing the achievements or difficulties of the narrator, learning how recovery happens, or experiencing emotional release. Helpful outcomes of receiving recovery narratives are connectedness, validation, hope, empowerment, appreciation, reference shift and stigma reduction. Harmful outcomes are a sense of inadequacy, disconnection, pessimism and burden. Impact is positively moderated by the perceived authenticity of the narrative, and can be reduced if the recipient is experiencing a crisis. CONCLUSIONS: Interventions that incorporate the use of recovery narratives, such as peer support, anti-stigma campaigns and bibliotherapy, can use the change model to maximise benefit and minimise harms from narratives. Interventions should incorporate a diverse range of narratives available through different mediums to enable a range of recipients to connect with and benefit from this material. Service providers using recovery narratives should preserve authenticity so as to maximise impact, for example by avoiding excessive editing

Needs-oriented discharge planning and monitoring for high utilisers of psychiatric services (NODPAM): Design and methods

<p>Abstract</p> <p>Background</p> <p>Attempts to reduce high utilisation of psychiatric inpatient care by targeting the critical time of hospital discharge have been rare.</p> <p>Methods</p> <p>This paper presents design and methods of the study "Effectiveness and Cost-Effectiveness of Needs-Oriented Discharge Planning and Monitoring for High Utilisers of Psychiatric Services" (NODPAM), a multicentre RCT conducted in five psychiatric hospitals in Germany. Inclusion criteria are receipt of inpatient psychiatric care, adult age, diagnosis of schizophrenia or affective disorder, defined high utilisation of psychiatric care during two years prior to the current admission, and given informed consent. Consecutive recruitment started in April 2006. Since then, during a period of 18 months, comprehensive outcome data of 490 participants is being collected at baseline and during three follow-up measurement points.</p> <p>The manualised intervention applies principles of needs-led care and focuses on the inpatient-outpatient transition. A trained intervention worker provides two intervention sessions: (a) Discharge planning: Just before discharge with the patient and responsible clinician at the inpatient service; (b) Monitoring: Three months after discharge with the patient and outpatient clinician. A written treatment plan is signed by all participants after each session.</p> <p>Primary endpoints are whether participants in the intervention group will show fewer hospital days and readmissions to hospital. Secondary endpoints are better compliance with aftercare, better clinical outcome and quality of life, as well as cost-effectiveness and cost-utility.</p> <p>Discussion</p> <p>If a needs-oriented discharge planning and monitoring proves to be successful in this RCT, a tool will be at hand to improve patient outcome and reduce costs via harmonising fragmented mental health service provision.</p> <p>Trial Registration</p> <p>ISRCTN59603527</p