The goal of the project is to introduce compound components in JavaBIP. Indeed, in the original BIP framework, components can be assembled hierarchically to simplify re-use. This feature is missing in JavaBIP.Read more
Coordination for Safe Adaptivity of IoT Systems
The aim of the proposed project is to develop new software technologies to enable (self-)adaptivity of IoT systems while reinforcing the safety of their operation. The obtained results will be applied and evaluated in the context of a real industrial IoT system designed for tracking and management of equipment parks.
Model-Based Testing in Java using BIP
The main goal of this project is to provide a mechanism for automated testing of the conformance between BIP specifications and the corresponding Java components.Read more
BRiCoS: Building Blocks for Rigorous Design of Concurrent Software
This project will address two fundamental challenges for the implementation of the Rigorous System Design approach to general-purpose software: 1) obtaining behavioural models of the coordinated software entities and 2) detecting the deviations between these models and the corresponding executable code in the face of software evolution.
Larisa Safina is working on this project
Vers un réseau social pour des émigrés antiques
Dans le cadre du projet « EX-PATRIA : Dissidence ane Emigration in Late Antique Rome, Persia, and Neighbouring Lands » qui vient de débuter ce mois, nous vous proposons de devenir l’architecte d’une base de données — et de l’application web qui servira à l’alimenter — rassemblant les informations disponibles sur les parcours et les interactions entre des personnalités historiques (3ème-6ème siècles de notre ère) ayant choisi ou subi l’émigration.Read more
Safe dynamic reconfiguration of cloud applications
The goal of this research project is to design a novel framework for safe dynamic reconfiguration of cloud applications by integrating into the platform software and extending the coordination mechanisms proposed by JavaBIP.
Salman Farhat is now working on this project
Composability & verification of BIP design patterns
This proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.Read more
IMBSA 2019 Tutorial
I have just given a 40-minute tutorial on the Rigorous Component-based Design in BIP at IMBSA 2019 in the beautiful city of Thessaloniki.Read more
Component-Based Design of Concurrent Software in BIP
This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.Read more
A visit by Sergio Mover
Looking forward to hosting a visit by Sergio Mover, who will give a talk on “