Initial-value ordinary differential equation solution via variable order Adams method (SIVA/DIVA) package is collection of subroutines for solution of nonstiff ordinary differential equations. There are versions for single-precision and double-precision arithmetic. Requires fewer evaluations of derivatives than other variable-order Adams predictor/ corrector methods. Option for direct integration of second-order equations makes integration of trajectory problems significantly more efficient. Written in FORTRAN 77.

Solving Ordinary Differential Equations

The Transmission Control Protocol.

Technical foundations introduction software reliability and system reliability the operational profile software reliability modelling survey model evaluation and recalibration techniques practices and experiences best current practice of SRE software reliability measurement experience measurement-based analysis of software reliability software fault and failure classification techniques trend analysis in validation and maintenance software reliability and field data analysis software reliability process assessment emerging techniques software reliability prediction metrics software reliability and testing fault-tolerant SRE software reliability using fault trees software reliability process simulation neural networks and software reliability. Appendices: software reliability tools software failure data set repository.

/pdf/handbook-of-software-reliability-engineering-32dwvaljmm.pdf

Handbook of software reliability engineering

This book provides an in-depth description of event-based systems, covering topics ranging from local event matching and distributed event forwarding algorithms, through a practical discussion of software engineering issues raised by the event-based style, to state-of-the-art research in event-based systems like composite event detection and security. The authors offer a comprehensive overview, and show the power of event-based architectures in modern system design, encouraging professionals to exploit this technique in next generation large-scale distributed applications like information dissemination, network monitoring, enterprise application integration, or mobile systems.

/pdf/distributed-event-based-systems-33fttbtql7.pdf

Distributed event-based systems

The use of object-orientation for both spatial data and spatial process models facilitates their integration, which can allow exploration and explanation of spatial-temporal phenomena. In order to better understand how tight coupling might proceed and to evaluate the possible functional and efficiency gains from such a tight coupling, we identify four key relationships affecting how geographic data (fields and objects) and agent-based process models can interact: identity, causal, temporal and topological. We discuss approaches to implementing tight integration, focusing on a middleware approach that links existing GIS and ABM development platforms, and illustrate the need and approaches with example agent-based models.

Spatial process and data models : toward integration of agent-based models and GIS.

We present a new concept for a system network to represent systems that are able to undergo structural change. Change in structure is defined in general terms, and includes the addition and deletion of systems and the modification of the relations among components. The structure of a system network is stored in the network executive. Any change in structure-related information is mapped into modifications in the network structure.Based on these concepts, we derive three new system specifications that provide a shorthand notation to specify classes of dynamic structure systems. These new formalisms are: dynamic structure discrete time system, dynamic structure differential equation specified systems, and dynamic structure discrete event system specification. We demonstrate that these formalisms are closed under coupling, making hierarchical model construction possible. formalisms are described using set theoretic notation and general systems theory concepts.

/pdf/modeling-formalisms-for-dynamic-structure-systems-2htppybsi3.pdf

Modeling formalisms for dynamic structure systems

Traditional simulation methodologies do not support changes in model structure during a simulation run. Current methodologies support only changes in model descriptive variables. Changes in structure are thus forced to be represented at the simple behavioral level. Many models are better represented at both behavioral and structural level. We present a new simulation formalism that fully supports changes in model structure and its closure under coupling. The Dynamic Structure Discrete Event System Specification formalism (DSDEVS) supports a new simulation paradigm, structural simulation, as opposed to conventional trajectory simulation. This new formalism supports changes in structure to the full extent, ranging from simple model/connection add/deletion to the exchange of models between network of models. The DELTA simulation environment, an implementation of the DSDEVS formalism, is briefly described.

Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation

Background: Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder characterized by impairments in social interaction and repetitive patterns of behavior, which can lead to deficits in adaptive behavior. In this study, a serious game was developed to train individuals with ASD for an important type of outdoor activity, which is the use of buses as a means of transportation. Objective: The aim of this study was to develop a serious game that defines a “safe environment” where the players became familiar with the process of taking a bus and to validate if it could be used effectively to teach bus-taking routines and adaptive procedures to individuals with ASD. Methods: In the game, players were placed in a three-dimensional city and were submitted to a set of tasks that involved taking buses to reach specific destinations. Participants with ASD (n=10) underwent between 1 to 3 training sessions. Participants with typical development (n=10) were also included in this study for comparison purposes and received 1 control session. Results: We found a statistically significant increase in the measures of knowledge of the process of riding a bus, a reduction in the electrodermal activity (a metric of anxiety) measured inside the bus environments, and a high success rate of their application within the game (93.8%). Conclusions: The developed game proved to be potentially useful in the context of emerging immersive virtual reality technologies, of which use in therapies and serious games is still in its infancy. Our findings suggest that serious games, using these technologies, can be used effectively in helping people with ASD become more independent in outdoor activities, specifically regarding the use of buses for transportation. [JMIR Serious Games 2018;6(1):e5]

Virtual Travel Training for Autism Spectrum Disorder: Proof-of-Concept Interventional Study

This article presents the Heterogeneous Flow System Specification (HFSS), a formalism aimed to represent hierarchical and modular hybrid flow systems with dynamic structure. The concept of hybrid flow systems provides a generalization of the conventional concept of hybrid system and it can represent a whole plethora of systems, namely: discrete event systems, multicomponent and multirate numerical methods, multirate and multicomponent sampling systems, event locators and time-varying systems. The ability to join all these types of models makes HFSS an excellent framework for merging components built in different paradigms. We present several examples of model definition in the HFSS formalism and we also exploit the ability of the HFSS formalism to represent mutirate numerical integrators.

/pdf/dynamic-structure-multiparadigm-modeling-and-simulation-3igfhun9gr.pdf

Dynamic structure multiparadigm modeling and simulation

We present the DSDE (Dynamic Structure of Discrete Events) formalism, a methodology for representing discrete event systems that change structure dynamically. We prove that the DSDE formalism is closed under coupling and that it can be used to construct hierarchical and modular models. The abstract simulators which are necessary to execute dynamic structure models are also presented. These simulators allow a description of models independent of the actual simulation procedure, and thus encourage model reuse.

/pdf/abstract-simulators-for-the-dsde-formalism-2g4wy4ilkf.pdf

Fernando J. Barros

Papers

Modeling formalisms for dynamic structure systems

Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation

Virtual Travel Training for Autism Spectrum Disorder: Proof-of-Concept Interventional Study

Dynamic structure multiparadigm modeling and simulation

Abstract simulators for the DSDE formalism