Towards automatic Markov reliability modeling of computer architectures

The analysis and evaluation of reliability measures using time-varying Markov models is required for Processor-Memory-Switch (PMS) structures that have competing processes such as standby redundancy and repair, or renewal processes such as transient or intermittent faults. The task of generating these models is tedious and prone to human error due to the large number of states and transitions involved in any reasonable system. Therefore model formulation is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model formulation. This paper presents an overview of the Automated Reliability Modeling (ARM) program, under development at NASA Langley Research Center. ARM will accept as input a description of the PMS interconnection graph, the behavior of the PMS components, the fault-tolerant strategies, and the operational requirements. The output of ARM will be the reliability of availability Markov model formulated for direct use by evaluation programs. The advantages of such an approach are (a) utility to a large class of users, not necessarily expert in reliability analysis, and (b) a lower probability of human error in the computation

A general graphical user interface for automatic reliability modeling

Reported here is a general Graphical User Interface (GUI) for automatic reliability modeling of Processor Memory Switch (PMS) structures using a Markov model. This GUI is based on a hierarchy of windows. One window has graphical editing capabilities for specifying the system's communication structure, hierarchy, reconfiguration capabilities, and requirements. Other windows have field texts, popup menus, and buttons for specifying parameters and selecting actions. An example application of the GUI is given

Automatic specification of reliability models for fault-tolerant computers

The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model

IPod-based in-home system for monitoring gaze-stabilization exercise compliance of individuals with vestibular hypofunction

Background: In the physical therapy setting, physical therapists (PTs) often prescribe exercises for their clients to perform at home. However, it is difficult for PTs to obtain information about their clients' compliance with the prescribed exercises, the quality of performance and symptom magnitude. We present an iPod-based system for capturing this information from individuals with vestibular hypofunction while they perform gaze stabilization exercises at home. Method. The system's accuracy for measurement of rotational velocity against an independent motion tracker was validated. Then a seven day in-home trial was conducted with 10 individuals to assess the feasibility of implementing the system. Compliance was measured by comparing the recorded frequency and duration of the exercises with the exercise prescription. The velocity and range of motion of head movements was recorded in the pitch and yaw planes. The system also recorded dizziness severity before and after each exercise was performed. Each patient was interviewed briefly after the trial to ascertain ease of use. In addition, an interview was performed with PTs in order to assess how the information would be utilized. Results: The correlation of the velocity measurements between the iPod-based system and the motion tracker was 0.99. Half of the subjects were under-compliant with the prescribed exercises. The average head velocity during performance was 140 deg/s in the yaw plane and 101 deg/s in the pitch plane. Conclusions: The iPod-based system was able to be used in-home. Interviews with PTs suggest that the quantitative data from the system will be valuable for assisting PTs in understanding exercise performance of patients, documenting progress, making treatment decisions, and communicating patient status to other PTs. © 2014 Huang et al.; licensee BioMed Central Ltd

Wearable Haptic Devices for Gait Re-education by Rhythmic Haptic Cueing

This research explores the development and evaluation of wearable haptic devices for gait sensing and rhythmic haptic cueing in the context of gait re-education for people with neurological and neurodegenerative conditions. Many people with long-term neurological and neurodegenerative conditions such as Stroke, Brain Injury, Multiple Sclerosis or Parkinson’s disease suffer from impaired walking gait pattern. Gait improvement can lead to better fluidity in walking, improved health outcomes, greater independence, and enhanced quality of life. Existing lab-based studies with wearable devices have shown that rhythmic haptic cueing can cause immediate improvements to gait features such as temporal symmetry, stride length, and walking speed. However, current wearable systems are unsuitable for self-managed use for in-the-wild applications with people having such conditions. This work aims to investigate the research question of how wearable haptic devices can help in long-term gait re-education using rhythmic haptic cueing. A longitudinal pilot study has been conducted with a brain trauma survivor, providing rhythmic haptic cueing using a wearable haptic device as a therapeutic intervention for a two-week period. Preliminary results comparing pre and post-intervention gait measurements have shown improvements in walking speed, temporal asymmetry, and stride length. The pilot study has raised an array of issues that require further study. This work aims to develop and evaluate prototype systems through an iterative design process to make possible the self-managed use of such devices in-the-wild. These systems will directly provide therapeutic intervention for gait re-education, offer enhanced information for therapists, remotely monitor dosage adherence and inform treatment and prognoses over the long-term. This research will evaluate the use of technology from the perspective of multiple stakeholders, including clinicians, carers and patients. This work has the potential to impact clinical practice nationwide and worldwide in neuro-physiotherapy