Dans le cadre de ses collaborations avec East China Normal
University, Frédéric Mallet, PR UNS au laboratoire
I3S et ses co-auteurs ont obtenu le prix du meilleur papier
à la conférence
internationale "Formal Aspects of Component Software"
2016 qui a eu lieu du 19 au 21 octobre 2016 à
Besançon, pour l'article "MARTE/pCCSL: Modeling and
Refining Stochastic Behaviors of CPSs with Probabilistic Logical
Clocks" écrit par Dehui Du, Ping Huang,
Frédéric Mallet, Mingrui Yang et Kaiqiang Jiang. Ces
travaux contribuent à la modélisation de
systèmes cyber-physiques (où plusieurs entités
informatiques commandent des entités physiques comme des
machines-outils, des climatisations, des moteurs, etc.) et la
vérification de leurs propriétés pour en
garantir le bon fonctionnement. Frédéric Mallet
est par ailleurs invité à présenter ces
mêmes résultats au laboratoire LIX (équipe
Cosynus) dans le cadre de la chaire ISC (Ingénierie des
Systèmes Complexes).