Simulation of the space station information system in Ada

The Flexible Ada Simulation Tool (FAST) is a discrete event simulation language which is written in Ada. FAST has been used to simulate a number of options for ground data distribution of Space Station payload data. The fact that Ada language is used for implementation has allowed a number of useful interactive features to be built into FAST and has facilitated quick enhancement of its capabilities to support new modeling requirements. General simulation concepts are discussed, and how these concepts are implemented in FAST. The FAST design is discussed, and it is pointed out how the used of the Ada language enabled the development of some significant advantages over classical FORTRAN based simulation languages. The advantages discussed are in the areas of efficiency, ease of debugging, and ease of integrating user code. The specific Ada language features which enable these advances are discussed

SimWorx: An ADA Distributed Simulation Application Framework Supporting HLA and DIS

This research consisted of the analysis, design, and implementation of a reusable application framework for distributed simulation which is compliant with both the DoD High Level Architecture (HLA) for Modeling and Simulation and the Distributed Interactive Simulation (DIS) standards. The goal was to create an Ada-based system for experimentation in distributed simulation. A subsidiary goal was to integrate the system with an existing Air Force Institute of Technology (AFIT) application framework for virtual simulations, Easy_Sim. The application framework was designed using object oriented techniques to enable experimenters to customize it via inheritance extension. The application framework, named SimWorx, consists of two sections: an HLA Federate skeleton, and a surrogate HLA Run Time Infrastructure (RTI) which has an HLA \u27front end and a DIS \u27back end\u27 to provide DIS compatibility. The SimWorx framework was successfully integrated with Easy_Sim to provide an Ada based joint simulation system for distributed virtual simulations

Model-driven engineering approach to design and implementation of robot control system

