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 …
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 …
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 …
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 …
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 …
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 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 …
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 …