Le projet Forcoment (FORmal COdevelopMENT) est un projet focalisé PACA, financé par la région PACA, regroupant dans ses dernières étapes STMicroelectronics et CLEARSY (4ème et 5ème conventions du Conseil Régional PACA), avec pour objectif de montrer qu’un modèle B événementiel d’une fonctionnalité peut être transformé en une description hardware qui s’intègre directement dans un cycle de développement classique de circuit électronique tel que celui des microcontrôleurs de STMicroelectronics.
