2. Spécification et modélisation
La nature hétérogène des systèmes intégrés sur puce a été brièvement évoquée. En fait, on la retrouve à divers niveaux dans un système : partie logicielle (par exemple, système d’exploitation) versus partie matérielle (par exemple, processeur et mémoire), algorithmique applicative orientée données versus contrôle, architecture matérielle composée de processeurs de même type versus architecture combinant processeurs et divers accélérateurs matériels (par exemple, FPGA ou GPU). Toutes ces caractéristiques requièrent des formalismes et approches de spécification et de modélisation capables de les capturer pleinement. Les sections suivantes présentent un panorama de ces formalismes et approches.
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Spécification et modélisation