Sites Inria

There are 1 Results with the keyword : "CIFRE"

Jean-Pierre TALPIN, responsable de l'équipe TEA Jean-Pierre TALPIN, head of TEA research team


Verifying integration of heterogeneous factory components

Jean-Michel Prima - 25/04/2018

In an automated factory, each equipment or machinery must meet a myriad of constraints. Ensuring that an entire factory chain satisfies these constraints and safety and security regulations requires simulation, test and verification. However, what can be proved when two heterogeneous components, e.g. mechanics and software, interact with each other? How can one prove that this hybrid aggregate also meets common, global, requirements such as, e.g. latency? Such is the question at the crux of a collaboration between Inria and Mitsubishi Electric R&D Centre Europe, two entities located on the same campus, in Rennes, Brittany, France.


Home > Centre > Rennes > News > Vérifier l'intégration des composants hétérogènes d'une usine