Même dans les systèmes embarqués, les logiciels doivent être testés suffisamment en avance pour assurer le lancement du produit sur le marché. Le volume des ressources de cibles embarquées étant limité, la mémoire et le processeur peuvent facilement atteindre leurs limites. Avec un peu de créativité, il est néanmoins possible de mesurer et de prouver…