La méthodologie CEEC présentée à HiPEAC

logo-hipeac-small-trans-300x180

La conférence HiPEAC est le premier forum européen pour les experts en architecture logicielles, modèles de programmation, compilation et systèmes d’exploitation pour les systèmes embarqués. La 10ème conférence HiPEAC a eu lieu à Amsterdam, aux Pays-Bas, du 19 au 21 janvier 2015.

Dans le cadre de l’atelier MILS, Stéphane Lescuyer de Prove & Run a présenté la méthodologie CEEC dans le cadre de sa présentation de l’architecture de ProvenCore, le micronoyau formellement prouvé de Prove & Run compatible avec les architectures ARM et x86. Cette présentation est basée sur cet article de recherche.