Joel Champeau

Joel Champeau
ENSTA Bretagne · Lab-STICC

About

99
Publications
6,690
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
582
Citations

Publications

Publications (99)
Article
Model federation is a multi-model management approach based on the use of virtual models and loosely coupled links. The models in a federation remain autonomous and represented in their original technological spaces whereas virtual models and links (which are not level bounded) serve as control components used to present different views to the user...
Article
Full-text available
This article presents PAMELA, an annotation-based Java modeling framework. PAMELA provides a smooth integration between model and code and enables Java developers to handle software development both at conceptual level and at source-code level, without code transformation and/or generation, avoiding round-trip-related issues.
Conference Paper
With the increasing number of cyber-attacks on cyber-physical systems, many security precautions and solutions have been suggested. However, most of these solutions aim to prevent the access of an adversary to the system. Though, with the increasing number of elements used in a system, and thus vulnerabilities, it is essential to study the risks in...
Conference Paper
Full-text available
UnderWater Sensor Networks (UW-SNs) performs collaborative monitoring tasks over an underwater determined area. These tasks could be underwater or deep sea observatories. Acoustic sensors (Hydrophones) are responsible to acquire the data underwater then transfer it to components/devices. Marine Observatory (MO) is the scenario of data exchanged bet...
Conference Paper
Nowadays, new systems are by nature distributed and built around existing systems. The concept of System of systems (SoS) has become the key for creating new systems. Modeling is a central issue of SoS design and evolution. Since subsystems of a SoS can be modeled in different languages, the SoS modeling environment should be able to handle indisti...
Conference Paper
Full-text available
Concurrency is of primary interest in the development of complex software-intensive systems, as well as the deployment on modern platforms. Furthermore, Domain-Specific Languages (DSLs) are increasingly used in industrial processes to separate and abstract the various concerns of complex systems.However, reifying the definition of the DSL concurren...
Article
Full-text available
Infrastructure of Marine Observatory (MO) is an UnderWater Sensor Networks (UW-SN) to perform collaborative monitoring tasks over a given area. This observation should take into consideration the environmental constraints since it may require specific tools, materials and devices (cables, servers, etc.). The logical and physical components that are...
Article
Modern software and system collaborative process involves various teams in different development phases thus need efficient solutions for tools integration. In Model-Driven Development, transformation technique is used to allow exchanging models created by different tools. However, in a process, transformation are often defined manually for a tool-...
Article
Full-text available
Marine observatories (MO) based on sensor networks provide a continuous observation of the ocean. The logical and physical components that are used in these observatories provide data exchanged environment between different devices (Smart Sensor, Data Fusion). These components provide new functionalities or services due to the stable running of thi...
Technical Report
Full-text available
In the GEMOC project, MoCCML is dedicated to define the MoC associated with the DSMLs. The purpose of this document is to define the operational semantics of the MoCCML language and also to define the first steps of an approach to provide an exhaustive exploration of the MoCCML models. This document presents the operational semantics of the MoCCML...
Conference Paper
Systems of systems (SoS) are assemblies of systems working together to achieve a common goal. Each integrated system keeps its own project management and ability to work outside the SoS. Designing a SoS implies the ability to integrate design data coming from multiple sources most of the time in a heterogeneous design environment, involving a wide...
Conference Paper
In the context of embedded systems design, the growing heterogeneity of systems leads to increasingly complex and unreliable tool chains. The Model-Driven Engineering (MDE) community has been making considerable efforts to abstract tool languages in meta-models, and to offer model transformation mechanisms for model exchanges. However, the interope...
Article
Full-text available
In this paper we introduce the toolchain topic as a federation of models based on an abstraction of dif ferents tool definitions. We consider the toolchain in the context of embedded systems, in particular the co-design which implies a co-engineering approach with many tools. Our main goal is to define a tool integration model to carry out an abstr...
Article
Full-text available
In the Model-Based Product Line Engineering (MBPLE) context, modularization and separation of concerns have been introduced to master the inherent complexity of current developments. With the aim to exploit e ciently the variabilities and commonalities in MBPLs, the challenge of management of dependencies becomes essential (e.g. hierarchical and va...
Book
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développeme...
Article
Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into t...
Article
Full-text available
On way to formalize system requirements is to express them using the object-oriented paradigm. In this case, the class model representing the structure of requirements is called a requirements metamodel, and requirements themselves are object-based models of natural language requirements. In this paper, we show that such object-oriented requirement...
Conference Paper
Full-text available
Existing approaches to tool integration based upon metamodels encounter the problem that common (integration) metamodels become too large and complicated, due to the large number of different tools that have to be integrated, each with their specific metamodel defining models handled by each tool. The approach taken here is radically different in t...
Conference Paper
Model-Based Engineering (MBE) and Product Line Engineering (PLE) have been combined, to handle new system development constraints like: increasing complexity, higher product quality and cost reduction. Many authors have pointed out the need of modularization in the variability and in the core assets space. Existing approaches focus on separating an...
Conference Paper
Full-text available
The need for higher level models during system design has resulted in many different Electronic System Level (ESL) formalisms that seldom succeeded in the past in the quest for efficient top-down design methodologies. In this paper, we propose a new working toolchain starting from UML specifi-cations coupled to an industrial-level system-level synt...
Conference Paper
The Product Line Engineering (PLE) promotes reuse as intent to face new system development constraints like: increasing product quality, time-to-market enhancement, and production costs reduction. The modeling and management of variability and commonalities is central to the PLE and several techniques have been defined to cope with this issue. Modu...
Conference Paper
Model-Based Engineering (MBE) and Product Line Engineering (PLE) have been combined, to handle new system development constraints like: increasing complexity, higher product quality, faster time-to-market and cost reduction. As observed by some authors, the derivation of a product from product line shared core assets has been insufficiently address...
Conference Paper
Pour relever le défi de la complexité croissante des logiciels, auquel s'ajoute une demande de qualité des produits, de suret é et de sécurité toujours accrues, la communauté du génie logiciel tend à réaliser une synergie de l'abstraction de l'Ing énierie Dirigée par les Modèles (IDM) et de la capacité de capitalisation des Lignes de Produits (LdPs...
Article
Full-text available
Architecture models provide a legible description of the system, and help describing its properties in a representation shared and understood by most stakeholders. "Executable" models allow running enterprise behaviors in a convincing way to support the understanding of complex enterprises, such as Systems of Systems (SoS). In the context of an app...
Article
Full-text available
Metrics offer a practical approach to evaluate properties of domain-specific models. However, it is costly to develop and maintain measurement software for each domain-specific modeling language. In this paper, we present a model-driven and generative approach to measuring models. The approach is completely domain-independent and operationalized th...
Conference Paper
Full-text available
SCA (Software Communication Architecture) waveform development process must be achieved by a set of necessary tools that support from the algorithmic prototyping and validation to the final implementation of the components including their deployment. To handle the application complexity and the hardware targets, Model Driven Engineering (MDE) is us...
Conference Paper
Stated that a trend in the sensor technology is the development of intelligent sensors also called smart sensors. The development of such sensors do not only rely on the hardware development but also on the software. The later should so meet the requirements on low costs and of quality. This paper presents our approach to model the software of a sm...
Conference Paper
Full-text available
Kopetz, 1997) stated that a trend in the sensor technology is the development of intelligent sensors also called smart sensors. The development of such sensors do not only rely on the hardware development but also on the software. The later should so meet the requirements on low costs and of quality. This paper presents our approach to model the so...
Conference Paper
As the complexity of modern large systems or System of Systems increases, it becomes challenging to capture their whole dimension and to identify their key aspects. Architecture models provide a legible description of the system, and help describing its properties in a representation shared and understood by most stakeholders. In our case, we inten...
Article
Full-text available
The fast development of technology and the time-to-market constraints need well-adapted technical support and development processes to ease design space exploration and the reduction of the productivity gap. Model Based Engineering (MBE) overcomes the increasing complexity of system being highly heterogeneous and integrating concurrent sub-systems....
Article
Full-text available
In this paper, we present different modeling and execution frameworks that allow us to efficiently analyze, design and verify complex systems, mainly to cope with the specific concerns of the Real-time and embedded systems (RTE) domain. First we depict a UML /MARTE based methodology for executable RTE systems modeling with a framework and its under...
Conference Paper
Today, developments of Real Time Embedded Systems have to face new challenges. On the one hand, Time-To-Market constraints require a reliable development process allowing quick design space exploration. On the other hand, rapidly developing technology, as stated by Moore’s law, requires techniques to handle the resulting productivity gap. In a prev...
Conference Paper
Process engineering has been applied for several years in software developments, with more or less success thanks to the use of process languages easing analysis, improvement and even execution of software processes. In this paper, we present a SPEM derived metamodel that takes advantages of Model Based Engineering and innovative approaches of proc...
Article
Full-text available
In order to be able to use all the marine sensors currently available in the market, a new module has to be built to implement the smart sensor standard IEEE1451[ 1] as well as other services used in marine measurements. The smart module is aimed to be used in ALL observatory configurations: autonomous, cabled and buoybased observatories. This modu...
Conference Paper
Today, developments of real time embedded systems have to face new challenges. On the one hand, economic laws, such as Time-to-market, require a reliable development process allowing quick design space exploration. On the other hand, fast increasing technology, as stated by the Moore’s law, requires techniques to handle the resulting productivity g...
Conference Paper
Deep sea observatories, based on sensor networks, provide new features to the ocean survey like a continuous observation of the ocean. The sensors used in these observatories provide environment data and also insure new functionalities or services due to the permanent running of this network. The nominal behavior of each sensor must be extended to...
Conference Paper
Full-text available
In model-driven software development, the first-class data are models, which are all structured by a metamodel. In this paper, we propose a definition of abstraction levels for metamodels based on set theory and compatible with MOF. We claim that splitting metamodels into different abstractions levels raise their organizational quality. We present...
Article
This article reports on an experiment to apply a model-driven approach for systems engineering in an industrial context. This experiment consisted of setting up a model-driven simulation environment for a maritime surveillance system. The simulation is fully based on three models, each conforming to a specific metamodel. We discuss the main advance...
Article
Full-text available
Dans cet article, nous présentons un flot IDM de conception de SoC (System-On-Chip) basé sur l'utilisation du profile UML MARTE (Modeling and Analysis of Real-Time Embedded Systems), dédié à la conception et l'analyse de système temps réel embarqués et récemment standardisé par l'OMG. Le flot présenté adresse les problématiques de la communauté de...
Article
Full-text available
This paper presents a new methodology to develop SoC/SoPC applications. This methodology is based on UML and MDD and capitalizes the achievements of ``Electronic System Level'' community by taking into account the new MARTE profile dedicated to real-time embedded systems. In the MOPCOM SoC/SoPC research project, a tooling has been developed to supp...
Conference Paper
Full-text available
Companies using domain specific languages in a model-driven development process need to measure their models. However, developing and maintaining a measurement software for each domain specific modeling language is costly. Our contribution is a model-driven measurement approach. This measurement approach is model-driven from two viewpoints: 1) it m...
Conference Paper
Full-text available
This paper reports an industrial experiment made at Thales to use Model Driven Architecture (MDA) for system engineering. System engineering processes are currently mainly document-centric. The main experiment goal was to study the applicability of MDA at the system engineering level. The experiment consisted of setting up a model-driven simulation...
Article
Full-text available
The Model Driven Architecture is a promising approach aiming to fill the productivity gap due to the increasing technology and time to market pressure. In the field of real time embedded systems, this approach requires the use of well-adapted formalisms in a reliable process that guarantees the quality of the products. MARTE, the new standardized U...
Conference Paper
The paper presents an AADL model transformation. This transformation provides a formal model for model checking activities. This transformation covers three aspects: structure, behaviour description and execution semantics. The necessity to complete AADL metamodel is shown in order to improve system behaviour. Transformation rules take into account...
Article
Full-text available
Model-Driven Engineering (MDE) is an ap-proach to software development that uses models as pri-mary artifacts, from which code, documentation and tests are derived. One way of assessing quality assurance in a given domain is to define domain metrics. We show that some of these metrics are supported by models. As text documents, models can be consid...
Article
Full-text available
As with other software development processes, model-driven engineering of real time software systems include quality assurance and measurement. Model-driven engineering (MDE) supports the development of real-time software systems by means of a set of languages, processes, methods and tools. To measure the models, a dedicated measurement software ha...
Article
Full-text available
Based on the 2006 edition of the Model Size Metrics work- shop, we believe that counts are undervalued as useful model metrics. In this position paper, we provide arguments from the literature so as to consider counts as important metrics for the model measurement. We then state associated issues and sketch a model-driven framework to raise the abs...