Marc Benveniste (STMicroelectronics) a présenté à l’occasion de l’évènement Smart Event 2009, qui s’est déroulé du 22 au 25 septembre 2009, un article intitulé “A Proved “Correct by Construction” Memory Protection Unit”, présentant les enjeux du projet Forcoment, développé en collaboration avec ClearSy et son outil Atelier B. Sa présentation a abordé plus spécifiquement :
- l’unité de protection mémoire utilisée dans la nouvelle famille de produits ST23
- les principales étapes de conception suivies pour le développement du code
- la comparaison avec le code pour la même macro-cellule développée avec un flux traditionnel