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 Coordination for Safe Adaptivity of IoT Systems](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2020/12/charlie.png?resize=768%2C350&ssl=1)
Coordination for Safe Adaptivity of IoT Systems
Read moreThe 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 moreBRiCoS: 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.
![](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2020/11/LarisaSafina.jpg?resize=291%2C300&ssl=1)
Larisa Safina is working on this project
Read more
![Vers un réseau social pour des émigrés antiques Vers un réseau social pour des émigrés antiques](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2020/10/Ejw4tsaXkAE25Jc.jpg?resize=768%2C350&ssl=1)
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 moreSafe 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.
![](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2020/11/salman.jpg?resize=298%2C300&ssl=1)
Salman Farhat is now working on this project
Read more
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 moreIMBSA 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 moreComponent-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 moreA visit by Sergio Mover
![Photo of Sergio Mover](https://i0.wp.com/www.bliudze.me/simon/wp-content/uploads/2019/08/cropped.png?resize=178%2C186)
Looking forward to hosting a visit by Sergio Mover, who will give a talk on “