Model Driven Tool Interoperability in Practice

International audienceModel Driven Engineering (MDE) advocates the use of models, metamodels and model transformations to revisit some of the classical operations in software engineering. MDE has been mostly used with success in forward and reverse engineering (for software development and better maintenance, respectively). Supporting system interoperability is a third important area of applicability for MDE. The particular case of tool interoperability is currently receiving a lot of interest. In this paper, we describe some experiments in this area that have been performed in the context of open source modeling efforts. Taking stock of these achievements, we propose a general framework where various tools are associated to implicit or explicit metamodels. One of the interesting properties of such an organization is that it allows designers starting some software engineering activity with an informal light-weight tool and carrying it out later on in a more complete or formal context. We analyze such situations and discuss the advantages of using MDE to build a general tool interoperability framework

Transforming BPMN process models to BPEL process definitions with ATL

Abstract. This paper presents a solution to the Case Study: BPMN to BPEL Model Transformation. This solution implements a bridge between two business process modeling languages, BPMN and BPEL. The proposed solution has been implemented using ATL

NOUVEL OUTIL D'ÉVALUATION DES FRÉQUENCES D'OCCURRENCE POUR LES ÉTUDES DE RISQUE

International audienceSummary The aim of this interactive session is to show a new approach developed within the GRIF software (GRaphiques Interactifs pour la Fiabilité) in order to achieve hazard studies. This software moves on each year to provide, to every user, modules at the forefront of technology with fostering ergonomics and ease of use. A module dedicated to the hazard studies has been developed using Albizia calculation engine which allows to achieve thorough assessments without approximations with the help of BDD (Binary Decision Diagram) calculations. After a general description of this new tool; an industrial application case allows to present the different functionalities.Le but de cette session interactive est de présenter une nouvelle approche développée au sein du logiciel GRIF (GRaphiques Interactifs pour la Fiabilité) pour la réalisation d'études de danger. Ce logiciel évolue chaque année dans le but de fournir aux divers utilisateurs des modules à la pointe de l'état de l'art tout en favorisant l'ergonomie et la facilité d'utilisation. Un module dédié aux études de danger a été développé à l'aide du moteur de calcul Albizia qui permet de réaliser des évaluations rigoureuses sans introduction d'approximations grâce aux calculs de type BDD (Binary Decision Diagram). Un cas d'application industriel permet de mettre en avant les différentes fonctionnalités après avoir décrit les principes généraux de ce nouvel outil

Uncertainties in reliability calculations according to iec 61508 & 61511 standards

Les normes de sécurité fonctionnelle IEC 61508 et IEC 61511 requièrent de prendre en compte les incertitudes relatives aux données de fiabilité pour les mesures probabilistes concernant les systèmes instrumentés de sécurité et proposent deux méthodes pour ce faire: utilisation des bornes supérieures à 70% ou des distributions complètes des paramètres de calcul. Dans la présente communication, les deux méthodes sont appliquées à trois cas d’étude : un système série, un système parallèle et un cas industriel. Pour cela, la suite logicielle GRIF (© Total S.A.) a été utilisée afin d’évaluer la probabilité moyenne de défaillance dangereuse en cas de sollicitation (PFDavg). Les calculs montrent qu’une des méthodes est plus pessimiste que l’autre lorsque l’incertitude sur les données de fiabilité est grande.Functional safety standards IEC 61508 and IEC 61511 require to take into account data uncertainties for probabilistic measures related to safety instrumented system and propose two approaches for doing that: use of the 70% upper bound or the full distribution of calculation parameters. In this paper, the two methods are applied to three application cases: a system in series, a system in parallel and a typical business case. The software GRIF (© Total S.A.) has been used in order to evaluate the mean probability of failure on demand (PFDavg). The results indicate that a method is more pessimistic when the reliability data uncertainty is great

Inter-DSL coordination support by combining megamodeling and model weaving

Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaboratively contribute to a large set of interrelated models. Even if the main focus can be on a single model (e.g. a class diagram model), related elements in other models (e.g. a requirement model) often have to be considered and/or accessed. Moreover, all the involved models do not necessarily conform to the same metamodel and thus may have been built using different independent DomainSpecific Languages (DSLs). Such a situation has already been frequently observed in many large-scale industrial deployments of MDE. Manually coordinating all the involved models, i.e. being able to both manage and use the links existing between them, can become a cumbersome and difficult task. As a proposal to solve this inter-DSL coordination issue, we introduce in this paper a generic and extensible inter-model traceability and navigation environment based on the complementary use of megamodeling and model weaving. We illustrate our solution with a concrete working example.status: publishe

