Les systA]mes embarquA(c)s modernes exigent de plus en plus de fonctionnalitA(c)s sophistiquA(c)s. L A(c)volution rapide de la microA(c)lectronique et des technologies des semi-conducteurs a permis d augmenter la capacitA(c) d intA(c)gration au niveau des circuits numA(c)riques afin d implA(c)menter des systA]mes embarquA(c)s plus complexes. Les mA(c)thodes de conception classiques ne peuvent plus vA(c)rifier les contraintes des systA]mes embarquA(c)s liA(c)s A la consommation de ressources matA(c)rielles et de temps de dA(c)veloppement. L apparition de nouveaux dA(c)fis mA(c)thodologiques de...