Section: Highlights of the Year

Highlights of the Year

The highlights of the year are:

• The start of two industrial collaborations of crucial importance for the Hycomes team: (i) the FUI ModeliScale project, in the context of which the Hycomes team design novel algorithms for the structural analysis of multimode DAE systems, with the objective of supporting a larger class of multimode Modelica models; and (ii) the Glose project, in collaboration with Safran Tech., on the topics of cyber-physical systems modeling and cosimulation.

• Albert Benveniste, Benoît Caillaud and co-authors have published a book on contract-based reasoning for cyber-physical systems design. This book is the result of more than 10 years of research on contract and interface theories.

• Albert Benveniste, Benoît Caillaud and co-authors have published a paper in The Proceedings of the IEEE on the design of Hybrid Systems modeling languages, based on our past work on ODE-based synchronous languages (namely the Zélus language).