Selected Publications

This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week. It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area.
MDE@DeRun 2018 Workshop, 2018.

The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements engineering. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering language for Dynamically Adaptive Systems while SysMLKaos is a Goal based Requirements Engineering approach. We use an extract of a Landing Gear System case study to illustrate the proposed approach.
ICSE Poster, 2018.

This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) techniques in the development of scientific applications relying on high-performance computing. The development and maintenance of high-performance scientific computing software is reputedly a complex task. This complexity results from the frequent evolutions of supercomputers and the tight coupling between software and hardware aspects. Moreover, current parallel programming approaches result in a mixing of concerns within the source code. Our approach relies on the use of MDE and consists in defining domain-specific modeling languages targeting various domain experts involved in the development of HPC applications, allowing each of them to handle their dedicated model in a both user-friendly and hardware-independent way. The different concerns are separated thanks to the use of several models as well as several modeling viewpoints on these models. Depending on the targeted execution platforms, these abstract models are translated into executable implementations by means of model transformations. To make all of these effective, we have developed a tool chain that is also presented in this paper. The approach is assessed through a multi-dimensional validation that focuses on its applicability, its expressiveness and its efficiency. To capitalize on the gained experience, we analyze some lessons learned during this project.
SoSyM Journal, 2018.

By nature, Cyber-physical systems are very often submitted to uncertainty events that can occur in their environment. This paper presents the first results of our work on how to deal with environment uncertainty in goal-based requirements engineering. This work is motivated by the fact that current goal-based approaches do not natively allow for unanticipated adaptations. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering language for Dynamically Adaptive Systems that include explicit constructs to handle the inherent uncertainty in these systems. On the other hand, SysMLKaos is a Goal Based Requirements Engineering approach that takes into account Non-Functional Requirements at the same level of abstraction as Functional Requirements and models the impact of Non-Functional Requirements on Functional Requirements. We use an extract of a Landing Gear System case study to illustrate the proposed approach.
Springer CCIS, 2018.

This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an industrial context. We present this solution as a way to overcome issues regarding the use of SysML in an industrial context. We contribute by providing a method and a list of the existing challenges and experimentation results. We advocate the need to have semantics for SysML models without having to define a full domain-specific modeling language. We highlight the work, requirements and benefits that arise from the application of existing technical solutions, and hint at new perspectives and future development in system verification and validation.
ECMFA’18, 2018.

Ambient and mobile systems consist of networked devices and software components surrounding human users and providing services. From the services present in the environment, other services can be composed opportunistically and automatically by an intelligent system and proposed to the user. The latter must not only to be aware of existing services but also be kept in the loop in order to both control actively the services and influence the automated decisions. This paper first explores the requirements for placing the user in the ambient intelligence loop. Then it describes our approach aimed at answering the requirements, which originality sets in the use of the model-driven engineering paradigm. It reports on the prototype that has been developed , and analyzes the current status of our work towards the different research questions that we have identified.
MSE@STAF 2018, 2018.

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover then checks a candidate program directly against the stated requirements. The article illustrates the approach by applying it to an ASM model of the Landing Gear System, a widely used realistic example proposed for evaluating specification and verification techniques.
In CoRR Journal, 2017.

Note that you can access to the official list from the lab (up to date, but only related to it). You can access to the ResearchGate page. You can also access my Habilitation or my resume. For some indexes and numbers, check those (updated on July 27th, 2018): The DBLP Server (11 journals, 61 conference papers referenced, with 110 different co-authors); Google Scolar (161 papers, H-index 18, 11 since 2013).

Recent Publications

More Publications

This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week. It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area.
MDE@DeRun 2018 Workshop, 2018.

In this poster we summarize our innovative approach called opportunistic composition: using a bottom-up approach, composite services are built, from available basic services and human-machine interaction fragments, to be presented to the user. In such a way, services emerge from the environment. Our contribution is twofold. The first aims to develop a context-aware distributed engine able to make adequate decisions at runtime about service composition, build and activate adapted composite services and their user-interface. The second contribution consists of presenting on the fly an emergent service to the user and let her or him modify and/or validate it.
ESOF’2018, 2018.

The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements engineering. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering language for Dynamically Adaptive Systems while SysMLKaos is a Goal based Requirements Engineering approach. We use an extract of a Landing Gear System case study to illustrate the proposed approach.
ICSE Poster, 2018.

This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) techniques in the development of scientific applications relying on high-performance computing. The development and maintenance of high-performance scientific computing software is reputedly a complex task. This complexity results from the frequent evolutions of supercomputers and the tight coupling between software and hardware aspects. Moreover, current parallel programming approaches result in a mixing of concerns within the source code. Our approach relies on the use of MDE and consists in defining domain-specific modeling languages targeting various domain experts involved in the development of HPC applications, allowing each of them to handle their dedicated model in a both user-friendly and hardware-independent way. The different concerns are separated thanks to the use of several models as well as several modeling viewpoints on these models. Depending on the targeted execution platforms, these abstract models are translated into executable implementations by means of model transformations. To make all of these effective, we have developed a tool chain that is also presented in this paper. The approach is assessed through a multi-dimensional validation that focuses on its applicability, its expressiveness and its efficiency. To capitalize on the gained experience, we analyze some lessons learned during this project.
SoSyM Journal, 2018.