Applying MDE for the Validation of Correct Eclipse Plugin Bundles

Abstract. Complex software systems are often constructed by assembling bundles from repositories. Eclipse is one of these systems; build on top of a platform accepting different sets of bundles according to the user needs. This adaptability is one of the main benefits of this kind of systems but implies also several configuration problems. The consistency of Eclipse plug‐in's bundles is one of them. This problem involves a need for the configuration validation. To adress this problem, this paper proposes an approach using model driven engineering. The presented solution combines different MDE techniques such as global model management and model transformations to check the coherency of Eclipse plug‐in's bundles

Inter-dsl coordination support by combining megamodeling and model

Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaboratively contribute to a large set of interrelated models. Even if the main focus can be on a single model (e.g. a class diagram model), related elements in other models (e.g. a requirement model) often have to be considered and/or accessed. Moreover, all the involved models do not necessarily conform to the same metamodel and thus may have been built using different independent Domain-Specific Languages (DSLs). Such a situation has already been frequently observed in many large-scale industrial deployments of MDE. Manually coordinating all the involved models, i.e. being able to both manage and use the links existing between them, can become a cumbersome and difficult task. As a proposal to solve this inter-DSL coordination issue, we introduce in this paper a generic and extensible inter-model traceability and navigation environment based on the complementary use of megamodeling and model weaving. We illustrate our solution with a concrete working example

Libérez la science, un jeu FAIR-play, série Gestion des données.

National audienceLibérez la science série gestion des données est un jeu pédagogique visant à favoriser les discussions et apprentissages autour de la gestion des données dans le contexte de la science ouverte. Il s'adresse à l'ensemble des acteurs d'une institution de recherche impliqués dans la science ouverte. Principe de fonctionnement : un plateau de jeu propose un parcours sur lequel les joueurs font évoluer des pions. A chaque étape, le joueur tire une carte et doit répondre à la question portant sur le libre accès aux publications ou aux données de la recherche. Des cartes "bonne pratique" proposent des bonus ou des malus. Sur le plateau de jeu, des cases bonus ou malus sont également présentes. Un livret pédagogique contient les réponses complètes et documentées

Integrating artificial intelligence into lung cancer screening: a randomised controlled trial protocol

Introduction Lung cancer (LC) is the most common cause of cancer-related deaths worldwide. Its early detection can be achieved with a CT scan. Two large randomised trials proved the efficacy of low-dose CT (LDCT)-based lung cancer screening (LCS) in high-risk populations. The decrease in specific mortality is 20%–25%.Nonetheless, implementing LCS on a large scale faces obstacles due to the low number of thoracic radiologists and CT scans available for the eligible population and the high frequency of false-positive screening results and the long period of indeterminacy of nodules that can reach up to 24 months, which is a source of prolonged anxiety and multiple costly examinations with possible side effects.Deep learning, an artificial intelligence solution has shown promising results in retrospective trials detecting lung nodules and characterising them. However, until now no prospective studies have demonstrated their importance in a real-life setting.Methods and analysis This open-label randomised controlled study focuses on LCS for patients aged 50–80 years, who smoked more than 20 pack-years, whether active or quit smoking less than 15 years ago. Its objective is to determine whether assisting a multidisciplinary team (MDT) with a 3D convolutional network-based analysis of screening chest CT scans accelerates the definitive classification of nodules into malignant or benign. 2722 patients will be included with the aim to demonstrate a 3-month reduction in the delay between lung nodule detection and its definitive classification into benign or malignant.Ethics and dissemination The sponsor of this study is the University Hospital of Nice. The study was approved for France by the ethical committee CPP (Comités de Protection des Personnes) Sud-Ouest et outre-mer III (No. 2022-A01543-40) and the Agence Nationale du Medicament et des produits de Santé (Ministry of Health) in December 2023. The findings of the trial will be disseminated through peer-reviewed journals and national and international conference presentations.Trial registration number NCT05704920