In this paper we apply a model-driven engineering approach to designing domain-specific solutions for robot control system development. We present a case study of the complete process, including identification of the domain meta-model, graphical notation definition and source code generation for subsumption architecture -- a well-known example of robot control architecture. Our goal is to show that both the definition of the robot-control architecture and its supporting tools fits well into the typical workflow of model-driven engineering development.Comment: Presented at DSLRob 2011 (arXiv:cs/1212.3308

Improving I/O performance through an in-kernel disk simulator

This paper presents two mechanisms that can significantly improve the I/O performance of both hard and solid-state drives for read operations: KDSim and REDCAP. KDSim is an in-kernel disk simulator that provides a framework for simultaneously simulating the performance obtained by different I/O system mechanisms and algorithms, and for dynamically turning them on and off, or selecting between different options or policies, to improve the overall system performance. REDCAP is a RAM-based disk cache that effectively enlarges the built-in cache present in disk drives. By using KDSim, this cache is dynamically activated/deactivated according to the throughput achieved. Results show that, by using KDSim and REDCAP together, a system can improve its I/O performance up to 88% for workloads with some spatial locality on both hard and solid-state drives, while it achieves the same performance as a ‘regular system’ for workloads with random or sequential access patterns.Peer ReviewedPostprint (author's final draft

Using Real-World Data to Guide Ustekinumab Dosing Strategies for Psoriasis: A Prospective Pharmacokinetic-Pharmacodynamic Study.

Variation in response to biologic therapy for inflammatory diseases, such as psoriasis, is partly driven by variation in drug exposure. Real-world psoriasis data were used to develop a pharmacokinetic/pharmacodynamic (PK/PD) model for the first-line therapeutic antibody ustekinumab. The impact of differing dosing strategies on response was explored. Data were collected from a UK prospective multicenter observational cohort (491 patients on ustekinumab monotherapy, drug levels, and anti-drug antibody measurements on 797 serum samples, 1,590 measurements of Psoriasis Area Severity Index (PASI)). Ustekinumab PKs were described with a linear one-compartment model. A maximum effect (Emax ) model inhibited progression of psoriatic skin lesions in the turnover PD mechanism describing PASI evolution while on treatment. A mixture model on half-maximal effective concentration identified a potential nonresponder group, with simulations suggesting that, in future, the model could be incorporated into a Bayesian therapeutic drug monitoring "dashboard" to individualize dosing and improve treatment outcomes

Advanced manned space flight simulation and training: An investigation of simulation host computer system concepts

The findings of a preliminary investigation by Southwest Research Institute (SwRI) in simulation host computer concepts is presented. It is designed to aid NASA in evaluating simulation technologies for use in spaceflight training. The focus of the investigation is on the next generation of space simulation systems that will be utilized in training personnel for Space Station Freedom operations. SwRI concludes that NASA should pursue a distributed simulation host computer system architecture for the Space Station Training Facility (SSTF) rather than a centralized mainframe based arrangement. A distributed system offers many advantages and is seen by SwRI as the only architecture that will allow NASA to achieve established functional goals and operational objectives over the life of the Space Station Freedom program. Several distributed, parallel computing systems are available today that offer real-time capabilities for time critical, man-in-the-loop simulation. These systems are flexible in terms of connectivity and configurability, and are easily scaled to meet increasing demands for more computing power

How do diabetes models measure up? A review of diabetes economic models and ADA guidelines

Introduction: Economic models and computer simulation models have been used for assessing short-term cost-effectiveness of interventions and modelling long-term outcomes and costs. Several guidelines and checklists have been published to improve the methods and reporting. This article presents an overview of published diabetes models with a focus on how well the models are described in relation to the considerations described by the American Diabetes Association (ADA) guidelines. Methods: Relevant electronic databases and National Institute for Health and Care Excellence (NICE) guidelines were searched in December 2012. Studies were included in the review if they estimated lifetime outcomes for patients with type 1 or type 2 diabetes. Only unique models, and only the original papers were included in the review. If additional information was reported in subsequent or paired articles, then additional citations were included. References and forward citations of relevant articles, including the previous systematic reviews were searched using a similar method to pearl growing. Four principal areas were included in the ADA guidance reporting for models: transparency, validation, uncertainty, and diabetes specific criteria. Results: A total 19 models were included. Twelve models investigated type 2 diabetes, two developed type 1 models, two created separate models for type 1 and type 2, and three developed joint type 1 and type 2 models. Most models were developed in the United States, United Kingdom, Europe or Canada. Later models use data or methods from earlier models for development or validation. There are four main types of models: Markov-based cohort, Markov-based microsimulations, discrete-time microsimulations, and continuous time differential equations. All models were long-term diabetes models incorporating a wide range of compilations from various organ systems. In early diabetes modelling, before the ADA guidelines were published, most models did not include descriptions of all the diabetes specific components of the ADA guidelines but this improved significantly by 2004. Conclusion: A clear, descriptive short summary of the model was often lacking. Descriptions of model validation and uncertainty were the most poorly reported of the four main areas, but there exist conferences focussing specifically on the issue of validation. Interdependence between the complications was the least well incorporated or reported of the diabetes-specific criterion

AADLib, A Library of Reusable AADL Models

The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones. A wide range of analysis tools is already available, either as part of the OSATE tool chain, or separate ones. A key missing elements of AADL is a set of reusable building blocks to help learning AADL concepts, but also experiment already existing tool chains on validated real-life examples. In this paper, we present AADLib, a library of reusable model elements. AADLib is build on two pillars: 1/ a set of ready-to- use examples so that practitioners can learn more about the AADL language itself, but also experiment with existing tools. Each example comes with a full description of available analysis and expected results. This helps reducing the learning curve of the language. 2/ a set of reusable model elements that cover typical building blocks of critical systems: processors, networks, devices with a high level of fidelity so that the cost to start a new project is reduced. AADLib is distributed under a Free/Open Source License to further disseminate the AADL language. As such, AADLib provides a convenient way to discover AADL concepts and tool chains, and learn about its features