Programming Languages For Hard Real-Time Embedded Systems

International audienceHard real-time embedded systems have traditionally been implemented using low level programming languages (such as ADA or C) at a level very close to the underlying operating system. However, for several years now the industry has started using higher level modelling languages, at least for early simulation and verification steps. The objective of this paper is to study existing formal languages including high level real-time primitives. Our review is built on the case study of an aerospace automated transfer vehicle, the particularity of which is to be composed of several multi-periodic communicating processes. In this paper, we emphasize the strengths and weaknesses of existing programming approaches when implementing this kind of system. As a result, the choice of the base rate of the program appears to have a major influence, not only on the difficulty to program the system correctly but also on the execution platform required to execute the program (operating system, scheduler, ...)

Integration of formal fault analysis in ASSERT: Case studies and lessons learnt

International audienceThe ASSERT European Integrated Project (Automated proof-based System and Software Engineering for Real-Time systems; EC FP6, IST-004033) has investigated, elaborated and experimented advanced methods based on the AltaRica language and support tool OCAS for architecture and fault approach propagation description analysis, and integrated in the complete ASSERT process. The paper describes lessons learnt from three case studies: safety critical spacecraft, autonomous deep exploration spacecraft, and civil aircraft

Multidrug-resistant Acinetobacter Infection Mortality Rate and Length of Hospitalization

Acinetobacter infections have increased and gained attention because of the organism’s prolonged environmental survival and propensity to develop antimicrobial drug resistance. The effect of multidrug-resistant (MDR) Acinetobacter infection on clinical outcomes has not been reported. A retrospective, matched cohort investigation was performed at 2 Baltimore hospitals to examine outcomes of patients with MDR Acinetobacter infection compared with patients with susceptible Acinetobacter infections and patients without Acinetobacter infections. Multivariable analysis controlling for severity of illness and underlying disease identified an independent association between patients with MDR Acinetobacter infection (n = 96) and increased hospital and intensive care unit length of stay compared with 91 patients with susceptible Acinetobacter infection (odds ratio [OR] 2.5, 95% confidence interval [CI] 1.2–5.2 and OR 2.1, 95% CI 1.0–4.3] respectively) and 89 uninfected patients (OR 2.5, 95% CI 1.2–5.4 and OR 4.2, 95% CI 1.5–11.6] respectively). Increased hospitalization associated with MDR Acinetobacter infection emphasizes the need for infection control strategies to prevent cross-transmission in healthcare settings

Empiric Antibiotic Therapy for Staphylococcus aureus Bacteremia May Not Reduce In-Hospital Mortality: A Retrospective Cohort Study

Appropriate empiric therapy, antibiotic therapy with in vitro activity to the infecting organism given prior to confirmed culture results, may improve Staphylococcus aureus outcomes. We aimed to measure the clinical impact of appropriate empiric antibiotic therapy on mortality, while statistically adjusting for comorbidities, severity of illness and presence of virulence factors in the infecting strain.We conducted a retrospective cohort study of adult patients admitted to a tertiary-care facility from January 1, 2003 to June 30, 2007, who had S. aureus bacteremia. Time to appropriate therapy was measured from blood culture collection to the receipt of antibiotics with in vitro activity to the infecting organism. Cox proportional hazard models were used to measure the association between receipt of appropriate empiric therapy and in-hospital mortality, statistically adjusting for patient and pathogen characteristics.Among 814 admissions, 537 (66%) received appropriate empiric therapy. Those who received appropriate empiric therapy had a higher hazard of 30-day in-hospital mortality (Hazard Ratio (HR): 1.52; 95% confidence interval (CI): 0.99, 2.34). A longer time to appropriate therapy was protective against mortality (HR: 0.79; 95% CI: 0.60, 1.03) except among the healthiest quartile of patients (HR: 1.44; 95% CI: 0.66, 3.15).Appropriate empiric therapy was not associated with decreased mortality in patients with S. aureus bacteremia except in the least ill patients. Initial broad antibiotic selection may not be widely beneficial

HCV co-infection in HIV positive population in British Columbia, Canada

<p>Abstract</p> <p>Background</p> <p>As HIV and hepatitis C (HCV) share some modes of transmission co-infection is not uncommon. This study used a population-based sample of HIV and HCV tested individuals to determine the prevalence of HIV/HCV co-infection, the sequence of virus diagnoses, and demographic and associated risk factors.</p> <p>Methods</p> <p>Positive cases of HIV were linked to the combined laboratory database (of negative and positive HCV antibody results) and HCV reported cases in British Columbia (BC).</p> <p>Results</p> <p>Of 4,598 HIV cases with personal identifiers, 3,219 (70%) were linked to the combined HCV database, 1,700 (53%) of these were anti-HCV positive. HCV was diagnosed first in 52% of co-infected cases (median time to HIV identification 3 1/2 years). HIV and HCV was diagnosed within a two week window in 26% of cases. Among individuals who were diagnosed with HIV infection at baseline, subsequent diagnoses of HCV infection was independently associated with: i) intravenous drug use (IDU) in males and females, Hazard Ratio (HR) = 6.64 (95% CI: 4.86-9.07) and 9.76 (95% CI: 5.76-16.54) respectively; ii) reported Aboriginal ethnicity in females HR = 2.09 (95% CI: 1.34-3.27) and iii) males not identified as men-who-have-sex-with-men (MSM), HR = 2.99 (95% CI: 2.09-4.27).</p> <p>Identification of HCV first compared to HIV first was independently associated with IDU in males and females OR = 2.83 (95% CI: 1.84-4.37) and 2.25 (95% CI: 1.15-4.39) respectively, but not Aboriginal ethnicity or MSM. HIV was identified first in 22%, with median time to HCV identification of 15 months;</p> <p>Conclusion</p> <p>The ability to link BC public health and laboratory HIV and HCV information provided a unique opportunity to explore demographic and risk factors associated with HIV/HCV co-infection. Over half of persons with HIV infection who were tested for HCV were anti-HCV positive; half of these had HCV diagnosed first with HIV identification a median 3.5 years later. This highlights the importance of public health follow-up and harm reduction measures for people identified with HCV to prevent subsequent HIV infection.</p

e-Pilly TROP Maladies infectieuses tropicales

L’e-Pilly TROP est un ouvrage d’infectiologie tropicale destiné aux médecins et aux étudiants en médecine des pays francophones du Sud. La prise en compte des différents niveaux de la pyramide sanitaire dans ces pays le rend aussi accessible aux infirmiers des centres de santé communautaires urbains et des structures de santé intermédiaires des zones rurales. Par définition, les Pays En Développement accroissant progressivement leurs capacités de diagnostic biologique et de traitement, les outils de prise en charge correspondent aux moyens des niveaux périphériques comme à ceux des niveaux hospitaliers de référence

Travelers With Cutaneous Leishmaniasis Cured Without Systemic Therapy

Guidelines recommend wound care and/or local therapy as first-line treatment for cutaneous leishmaniasis. An analysis of a referral treatment program in 135 travelers showed that this approach was feasible in 62% of patients, with positive outcome in 83% of evaluable patient