Process of designing robust, dependable, safe and secure software for medical devices: Point of care testing device as a case study

This article has been made available through the Brunel Open Access Publishing Fund.Copyright © 2013 Sivanesan Tulasidas et al. This paper presents a holistic methodology for the design of medical device software, which encompasses of a new way of eliciting requirements, system design process, security design guideline, cloud architecture design, combinatorial testing process and agile project management. The paper uses point of care diagnostics as a case study where the software and hardware must be robust, reliable to provide accurate diagnosis of diseases. As software and software intensive systems are becoming increasingly complex, the impact of failures can lead to significant property damage, or damage to the environment. Within the medical diagnostic device software domain such failures can result in misdiagnosis leading to clinical complications and in some cases death. Software faults can arise due to the interaction among the software, the hardware, third party software and the operating environment. Unanticipated environmental changes and latent coding errors lead to operation faults despite of the fact that usually a significant effort has been expended in the design, verification and validation of the software system. It is becoming increasingly more apparent that one needs to adopt different approaches, which will guarantee that a complex software system meets all safety, security, and reliability requirements, in addition to complying with standards such as IEC 62304. There are many initiatives taken to develop safety and security critical systems, at different development phases and in different contexts, ranging from infrastructure design to device design. Different approaches are implemented to design error free software for safety critical systems. By adopting the strategies and processes presented in this paper one can overcome the challenges in developing error free software for medical devices (or safety critical systems).Brunel Open Access Publishing Fund

Interference Conditions of the Reconsolidation Process in Humans: The Role of Valence and Different Memory Systems

Following the presentation of a reminder, consolidated memories become reactivated followed by a process of re-stabilization, which is referred to as reconsolidation. The most common behavioral tool used to reveal this process is interference produced by new learning shortly after memory reactivation. Memory interference is defined as a decrease in memory retrieval, the effect is generated when new information impairs an acquired memory. In general, the target memory and the interference task used are the same. Here we investigated how different memory systems and/or their valence could produce memory reconsolidation interference. We showed that a reactivated neutral declarative memory could be interfered by new learning of a different neutral declarative memory. Then, we revealed that an aversive implicit memory could be interfered by the presentation of a reminder followed by a threatening social event. Finally, we showed that the reconsolidation of a neutral declarative memory is unaffected by the acquisition of an aversive implicit memory and conversely, this memory remains intact when the neutral declarative memory is used as interference. These results suggest that the interference of memory reconsolidation is effective when two task rely on the same memory system or both evoke negative valence.Fil: Fernández, Rodrigo Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; ArgentinaFil: Bavassi, Mariana Luz. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Física; ArgentinaFil: Kaczer, Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; ArgentinaFil: Forcato, Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; ArgentinaFil: Pedreira, Maria Eugenia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; Argentin

A theory-based approach to understanding condom errors and problems reported by men attending an STI clinic

The official published version can be accessed from the link below - Copyright @ 2008 Springer VerlagWe employed the information–motivation–behavioral skills (IMB) model to guide an investigation of correlates for correct condom use among 278 adult (18–35 years old) male clients attending a sexually transmitted infection (STI) clinic. An anonymous questionnaire aided by a CD-recording of the questions was administered. Linear Structural Relations Program was used to conduct path analyses of the hypothesized IMB model. Parameter estimates showed that while information did not directly affect behavioral skills, it did have a direct (negative) effect on condom use errors. Motivation had a significant direct (positive) effect on behavioral skills and a significant indirect (positive) effect on condom use errors through behavioral skills. Behavioral skills had a direct (negative) effect on condom use errors. Among men attending a public STI clinic, these findings suggest brief, clinic-based, safer sex programs for men who have sex with women should incorporate activities to convey correct condom use information, instill motivation to use condoms correctly, and directly enhance men’s behavioral skills for correct use of condoms

Interventions to Promote More Effective Balance-Recovery Reactions in Industrial Settings: New Perspectives on Footwear and Handrails

“Change-in-support” balance-recovery reactions that involve rapid stepping or reaching movements play a critical role in preventing falls. Recent geriatrics studies have led to new interventions to improve ability to execute these reactions effectively. Some of these interventions have the potential to reduce fall risk for younger persons working in industrial settings. In this paper, we review research pertaining to two such interventions: 1) balance-enhancing footwear insoles designed to improve stepping reactions, and 2) proximity-triggered handrail cueing systems designed to improve reach-to-grasp reactions. The insole has a raised ridge around the perimeter that is intended to improve balance control by providing increased stimulation of sensory receptors on the footsole in situations where loss of balance may be imminent. The cueing system uses flashing lights and/or verbal prompts to attract attention to the handrail and ensure that the brain registers its location, thereby facilitating more rapid and accurate grasping of the rail if and when sudden loss of balance occurs. Results to date support the efficacy of both interventions in geriatric populations. There is also some evidence that these interventions may improve balance control in younger persons; however, further research is needed to confirm their efficacy in preventing falls in industrial settings

Do peers increase older adults\u27 participation in strength training? Pilot randomized trial

Fewer than 20% of older adults participate in strength training (ST). Barriers to ST participation include not knowing where to go or not having someone to go with. To address these barriers, the authors provided older adults with a peer (older person already participating in ST) to support their engagement. The aim of this pilot randomized controlled trial was to determine whether older adults who were provided with a peer when participating in ST were more likely to be participating in ST 4 weeks postintervention, compared with those receiving ST alone. Fifty-one ST participants were recruited; 40 completed the intervention and postintervention data collection (78.4%). Providing peer support with ST did not significantly increase ST participation (p = .775). However, both groups made significant improvements over time in lower-limb strength and mobility. Participants in either group who continued the ST program (55%) had made additional significant improvements in lower-limb strength and mobility

Asymptotically minimax empirical Bayes estimation of a sparse normal mean vector

For the important classical problem of inference on a sparse high-dimensional normal mean vector, we propose a novel empirical Bayes model that admits a posterior distribution with desirable properties under mild conditions. In particular, our empirical Bayes posterior distribution concentrates on balls, centered at the true mean vector, with squared radius proportional to the minimax rate, and its posterior mean is an asymptotically minimax estimator. We also show that, asymptotically, the support of our empirical Bayes posterior has roughly the same effective dimension as the true sparse mean vector. Simulation from our empirical Bayes posterior is straightforward, and our numerical results demonstrate the quality of our method compared to others having similar large-sample properties.Comment: 18 pages, 3 figures, 3 table