Explicit dynamics SPH ­ Finite Element coupling using the Arlequin method
The Arlequin method gives a simple and effective framework to glue models using various formulations. It is extended here in explicit dynamics and used in order to link a zone showing ruptures by fragmentation meshed with Smoothed Particles Hydrodynamics (SPH) and a larger second undamaged one meshed with finite elements (FEM). This paper gives some details on the method implemented in the EUROPLEXUS code, its validation on simple benchmarks and a confrontation between numerical simulations and results of an experimental study of concrete slab resistance to projectile impacts.
The specification of non-functional requirements, e. g., on timing forms an essential part of modern system design. Modeling languages such as MARTE/CCSL provide dedicated description means enabling engineers to formally define the ticking of the clocks to be implemented in terms of clock constraints and the actually intended timing behavior in terms of instant relations. But thus far, instant relations have only been utilized in order to monitor the correct execution of the clock constraints. In this work, we propose a methodology which, for the first time, verifies clock constraints against the given instant relations. To this end, the timing behavior is represented in terms of an automaton followed by its verification through satisfiability solvers. A case study illustrates the application of the proposed methodology.