Developing Experimental Models for NASA Missions with ASSL

NASA's new age of space exploration augurs great promise for deep space exploration missions whereby spacecraft should be independent, autonomous, and smart. Nowadays NASA increasingly relies on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. Autonomic computing has been recognized as a promising approach to the development of self-managing spacecraft systems that employ onboard intelligence and rely less on control links. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. As part of long-term research targeted at the development of models for space exploration missions that rely on principles of autonomic computing, we have employed ASSL to develop formal models and generate functional prototypes for NASA missions. This helps to validate features and perform experiments through simulation. Here, we discuss our work on developing such missions with ASSL.Comment: 7 pages, 4 figures, Workshop on Formal Methods for Aerospace (FMA'09

Parasympathetic functions in children with sensory processing disorder.

The overall goal of this study was to determine if parasympathetic nervous system (PsNS) activity is a significant biomarker of sensory processing difficulties in children. Several studies have demonstrated that PsNS activity is an important regulator of reactivity in children, and thus, it is of interest to study whether PsNS activity is related to sensory reactivity in children who have a type of condition associated with sensory processing disorders termed sensory modulation dysfunction (SMD). If so, this will have important implications for understanding the mechanisms underlying sensory processing problems of children and for developing intervention strategies to address them. The primary aims of this project were: (1) to evaluate PsNS activity in children with SMD compared to typically developing (TYP) children, and (2) to determine if PsNS activity is a significant predictor of sensory behaviors and adaptive functions among children with SMD. We examine PsNS activity during the Sensory Challenge Protocol; which includes baseline, the administration of eight sequential stimuli in five sensory domains, recovery, and also evaluate response to a prolonged auditory stimulus. As a secondary aim we examined whether subgroups of children with specific physiological and behavioral sensory reactivity profiles can be identified. Results indicate that as a total group the children with severe SMD demonstrated a trend for low baseline PsNS activity, compared to TYP children, suggesting this may be a biomarker for SMD. In addition, children with SMD as a total group demonstrated significantly poorer adaptive behavior in the communication and daily living subdomains and in the overall Adaptive Behavior Composite of the Vineland than TYP children. Using latent class analysis, the subjects were grouped by severity and the severe SMD group had significantly lower PsNS activity at baseline, tones and prolonged auditory. These results provide preliminary evidence that children who demonstrate severe SMD may have physiological activity that is different from children without SMD, and that these physiological and behavioral manifestations of SMD may affect a child\u27s ability to engage in everyday social, communication, and daily living skills

Achieving Robust Self-Management for Large-Scale Distributed Applications

Autonomic managers are the main architectural building blocks for constructing self-management capabilities of computing systems and applications. One of the major challenges in developing self-managing applications is robustness of management elements which form autonomic managers. We believe that transparent handling of the effects of resource churn (joins/leaves/failures) on management should be an essential feature of a platform for self-managing large-scale dynamic distributed applications, because it facilitates the development of robust autonomic managers and hence improves robustness of self-managing applications. This feature can be achieved by providing a robust management element abstraction that hides churn from the programmer. In this paper, we present a generic approach to achieve robust services that is based on finite state machine replication with dynamic reconfiguration of replica sets. We contribute a decentralized algorithm that maintains the set of nodes hosting service replicas in the presence of churn. We use this approach to implement robust management elements as robust services that can operate despite of churn. Our proposed decentralized algorithm uses peer-to-peer replica placement schemes to automate replicated state machine migration in order to tolerate churn. Our algorithm exploits lookup and failure detection facilities of a structured overlay network for managing the set of active replicas. Using the proposed approach, we can achieve a long running and highly available service, without human intervention, in the presence of resource churn. In order to validate and evaluate our approach, we have implemented a prototype that includes the proposed algorithm

Self-managed cells and their federation

Future e-Health systems will consist of low-power, on-body wireless sensors attached to mobile users that interact with a ubiquitous computing environment. This kind of system needs to be able to configure itself with little or no user input; more importantly, it is required to adapt autonomously to changes such as user movement, device failure, the addition or loss of services, and proximity to other such systems. This extended abstract describes the basic architecture of a Self-Managed Cell (SMC) to address these requirements, and discusses various forms of federation between/among SMCs. This structure is motivated by a typical e-Health scenario

An event service supporting autonomic management of ubiquitous systems for e-health

An event system suitable for very simple devices corresponding to a body area network for monitoring patients is presented. Event systems can be used both for self-management of the components as well as indicating alarms relating to patient health state. Traditional event systems emphasise scalability and complex event dissemination for internet based systems, whereas we are considering ubiquitous systems with wireless communication and mobile nodes which may join or leave the system over time intervals of minutes. Issues such as persistent delivery are also important. We describe the design, prototype implementation, and performance characteristics of an event system architecture targeted at this application domain