InterMCore — Interferences au sein d’une méthodologie de conception certifiable pour les plate-formes multi-coeurs haute performance

Lorsqu'un système est critique, une autorité de certification doit évaluer s'il est conforme aux normes appropriées en vigueur. Dans les domaines de l'aéronautique et de l'automobile, un défi clé est l'utilisation efficace de systèmes multicœurs à haute performance (e.g. MPSoC ARM) en particulier lorsque la prochaine génération d'applications combinant différentes exigences de criticité et de modèles d'exécution sont ciblées. Plus précisément la source des interférences entre ces applications doit être identifiée et quantifiée pour maîtriser le comportement temporel du système. L'objectif de cette proposition est de développer une méthodologie centrée sur la gestion des interférences pour faciliter la conception des futurs systèmes de conduite autonome et d'aéronautiques : 1) en combinant à la fois les méthodes formelles et l'évaluation pour capturer le comportement temporel de ces applications sur un MPSoCs et 2) en définissant des règles appropriées pour guider la synthèse des applicatifs vers un meilleur comportement temporel.