Outils de codesign pour la vérification de partitionnement par hyperviseur sur système embarqué matériel-logiciel de criticités mixtes

Les systèmes embarqués modernes tendent à embarquer de plus en plus de fonctionnalités complexes sur un même système, en utilisant des hyperviseurs de partitionnement pour s’assurer que les applications plus et moins critiques n’interfèrent pas entre elles lors de leur fonctionnement. Par ailleurs, pour respecter les contraintes exigeantes du domaine embarqué en performance et consommation énergétique, ces systèmes intègrent fréquemment du matériel programmable sous la forme d’un FPGA, devenant des systèmes hétérogènes. Ces deux facteurs combinés rendent ainsi la conception de tels systèmes extrêmement complexe. Cette montée en complexité a amené des nouvelles méthodes de conception qui élèvent le niveau d’abstraction auquel on conçoit le système. On s’intéresse ici à la méthodologie ESL, qui considère la conception du système en partant du niveau algorithmique de description du système, directement en langage de programmation haut niveau, plutôt que du niveau RTL très bas niveau. Cependant, cette méthodologie nécessite un certain nombre d’outils afin d’être réellement efficace. Or, dans le cas des systèmes basés un hyperviseur, les outils existants trouvent des défauts. D’abord au niveau des outils de simulation, qui permettent dans la méthodologie une validation fonctionnelle rapide sans passage à l’implémentation. Ensuite, au niveau des outils de mesure de performances, qui permettent de détecter certains problèmes de conception tels que les interférences de partitionnement de l’hyperviseur. Ceux-ci sont soit très lourds, soit peu adaptés à la méthodologie, requérant une descente à un niveau d’abstraction plus bas, annulant possiblement les gains espérés de la méthodologie haut niveau.