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 methods and agile development towards a happy marriage

Change makes software different from any other artifact created by humans. Although this is known since the 1970s, change is still often handled in an ad hoc manner. Agile development and, more recently, DevOps have been proposed as a solution, and success stories are reported from industry. Still, principled and rigorous foundations that can be taught, practiced, and systematically replicated are lacking. We argue that change has to become a first-class concept and that the development tools used by engineers and the run time environment supporting software execution should be structured in a way that naturally accommodates change. We distinguish between evolution and adaptation and discuss how software can be made self-adaptive, and how it can cooperate with humans in-the-loop, supporting continuous verification and assuring dependability. We discuss how several research approaches that were investigated in the past decade may be integrated and extended in a roadmap of future work leading to progress in tool support and automation to achieve dependable adaptation and evolution

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

Dual atmosphere study of the K41X stainless steel for interconnect application in high temperature water vapour electrolysis

High temperature water vapour electrolysis (HTE) is one of the most efficient technologies for mass hydrogen production. A major technical difficulty related to high temperature water vapour electrolysis is the development of interconnects working efficiently for a long period. Working temperature of 800 °C enables the use of metallic materials as interconnects. High temperature corrosion behaviour and electrical conductivity of a commercial stainless steel, K41X (AISI 441), were tested in HTE dual atmosphere (95%O2-5%H20/10%H2-90%H2O) at 800 °C. The alloy exhibits a very good oxidation resistance compared to single atmosphere tests. However, a supplied electrical current significantly changes the nature of the oxides that form during the test. A very good Area Specific Resistance (ASR) parameter was measured in dual atmosphere, much lower than the values obtained in single atmosphere tests

Interface reactivity between La0,6Sr0,4Co0,2Fe0,8O3-d (LSCF) cathode material and metallic interconnect for fuel cell.

International audienc

Puzzle: A tool for analyzing and extracting specification clones in DSLs

International audienceThe use of domain-specific languages (DSLs) is a successful technique in the development of complex systems. Indeed, the construction of new DSLs addressing the particular needs of software projects has become a recurrent activity. In this context, the phenomenon of specification cloning has started to appear. Language designers often copy&paste some parts of the specification from legacy DSLs to "reuse" formerly defined language constructs. As well known, this type of practices introduce problems such as bugs propagation, thus increasing of maintenance costs. In this paper, we present Puzzle, a tool that uses static analysis to facilitate the detection of specification clones in DSLs implemented under the executable metamodeling paradigm. Puzzle also enables the extraction specification clones as reusable language modules that can be later used to build up new DSLs

From Model Based Systems Engineering to Model Based System Realization: Role and Relevance of IVTV Plan

Part 1: Knowledge Discovery and SharingInternational audienceThe IVTV Plan (Integration, Verification, Transition and Validation of the system before its Qualification) is developed and validated during the design stage. It details all the activities, resources, requirements, means, etc. requested during the realization stage so it is the hyphen between these two crucial stages in system life cycle. It is today necessary to help companies to better transfer detailed design models towards realization for many reasons discussed in this paper. Mainly, IVTV plan remains difficult to be exploited. This article proposes a first step towards a Model-Based Realization Plan, that is, a meta-model that represents the links between models that comes from Model-Based System Engineering and information required in the IVTV plan

Long‐term efficacy and safety of sonidegib in patients with advanced basal cell carcinoma: 42‐month analysis of the phase II randomized, double‐blind BOLT study

Background: Basal cell carcinomas (BCCs) exhibit aberrant activation of the hedgehog pathway. Sonidegib is a hedgehog pathway inhibitor approved for the treatment of locally advanced BCC (laBCC) and metastatic BCC (mBCC) based on primary results of the BOLT study [Basal Cell Carcinoma Outcomes with LDE225 (sonidegib) Treatment]. Objectives: This is the final 42-month analysis of the BOLT study, evaluating the efficacy and safety of sonidegib. Methods: Adults with no prior hedgehog pathway inhibitor therapy were randomized in a 1 : 2 ratio to sonidegib 200 mg or 800 mg once daily. Treatment continued for up to 42 months or until disease progression, unacceptable toxicity, death, study termination or withdrawal of consent. The primary efficacy end point was the objective response rate (ORR) by central review, assessed at baseline; weeks 5, 9 and 17; then subsequently every 8 or 12 weeks during years 1 or 2, respectively. Safety end points included adverse event monitoring and reporting. Results: The study enrolled 230 patients, 79 and 151 in the 200-mg and 800-mg groups, respectively, of whom 8% and 3.3% remained on treatment by the 42-month cutoff, respectively. The ORRs by central review were 56% [95% confidence interval (CI) 43-68] for laBCC and 8% (95% CI 0·2-36) for mBCC in the 200-mg group and 46·1% (95% CI 37·2-55·1) for laBCC and 17% (95% CI 5-39) for mBCC in the 800-mg group. No new safety concerns emerged. Conclusions: Sonidegib demonstrated sustained efficacy and a manageable safety profile. The final BOLT results support sonidegib as a viable treatment option for laBCC and mBCC. What's already known about this topic? Basal cell carcinoma (BCC) is usually treatable with surgery or radiation therapy, but there are limited treatment options for patients with advanced BCC. Sonidegib, a hedgehog pathway inhibitor approved for the treatment of advanced BCC, demonstrated clinically relevant efficacy and manageable safety in prior analyses of the phase II randomized, double-blind BOLT study [Basal Cell Carcinoma Outcomes with LDE225 (sonidegib) Treatment]. What does this study add? This final 42-month analysis of BOLT is the longest follow-up available for a hedgehog pathway inhibitor. Clinically relevant efficacy results were sustained from prior analyses, with objective response rates by central review of the approved 200-mg daily dose of 56% in locally advanced BCC and 8% in metastatic BCC. No new safety concerns were raised. The results confirmed sonidegib as a viable long-term treatment option for patients with advanced BCC