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