We work on an approach that leverages feature models for acquiring a compact representation of a set of valid configurations of a system in the form of a JavaBIP model used to control the software system at run time. The goal of this project is to propose and evaluate new approaches to the analysis of the impact of the feature model shape on the size of the Binary Decision Diagrams (BDDs) that encode it in JavaBIP (and thereby on the ensuing JavaBIP engine overhead).Read more
Aggregate measures for control and coordination of IoT systems
The main goal of this project is to propose specification mechanisms for the coordination and control based on aggregate measures, such as the percentage of entities in a given state, e.g. if less than 75% of system blocks have enough charge to emit light for 5 minutes, then 20% of these blocks shall switch off their speakers (thus allowing these blocks to continue emitting light for a longer period).Read more
Axiomatic system for hybrid interactions
The main goal of this project is to propose a set of axioms defining the congruence relation on the extended Algebra of Connectors used to model patterns combining synchronous and asynchronous communication in component-based systems.Read more
Self-adaptive modular robots: formal modeling for validation and coordination
The main objective of this project is to contribute to the implementation of modular robots by developing a formal framework to model, validate and coordinate their dynamic behaviours. The scientific challenges consist in particular in the ability to model the dynamic evolution of this type of complex systems—their adaptation and reconfiguration—by taking into account constraints on resources as well as events occurring in their execution environment.
This project is submitted for joint funding with the French Agency for Defence Innovation (AID). Therefore, we are currently looking only for candidates holding EU, United Kingdom or Swiss citizenship.Read more
Generation of Random Shapes for Modular Robots
The main goal of this project is to develop a generator of random shapes for modular robots and integrate it into an existing modelling framework.Read more
Robots Modulaires Adaptatifs : Vers une gestion dynamique de l’énergie
L’objectif de ce projet est de développer un mini-simulateur pour le contrôle hiérarchique de systèmes composés de robots modulaires afin d’évaluer différentes algorithmes et politiques de contrôle.Read more
The FormaliSE 2021 programme
The FormaliSE 2021 programme is ready and published! It includes two keynotes
- “Program Verification: a 70-Year History” by Moshe Vardi (Rice University, Houston, Texas, USA)
- “Towards Formalising Sustainable Security” by Liliana Pasquale (University College Dublin & Lero, Ireland)
and 13 paper presentations that you can discover here.
Register on the ICSE 2021 website. Looking forward to seeing you among the participants!
2nd meeting of the Yoda working group
With Hélène Coullon and Rabéa Ameur-Boulifa, we are responsible for the activities of “trustworthY and Optimal Dynamic Adaptation” (Yoda) working group of GDR GPL (the site is in French). On Wednesday, the 12th of May, 2021 14:00-16:00 CET, Yoda will hold its 2nd meeting.Read more
Verification of hybrid synchronous/asynchronous systems
The main goal of this project is to propose hybrid verification techniques for systems combining synchronous and asynchronous interaction mechanisms for concurrent component-based systems.Read more