By nature, Cyber-physical systems are very often submitted to uncertainty events that can occur in their environment. This paper presents the first results of our work on how to deal with environment uncertainty in goal-based requirements engineering. This work is motivated by the fact that current goal-based approaches do not natively allow for unanticipated adaptations. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering language for Dynamically Adaptive Systems that include explicit constructs to handle the inherent uncertainty in these systems. On the other hand, SysMLKaos is a Goal Based Requirements Engineering approach that takes into account Non-Functional Requirements at the same level of abstraction as Functional Requirements and models the impact of Non-Functional Requirements on Functional Requirements. We use an extract of a Landing Gear System case study to illustrate the proposed approach.
Springer CCIS, 2018.

La traçabilité et l’intégration des exigences au court du cycle de vie d’un système informatique est un enjeu majeur de l’ingénierie des exigences. En effet, cela permet de s’assurer que le système réponde bien aux attentes du client. Si les méthodes formelles permettent de prouver de telles propriétés, elles restent peu appliquées dans le cas des systèmes non-critiques, et de nombreux acteurs préfèrent exprimer les exigences en langue naturelle. Nous proposons un langage dédié à l’expression des exigences : RSML. Ce paradigme, situé dans une approche sans rupture, fournit un cadre contraint pour l’expression des exigences, basé sur une formalisation en Eiffel. Cela permet d’exprimer les exigences d’un système dans un langage proche de la langue naturelle, tout en permettant de prouver formellement la validité de ce système au regard de ces exigences.
CIEL’18, 2018.

This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an industrial context. We present this solution as a way to overcome issues regarding the use of SysML in an industrial context. We contribute by providing a method and a list of the existing challenges and experimentation results. We advocate the need to have semantics for SysML models without having to define a full domain-specific modeling language. We highlight the work, requirements and benefits that arise from the application of existing technical solutions, and hint at new perspectives and future development in system verification and validation.
ECMFA’18, 2018.

Ambient and mobile systems consist of networked devices and software components surrounding human users and providing services. From the services present in the environment, other services can be composed opportunistically and automatically by an intelligent system and proposed to the user. The latter must not only to be aware of existing services but also be kept in the loop in order to both control actively the services and influence the automated decisions. This paper first explores the requirements for placing the user in the ambient intelligence loop. Then it describes our approach aimed at answering the requirements, which originality sets in the use of the model-driven engineering paradigm. It reports on the prototype that has been developed , and analyzes the current status of our work towards the different research questions that we have identified.
MSE@STAF 2018, 2018.

Model-Based Systems Engineering plays a key role in managing the complexity in the development of modern cyber-physical systems. Model simulation allows conducting early validation and verification activities. In the context of Extended Enterprises, systems are built out of components developed in different companies as black boxes to protect the company Intellectual Property. Simulation activities then rely on co-simulation that combines the black box simulation of each component to assess the quality of the whole system. Such activities are difficult to harness as the simulation results depend on black box cosimulation frameworks that coordinate the simulations of each component. Our work targets the modeling of these simulations including the co-simulation framework in order to: a) make explicit all the simulation choices and have a better understanding of the simulation results and b) benefit from model-driven engineering facilities including automatic code generation. This contribution describes an early experiment based on the classical bouncing ball game example.
GEMOC 2017, 2017.

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover then checks a candidate program directly against the stated requirements. The article illustrates the approach by applying it to an ASM model of the Landing Gear System, a widely used realistic example proposed for evaluating specification and verification techniques.
In CoRR Journal, 2017.

Recent & Upcoming Talks

Présentation des possibilités de l'IDM pour le HPC
Séminaires d’intérêt général du CERFACS , Jan 19, 2018

La modélisation pour les nuls
IRIT K’es Café , Nov 19, 2017

Presentation of the new SM@RT team at the Scientific board of IRIT
IRIT Internal talks , Oct 12, 2017

Teaching Activities

Master of Science in Information Technology – Software Engineering , Apr 20, 2017

Projects

Bombardier Transport

An integrated model-based early validation approach for Railway Systems

GEMOC Initiative

GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.

MOISE

MOdels and Information Sharing for System Engineering in Extended Entreprise

Students

Supervision

Anas Motii "Ingénierie des architectures logicielles sécurisées : patrons, modèles et analyses" , Nov 10, 2017. Co-directed with Brahim Hamid and Agnès Lanusse. CEA LIST funding. Current position: Consultant IAM chez Sogeti.
Ronan Baduel "Méthode outillée d’intégration et de validation des modèles d’un système de train" , since Oct, 2016. Co-directed with Iulian Ober. Bombardier Transportation funding.
Jacob Geisel "Méthodologie de conception et de mise en oeuvre au niveau système de la S&D pour les RCES dynamiquement reconfigurables" , Oct 10, 2014. Co-directed with Brahim Hamid. Doctorial School Grant. Current position: Software Engineer and in Charge of Academic Relations at Obeo.
Florian Galinier "Seamless development of complex systems: a multirequirements approach" , since Oct, 2016. Co-directed with Bertrand Meyer and Sophie Ebersold. Doctorial School Grant.

Fun

I am very proud of being an “ironman finisher” at Roth 2007 (3.8/180/42) in 11h57’:

[Swim 3.8km in 1:08]

[Bike 180km in 5:32]

[Run 42km in 5:08]

I have recently completed the UTMB OCC race (55km/3600mD+) in 11h13’:

[55km/3600mD+ in 11h13']

Here are some stuff I’d like to share:

Contact