Integrated testing and verification system for research flight software design document

The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically

Modeling and Analyzing Faults to Improve Election Process Robustness

This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, the Little-JIL process definition language is used to create a precise and detailed model of an election process. Given this process model and a potential undesirable event, or hazard, a fault tree is automatically derived. Fault tree analysis is then used to automatically identify combinations of failures that might allow the selected potential hazard to occur. Once these combinations have been identified, we iteratively improve the process model to increase the robustness of the election process against those combinations that seem the most likely to occur. We demonstrate this approach for the Yolo County election process. We focus our analysis on the ballot counting process and what happens when a discrepancy is found during the count. We identify two single points of failure (SPFs) in this process and propose process modifications that we then show remove these SPFs

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling

This paper presents a method for scheduling resources in complex systems that integrate humans with diverse hardware and software components, and for studying the impact of resource schedules on system characteristics. The method uses discrete-event simulation and integer linear programming, and relies on detailed models of the system’s processes, specifications of the capabilities of the system’s resources, and constraints on the operations of the system and its resources. As a case study, we examine processes involved in the operation of a hospital emergency department, studying the impact staffing policies have on such key quality measures as patient length of stay (LoS), number of handoffs, staff utilization levels, and cost. Our results suggest that physician and nurse utilization levels for clinical tasks of 70% result in a good balance between LoS and cost. Allowing shift lengths to vary and shifts to overlap increases scheduling flexibility. Clinical experts provided face validation of our results. Our approach improves on the state of the art by enabling using detailed resource and constraint specifications effectively to support analysis and decision making about complex processes in domains that currently rely largely on trial and error and other ad hoc methods

Microbiome-derived carnitine mimics as previously unknown mediators of gut-brain axis communication

Alterations to the gut microbiome are associated with various neurological diseases, yet evidence of causality and identity of microbiome-derived compounds that mediate gut-brain axis interaction remain elusive. Here, we identify two previously unknown bacterial metabolites 3-methyl-4-(trimethylammonio)butanoate and 4-(trimethylammonio)pentanoate, structural analogs of carnitine that are present in both gut and brain of specific pathogen–free mice but absent in germ-free mice. We demonstrate that these compounds are produced by anaerobic commensal bacteria from the family Lachnospiraceae (Clostridiales) family, colocalize with carnitine in brain white matter, and inhibit carnitine-mediated fatty acid oxidation in a murine cell culture model of central nervous system white matter. This is the first description of direct molecular inter-kingdom exchange between gut prokaryotes and mammalian brain cells, leading to inhibition of brain cell function

An approach to locating delayed activities in software processes

Activity is now playing a vital role in software processes. To ensure the high-level efficiency of software processes, a key point is to locate those activities that own bigger resource occupation probabilities with respect to average execution time, called delayed activities, and then improve them. To this end, we firstly propose an approach to locating delayed activities in software processes. Furthermore, we present a case study, which exhibits the high-level efficiency of the approach, to concretely illustrate this new solution. Some beneficial analysis and reasonable modification are developed in the end

Software engineering processes for self-adaptive systems

In this paper, we discuss how for self-adaptive systems some activities that traditionally occur at development-time are moved to run-time. Responsibilities for these activities shift from software engineers to the system itself, causing the traditional boundary between development-time and run-time to blur. As a consequence, we argue how the traditional software engineering process needs to be reconceptualized to distinguish both development-time and run-time activities, and to support designers in taking decisions on how to properly engineer such systems. Furthermore, we identify a number of challenges related to this required reconceptualization, and we propose initial ideas based on process modeling. We use the Software and Systems Process Engineering Meta-Model (SPEM) to specify which activities are meant to be performed off-line and on-line, and also the dependencies between them. The proposed models should capture information about the costs and benefits of shifting activities to run-time, since such models should support software engineers in their decisions when they are engineering self-adaptive systems

Successful Cognitive Aging in Rats: A Role for mGluR5 Glutamate Receptors, Homer 1 Proteins and Downstream Signaling Pathways

Normal aging is associated with impairments in cognition, especially learning and memory. However, major individual differences are known to exist. Using the classical Morris Water Maze (MWM) task, we discriminated a population of 24-months old Long Evans aged rats in two groups - memory-impaired (AI) and memory-unimpaired (AU) in comparison with 6-months old adult animals. AI rats presented deficits in learning, reverse memory and retention. At the molecular level, an increase in metabotropic glutamate receptors 5 (mGluR5) was observed in post-synaptic densities (PSD) in the hippocampus of AU rats after training. Scaffolding Homer 1b/c proteins binding to group 1 mGluR facilitate coupling with its signaling effectors while Homer 1a reduces it. Both Homer 1a and 1b/c levels were up-regulated in the hippocampus PSD of AU animals following MWM task. Using immunohistochemistry we further demonstrated that mGluR5 as well as Homer 1b/c stainings were enhanced in the CA1 hippocampus sub-field of AU animals. In fact mGluR5 and Homer 1 isoforms were more abundant and co-localized in the hippocampal dendrites in AU rats. However, the ratio of Homer 1a/Homer 1b/c bound to mGluR5 in the PSD was four times lower for AU animals compared to AI rats. Consequently, AU animals presented higher PKCγ, ERK, p70S6K, mTOR and CREB activation. Finally the expression of immediate early gene Arc/Arg3.1 was shown to be higher in AU rats in accordance with its role in spatial memory consolidation. On the basis of these results, a model of successful cognitive aging with a critical role for mGluR5, Homer 1 proteins and downstream signalling pathways is proposed here