| Philippe Coussy |  |
 |
Date of the talk: 18 September 2015, 11h30-12h30, salle Petri/Turing
Génération de moniteurs de surveillance embarqués pour la conception d'accélérateurs matériels sécurisés
Les systèmes embarqués mettent fréquemment en oeuvre des applications dont la sûreté est critique, faisant de la sécurité un aspect de plus en plus important dans leur conception. Dans cet exposé, nous introduirons une approche de conception d'éléments de surveillance visant à améliorer la sécurité des systèmes embarqués et à prévenir les comportements non souhaités des composants matériels. Plus précisément, nous présenterons une approche de conception qui génère des moniteurs sur puce (On-Chip Monitors OCM) durant la synthèse de haut niveau (HLS) d'accélérateurs matériels (HWacc). La synthèse des OCMs est introduite comme un ensemble d'étapes réalisées en parallèle du flot de HLS. Le moniteur, généré automatiquement, vérifie durant l'exécution à la fois le comportement temporel aux entrées/sorties, le flot de contrôle du composant matériel surveillé ainsi qu'un ensemble de données désignées comme critiques ou devant respecter des propriétés décrites à l'aide d'assertions. Les résultats expérimentaux montrent l'intérêt de l'approche que nous proposons. La couverture des erreurs sur le flot de contrôle varie entre 99,75% et 100%, tandis que le surcoût matériel introduit par le moniteur est en moyenne inférieur à 10%. L'impact sur la fréquence de cadencement du circuit est au pire inférieure à 5% et l'impact sur le temps de synthèse est négligeable.
