XJ DOME is a set of tools and technologies for those who wish to speed up development of distributed COM applications and improve their quality and manageability. DOME supports several development phases (graphical modeling, code generation, simulation and deployment), as well as run-time (monitoring and management). DOME is tuned to work with MS Visual C++.
We consider a modeling language and a simulation environment based on objectoriented principles and aimed to help in the design of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single MS Windows-based graphical environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
We present a case study which demonstrates a methodology of using modeling language and simulation environment for reactive system design and analysis. We describe how a distributed algorithm can be modeled and investigated on the base of a compact set of carefully selected concepts and methods offered by COVERS - an MS Windows-based object-oriented modeling and simulation tool. COVERS modeling language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantic model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single graphical environment. In the paper we overview our experience in using the tool for analysis of a distributed election algorithm which has been described elsewhere.
We consider a modeling language and a simulation environment based on object-oriented principles and aimed to help in the design of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C-I+ for data objects and functions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single MS Windows-based graphical environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
We give an overview of COVERS 3.0 - an MS Windowsbased modeling and simulation environment for concurrent real-time systems. COVERS offers an objectoriented modeling methodology based on C-F+ and Statecharts behavioral notation. Timed Transition Systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software available over the Internet for non-commercial use.
We give an overview of the existing commercial tools for the design of real-time concurrent systems and propose a list of features the ideal design environment should have. Then the COVERS tool is described. Its underlying abstract model is a derivative of the Timed Transition System. The concrete modelling language is based upon the structural, behavioral and data processing views on the real-time concurrent system. COVERS supports a sequential subset of Statecharts and ANSI C. The formal semantics of the concrete model is presented. We describe a method of testing the real time temporal properties using spy processes, and, briefly, debugging and performance analysis means.
Research in biogerontology has largely focused on the complex relationship between mitochondrial dysfunction and biological aging. In particular, the mitochondrial free radical theory of aging (MFRTA) has been well accepted. However, this theory has been challenged by recent studies showing minimal increases in reactive oxygen species (ROS) as not entirely deleterious in nature, and even beneficial under the appropriate cellular circumstances. To assess these significant and nonintuitive observations in the context of a functional system, we have taken an in silico approach to expand the focus of the MFRTA by including other key mitochondrial stress response pathways, as they have been observed in the nematode Caenorhabditis elegans. These include the mitochondrial unfolded protein response (UPRmt), mitochondrial biogenesis and autophagy dynamics, the relevant DAF-16 and SKN-1 axes, and NAD+-dependent deacetylase activities. To integrate these pathways, we have developed a multilevel hybrid-modeling paradigm, containing agent-based elements among stochastic system-dynamics environments of logically derived ordinary differential equations, to simulate aging mitochondrial phenotypes within a population of energetically demanding cells.
This paper describes a simple educational simulation tool to teach about agent-based modeling (ABM) and land use and transportation (LUT) interactions in urbanized regions. The relationship between land use and transportation in urban areas shows a dynamic complexity which is difficult to model with static or very aggregated approaches. Agent-based simulation is becoming a standard to model certain complex systems including LUT interactions. The LUT modeling with Agent-Based simulation has been evolving over the last 20 years and there are some complete models being applied to real metropolitan areas. In this paper, only some of the ingredients of those models are presented in an easy to explain agent-based model that can be used in classes.
We consider time critical supply chains in the Australia dairy industry and re-covery policies in the presence of the ripple effect. Ripple effect is the impact of a dis-ruption on supply chain economic performance and disruption-based scope of changes needed in the supply structures and parameters to preserve the resilience. First, we de-scribe the ripple effect in general and one example of the ripple effect in the dairy supply chain in Australia. Second, we present a model for reactive recovery policies in the dairy supply chain under conditions of the ripple effect and exemplify them on a simulation example. The results of this study can be used in future for comparing proactive and re-active approaches to tackling the ripple effect from resilience and flexibility views.
Sourcing strategy analysis in the settings of supply chain flexibility in regard to single vs dual sourcing has been a well explored area over the last two decades. In recent years, single vs dual sourcing analy-sis has been increasingly introduced in supply chain disruption management. Since most of the deci-sion-support models for supply chain sourcing strategy adaptation in the case of disruptions presume real-time information and coordination, the issues of Big Data and business intelligence needs to be included into the consideration. A supply chain simulation model with consideration of capacity dis-ruption and Big Data along with experimental results are presented. Based on both literature analysis and modelling example, managerial insights are derived. A set of sensitivity experiments allows to illustrate the model’s behaviour. The analysis suggest recommendation on using single sourcing, ca-pacity flexibility, and dual sourcing for different combinations of demand and inventory patterns. The paper is concluded by summarizing the most important insights and outlining future research agenda.