Conception de systèmes embarqués aux niveaux matériel et logiciel
La complexité sans cesse croissante des systèmes embarqués, qui associent des composants logiciels et matériels, exige des méthodologies complètes apportant plusieurs niveaux d'abstraction au processus de conception. L'un des développements les plus intéressants a été l'adoption de techniques bien connues et validées de synthèse et de modélisation objet, largement utilisées dans le développement de logiciels. Reste cependant que le logiciel et le matériel diffèrent largement par leur nature même, et que l'adaptation directe des langages courants de programmation axés sur l'objet ne saurait être possible. SystemC est une méthodologie et une bibliothèque de classe C++ qui a introduit les fonctions typiques pour le matériel, mais qui manquent au C/C++. Le projet ODETTE a mené à bien la transition du langage de description de matériel VHSIC (VHDL) vers SystemC. Cette évolution a été essentiellement menée par les partenaires industriels du projet, qui la considéraient comme la meilleure façon d'aller de l'avant. Plus important encore, des outils dédiés pour la co-simulation des fonctionnalités du matériel et du logiciel, ainsi que pour le comportement temporel, ont été développés dans les laboratoires de Synopsys en France, proposant des spécifications exécutables du système complet. Dans le cadre de CoCentric® System Studio, la suite de conception et de vérification SystemC, des éléments de propriété intellectuelle développés en VHDL peuvent être utilisés dans ce langage. En outre, l'environnement assure la co-simulation de la totalité du système, matériel et logiciel, à partir des éléments logiciels écrits en C/C++ et des éléments matériels décrits en SystemC. L'environnement de modélisation de SystemC peut coopérer avec les simulateurs HDL, ce qui permet de modéliser le système matériel/logiciel complet, décrit dans des langages différents. L'interaction du modèle de comportement dynamique du système complet avec le modèle de son environnement peut alors apporter la visibilité nécessaire à une analyse des conceptions complexes. L'optimisation, depuis les plus hauts niveaux d'abstraction jusqu'au niveau des transferts entre registres, est assurée au sein d'un même environnement par des tâches de partitionnement logiciel-matériel, de simulation et de vérification, en soutien de l'outil de processus de conception.
