Two Hemisphere Model Driven Approach for Generation of UML Class Diagram in the Context of MDA

The Model Driven Architecture (MDA) separates the system business aspects from the system implementation aspects on a specific technology platform. MDA proposes a software development process in which the key notions are models and model transformation, where the input models are platform independent and the output models are platform specific and can be transformed into a format that is executable. In this paper principles of MDA and model transformations are applied for generation of UML class diagram from two hemisphere model, which is presented in the form of business process model related with concept model. Two hemisphere model is developed for the problem domain concerned with an application for driving school and UML class diagram is generated using the approach offered in the paper

An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal

International audienceEnsuring the correction of heterogeneous and complex systems is an essential stage in the process of engineering systems.In this paper we propose a methodology to verify and validate complex systems specified with SysML language using a combination of the two techniques of simulation and verification. We translate SysML specifications into SystemC models to validate the designed systems by simulation, then we propose to verify the derived SystemC models by using the Uppaal model checker. A case study is presented to demonstrate the effectiveness of our approach

Proceedings of the 4th Workshop of the MPM4CPS COST Action

Proceedings of the 4th Workshop of the MPM4CPS COST Action with the presentations delivered during the workshop and papers with extended versions of some of them

Mechanisms controlling primary and new production in a global ecosystem model ? Part I: The role of the large-scale upper mixed layer variability

International audienceA global general circulation model coupled to a simple six-compartment ecosystem model is used to study the extent to which global variability in primary and export production can be realistically predicted on the basis of advanced parameterizations of upper mixed layer physics, without recourse to introducing extra complexity in model biology. The ''K profile parameterization'' (KPP) scheme employed, combined with 6-hourly external forcing, is able to capture short-term periodic and episodic events such as diurnal cycling and storm-induced deepening. The model realistically reproduces various features of global ecosystem dynamics that have been problematic in previous global modelling studies, using a single generic parameter set. The realistic simulation of deep convection in the North Atlantic, and lack of it in the North Pacific and Southern Oceans, leads to good predictions of chlorophyll and primary production in these contrasting areas. Realistic levels of primary production are predicted in the oligotrophic gyres due to high frequency external forcing of the upper mixed layer (accompanying paper Popova et al., 2006) and novel parameterizations of zooplankton excretion. Good agreement is shown between model and observations at various JFOFS time series sites: BATS, KERFIX, Papa and station India. One exception is that the high zooplankton grazing rates required to maintain low chlorophyll in high-nutrient low-chlorophyll and oligotrophic systems lessened agreement between model and data in the northern North Atlantic, where mesozooplankton with lower grazing rates may be dominant. The model is therefore not globally robust in the sense that additional parameterizations were needed to realistically simulate ecosystem dynamics in the North Atlantic. Nevertheless, the work emphasises the need to pay particular attention to the parameterization of mixed layer physics in global ocean ecosystem modelling as a prerequisite to increasing the complexity of ecosystem models

Kinetic Monte Carlo Models for Crystal Defects

Kinetic Monte Carlo algorithms have become an increasingly popular means to simulate stochastic processes since their inception in the 1960\u27s. One area of particular interest is their use in simulations of crystal growth and evolution in which atoms are deposited on, or hop between, predefined lattice locations with rates depending on a crystal\u27s configuration. Two such applications are heteroepitaxial thin films and grain boundary migration. Heteroepitaxial growth involves depositing one material onto another with a different lattice spacing. This misfit leads to long-range elastic stresses that affect the behavior of the film. Grain boundary migration, on the other hand, describes how the interface between oriented crystals evolves under a driving force. In ideal grain growth, migration is driven by curvature of the grain boundaries in which the boundaries move towards their center of curvature. This results in a reduction of the total grain boundary surface area of the system, and therefore the total energy of the system. We consider both applications here. Specifically, we extend the analysis of an Energy Localization Approximation applied to Kinetic Monte Carlo simulations of two-dimensional film growth to a three-dimensional setting. We also propose a Kinetic Monte Carlo model for grain boundary migration in the case of arbitrarily oriented face-centered cubic crystals