Publications

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap

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 …

Emergence of Composite Services in Smart Environments

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 …

How to handle environmental uncertainty in goal-based requirements engineering

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 …

Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment

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 …

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

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 …

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

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 …

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach

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 …

Modeling Co-simulation: A First Experiment

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 …

Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016)