Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

International audienceThe emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount importance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system designers to precisely define and analyze system behaviors. However , specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete understanding of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution semantics , including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated metalanguage to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach

Formal verification techniques for model transformations: A tridimensional classification

In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul". Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue. This paper proposes to explore the question of the formal verification of model transformation properties through a tridimensional approach: the transformation involved, the properties of interest addressed, and the formal verification techniques used to establish the properties. This work is intended for a double audience. For newcomers, it provides a tutorial introduction to the field of formal verification of model transformations. For readers more familiar with formal methods and model transformations, it proposes a literature review (although not systematic) of the contributions of the field. Overall, this work allows to better understand the evolution, trends and current practice in the domain of model transformation verification. This work opens an interesting research line for building an engineering of model transformation verification guided by the notion of model transformation intent

Assessing composition in modeling approaches

Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low-level design models, are developed for various purposes, use various means of composition, and thus are difficult to compare. However, such comparisons are critical to help practitioners know under which conditions approaches are most applicable, and how they might be successfully generalized and combined to achieve end-to-end methods. This paper reports on work done at the 2nd International Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive modeling methodologies with a particular emphasis on composition: (i) an improved set of comparison criteria; (ii) 19 assessments of modeling approaches based on the comparison criteria and a common, focused case study

Elaboration et réactivité interfaciale d'oxydes pérovskites à base de Lanthane Strontium Chrome Ruthénium (LSCrRu) comme composés d'anode de piles à combustible à température intermédiaire (ITSOFC).

New data on the interest of ruthenium doped lanthanum strontium chromite La1-xSrxCr1-yRuyO3δ (LSCrRu) as anode in ITSOFC are presented. Microwave synthesis of mixed oxides allowed shaping of half-cells and complete cells using sputtering and screen printing methods. LSCrRu methane reforming property had been studied in a mono-chamber system coupled with a mass spectrometer in collaboration with Institut de REcherche Hydro-Québec. Anode/electrolyte interfacial reactivity had been analysed using SIMS and XRD on half cells models after ageing under H2 at 800°C. This experiment gave the chemical composition of the film after treatment. Complete cells, tested under working conditions, highlighted, after selective dissolution of LSCrRu film, a microstructure modification at anode/electrolyte interface. XPS and SEM-EDX techniques did not show chemical reactivity.Cette étude apporte des données sur l'intérêt des chromites de lanthane strontium dopés au ruthénium La1-xSrxCr1-yRuyO3δ (LSCrRu) comme anode de pile à combustible ITSOFC. La synthèse sous champ micro-onde d'oxydes mixtes a permis la mise en forme de demi-cellules et cellules complètes modèles par pulvérisation cathodique magnétron et par sérigraphie. Les propriétés de reformage de CH4 ont pu être étudiées dans un dispositif mono-chambre couplé à un spectromètre de masse en collaboration avec l'Institut de REcherche Hydro-Québec. La réactivité à l'interface anode/électrolyte a été analysée par SIMS et XRD sur demi-cellules modèles vieillies sous H2 à 800°C. Elle a permis de préciser la chimie du film après traitement. Les cellules complètes, testées en condition de fonctionnement, ont mis en évidence, après dissolution sélective de LSCrRu, une modification de la microstructure à l'interface anode/électrolyte. Des analyses XPS et SEM-EDX n'ont pas montré de réactivité chimique

Flash microwave synthesis and sintering of nanosized La0.75Sr0.25Cr0.93Ru0.07o3–δ for fuel cell application.

International audiencePerovskite-oxide nanocrystals of La0.75Sr0.25Cr0.93Ru0.07O3–δ with a mean size around 10 nm were prepared by microwave flash synthesis. This reaction was performed in alcoholic solution using metallic salts, sodium ethoxide and microwave autoclave. The obtained powder was characterised after purification by energy dispersive X-ray analysis (EDX), X-ray powder diffraction (XRD), BET adsorption technique, photon correlation spectroscopy (PCS) and transmission electron microscopy (TEM). The results show that integrated perovskite-type phase and uniform particle size were obtained in the microwave treated samples. At last the synthesised powder was directly used in a sintering process. A porous solid, in accordance with the expected applications, was then obtained at low sintering temperature (1000 °C) without use of pore forming agent

Synthèse sous champ micro-onde et caractérisation de chromite de lanthane strontium dopé utilisé comme anode de pile à combustible SOFC

National audienc

Microwave synthesis of yttria stabilized zirconia (YSZ)

International audienc

Synthesis of nanosized zirconium carbide by laser pyrolysis route.

International audienceNanosized zirconium carbide was obtained by carburization of tetragonal zirconia/free carbon nanocomposites synthesized by laser pyrolysis technique using zirconium butoxide as precursor and ethylene as sensitizer gas. To achieve the carboreduction, the powder had to be annealed at high temperature under Ar atmosphere to reduce the oxygen and form zirconium carbide (ZrC). Different temperatures were investigated for the heat treatment to obtain the complete carburization while keeping the size as low as possible. The final ZrC grain size was as low as 35 nm. Powders were characterized using X-ray diffraction, thermogravimetric analysis and transmission electron microscopy