Papers by Cédric Dumoulin
Model-Driven Engineering (MDE) encourages the use of gra-phical modeling tools, which facilitate ... more Model-Driven Engineering (MDE) encourages the use of gra-phical modeling tools, which facilitate the development pro-cess from modeling to coding. Such tools can be designed using the MDE approach into meta-modeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool sup-port for the modeling language, especially for users ’ native methodologies and representational elements and propose limited possibilities in terms of reusability. In this context, we propose MID, a set of meta-models supporting the easy specification of modeling editors by means of reusable com-ponents and explain how representational meta-modeling is carried out with it.
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific ... more HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific ... more HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Complexity in the digital systems integration rises from the heterogeneity of the components inte... more Complexity in the digital systems integration rises from the heterogeneity of the components integrated in a chip. The aim of the Sophocles project is to validate methodologies, platforms and technologies to support integration, verification and programming, over a distributed environment, of complex systems composed of heterogeneous virtual components. Several formalisms are gathered, according to their applicability, in order to immediately propose a framework of formal specification and validation of applications for Systems-on-Chip. The unification of these formalisms in a modeling language facilitates the work of the users while guaranteeing a strong semantics on all the levels of the specification. SOPHOCLES : CYBER-ENTERPRISE FOR SYSTEM-ON-CHIP DISTRIBUTED SIMULATION – MODEL UNIFICATION
１ はじめてのＳｔｒｕｔｓ（アーキテクチャを探る；簡単なアプリケーションの作成 ほか） ２ フレームワークの立ち上げ（ＡｃｔｉｏｎＦｏｒｍを使いこなす；ＡｃｔｉｏｎＦｏｒｗａｒｄによる連結 ほか... more １ はじめてのＳｔｒｕｔｓ（アーキテクチャを探る；簡単なアプリケーションの作成 ほか） ２ フレームワークの立ち上げ（ＡｃｔｉｏｎＦｏｒｍを使いこなす；ＡｃｔｉｏｎＦｏｒｗａｒｄによる連結 ほか） ３ ページの作成（動的なコンテンツの表示；Ｔｉｌｅｓを使用したアプリケーションの開発 ほか） ４ サンプルで見るＳｔｒｕｔｓ（Ａｒｔｉｍｕｓ：あらゆる手を尽くして；Ｓｔｒｕｔｓ１．１への移行 ほか）
Complexity in the digital systems integration rises from the heterogeneity of the components inte... more Complexity in the digital systems integration rises from the heterogeneity of the components integrated in a chip. The simulation or code generation of such systems require to validate methodologies, platforms and technologies to support integration, verification and programming, of complex systems composed of heterogeneous virtual components. Several formalisms are needed according to their applicability in order to propose a framework of formal specification. The unification of these formalisms leads to visually model intensive signal processing applications for embedded systems. A part of this methodology has come down from the Array-OL language. An application is represented by a graph of dependences between tasks and arrays. Thanks to the data-parallel paradigm, a task may iterate the same code on different patterns which tile its depending arrays. The visual notation we propose uses a UML 2.0 standard proposal. This allows usage of existing UML 2.0 tools to model an applicatio...
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015
UML is defined as a visual modeling language for specifying, constructing, and documenting softwa... more UML is defined as a visual modeling language for specifying, constructing, and documenting software intensive systems. In that context, UML diagrams play a central role in the whole software engineering process, starting from early analysis, through implementation, to maintenance. Recent surveys of UML use in industry showed that software practitioners use it on a regular basis, and particularly for communication and as a mental-assist tool. However, they also pointed out the following weaknesses: the lack of context, graphical layout problems, and the language's inadequacy as a facility for communication between technical teams and their clients. In this paper, we present a general approach that addresses these problems by enhancing the effectiveness of UML models as a communication vehicle. Our approach is based on expressing stakeholder-specific viewpoints through the use of secondary notations. This involves the use of auxiliary visual variables (e.g., color, position, size) that are not formally specified in UML. To that end, we extend the traditional concept of layer found in many graphical editors to UML diagram editors. FlipLayers is an implementation of our approach. It is in the form of a plugin for the Papyrus modeling environment. One scenario with several case studies is presented in the paper to demonstrate the benefits of our approach and also to illustrate how to express viewpoints with FlipLayers.
Lecture Notes in Computer Science, 2010
This chapter outlines Papyrus, a tool for graphical modeling of UML2 applications. It is an open-... more This chapter outlines Papyrus, a tool for graphical modeling of UML2 applications. It is an open-source project, designed as an Eclipse component, and based on the existing EMF-based realization of the UML2 meta-model. The goal of this open-source project is twofold. First, it is a complete, efficient, robust, and methodologically agnostic implementation of a UML2 tool to both industry and
The work presented in this paper has been conducted in the framework of the PROMPT2Implementation... more The work presented in this paper has been conducted in the framework of the PROMPT2Implementation (P2I) European ITEA Project. ITEA is an eightyear strategic program for advanced pre-competitive research and development in embedded and ...
The development of embedded applications is very difficult. Several different languages are usual... more The development of embedded applications is very difficult. Several different languages are usually used to specify different parts of the application or of the hardware. Dealing with so many languages can be daunting. A separation of the preoccupations: application, hardware architecture, association between them and the simulation or execution technologies are keys to efficient co-design of embedded applications. The Model Driven Architecture can be used to better deal with the reuse of parts of the design and the interoperability between both the implementation technologies and the various simulation levels.
Complexity in the digital systems integration rises from the heterogeneity of the components inte... more Complexity in the digital systems integration rises from the heterogeneity of the components integrated in a chip. The aim of the Sophocles project is to validate methodologies, platforms and technologies to support integration, verification and programming, over a distributed environment, of complex systems composed of heterogeneous virtual components. Several formalisms are gathered, according to their applicability, in order to immediately propose a framework of formal specification and validation of applications for systems-onchip. The unification of these formalisms in a modeling language facilitates the work of the users while guaranteeing a strong semantics on all the levels of the specification.
Sharing data with the message passing model is not obvious. We propose DREAM an original Distribu... more Sharing data with the message passing model is not obvious. We propose DREAM an original Distributed Shared Memory (DSM) designed for applications needing to share common data. It can be used at the same time as the message passing model. This paper describes our model DREAM and its implementation using PVM.
Uploads
Papers by Cédric Dumoulin