VERIFAB

ANALYSIS AND VERIFICATION OF HETEROGENEOUS CONTRACTS FOR CORRECT BY CONSTRUCTION ORCHESTRATION IN AUTOMATED FACTORIES
  • Véhicules, Usages & Industrialisation (VUI)

Objectifs

La complexification des usines amène un véritable défi pour assurer par conception leur performance et leur fiabilité. L’objectif de ce projet est de réaliser un cadre de vérification formelle outillé pour la conception modulaire et la validation incrémentale de chaînes de production automatisées garantissant sûreté et performance.

Consortium projet

PILOTE : INRIA RENNES