Meryem Afendi has defended her PhD and the committee was Richard Banach, Frédéric Mallet, Burkhardt Wolff, Dominique Méry, Amel Mamarn Régine Laleau.
The PhD is entitled: Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B.
JOURNÉE HIFI : MERCREDI 12 JANVIER 2022
A la première réunion du GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergentsn Guillaume Dupont a présenté
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BGuillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc PantelScience of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Les partenaires se sont réunis le 14 janvier 2022 pour une réunion plénière en visio:
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ 2020: 169-185
Modelling Hybrid Programs with Event-B. ABZ 2020: 139-154
Meryem Afendi:
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. ABZ2020: 401-404
Héctor Ruíz Barradas, Lilian Burdy, David Déharbe:
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. ABZ 2020: 255-259
Les partenaires organisent une réunion à Aix en visio et font le point semestriel.
Les partenaires ClearSy et LORIA travaillent sur un développement commun d’utilisation de l’Atelier B.
La réunion a lieu à l’IUT de Sénart et est organisée par le LACL.
Les partenaires sont réunis pou!r faire le point sur le projet et les avancées des différentes tâches.
