Publié le 29/10/2009 |
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
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