Section: Overall Objectives

Highlights of the Year

Polarsys is an Industry Working Group focusing on open source tools for the development of embedded systems. Polychrony was used to define the Tool Quality Assurance Plan of the Polarsys platform according to the DO-178B and DO-178C certification standards. Polychrony has been integrated in the experimental Polarsys platform.

Jean-Pierre Talpin received the ACM/IEEE LICS Test of Time Award for his paper “A type and effect discipline”, with his co-author Pierre Jouvelot.