1

Modeling and verification method for an early evaluation of Systems of Systems interactions

This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. At this stage, and at least from the industrial point of view, the train …

Modeling and verification method for an early evaluation of systems of systems interactions

Automated user-oriented description of emerging composite ambient applications

Ambient environments consist of components surrounding the user and offering services. Applications can here be composed opportunistically and automatically by an intelligent system that puts together available components. Thus, applications that are …

Reflections on Teaching Formal Methods for Software Development in Higher Education

Towards an Anatomy of Software Requirements

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 …

On the use of models for high-performance scientific computing applications: an experience report

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 …

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 …