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

Découvrir le site SMART EVENT 2009…