JOURNÉE HIFI : MERCREDI 12 JANVIER 2022

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é

Conception correcte par construction de systèmes hybrides
 
Les systèmes hybrides incorporent au même niveau des éléments discrets et continus, deux mondes radicalement différents. Cette intégration forte entre ces deux aspects les rend particulièrement difficiles à concevoir et certifier. Le but de notre travail est de proposer une méthodologie outillée pour la conception formelle de systèmes hybrides, en se basant sur la méthode Event-B. Cette dernière nous apporte un langage expressif et précis, permettant d’exprimer les concepts complexes nécessaires à la description de comportements continus, tout en étant fondamentalement basée sur des états et des transitions, adaptés aux aspects discrets. De surcroît, Event-B propose une opération de raffinement, centrale dans l’approche correcte-par-construction, et que l’on peut enrichir afin de proposer des opérations propres aux systèmes hybrides, tels que l’approximation.

 

Publié dans Non classé | Commentaires fermés sur JOURNÉE HIFI : MERCREDI 12 JANVIER 2022

Dernière publication du projet

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⟩BibTex

Publié dans Non classé | Commentaires fermés sur Dernière publication du projet

Réunion plénière du projet le 14 janvier 2022

Les partenaires se sont réunis le 14 janvier 2022 pour  une réunion plénière en visio:

  • travaux de Marius Hinge
  • travaux de Zheng  Cheng

 

Publié dans Non classé | Commentaires fermés sur Réunion plénière du projet le 14 janvier 2022

Publications sur les modèles hybrides IRIT en 2021

 

 

 

Publié dans Non classé | Commentaires fermés sur Publications sur les modèles hybrides IRIT en 2021

Publications des travaux de deux partenaires à ABZ 2020

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

Publié dans Non classé | Commentaires fermés sur Publications des travaux de deux partenaires à ABZ 2020

Réunion Générale en Visio du 23 juin 2020

Les partenaires  organisent une réunion à Aix en visio et font le point semestriel.

 

Publié dans Non classé | Commentaires fermés sur Réunion Générale en Visio du 23 juin 2020

Visite de ClearSy par le LORIA du 17 au 20 février 2020

Les partenaires ClearSy et LORIA  travaillent  sur un développement commun  d’utilisation de l’Atelier B.

Publié dans Non classé | Commentaires fermés sur Visite de ClearSy par le LORIA du 17 au 20 février 2020

Réunion Générale à Fontainebleau 20 et 21 Janvier 2020

La réunion a lieu à l’IUT de Sénart et est organisée par le LACL.

Publié dans Non classé | Commentaires fermés sur Réunion Générale à Fontainebleau 20 et 21 Janvier 2020

Réunion générale du projet DISCONT à Nancy au LORIA le 4 et 5 avril 2019

Les partenaires sont réunis pou!r faire le point sur le projet et les avancées des différentes tâches.

Publié dans Non classé | Commentaires fermés sur Réunion générale du projet DISCONT à Nancy au LORIA le 4 et 5 avril 2019

Le site  du projet ANR DISCONT  est transféré sur ce site. Chaque partenaire recevra  un login et un mot de passe pour se connecter  afin de récupérer les documents  destinés uniquement aux partenaires.

 

Publié dans Non classé | Commentaires fermés sur