Les systèmes embarqués sont omniprésents dans le monde moderne. Ils sont utilisés dans une grande variété d'applications, allant des appareils électroniques grand public aux applications automobiles et avioniques. Une propriété commune à tous les systèmes embarqués est qu'ils interagissent avec l'environnement physique, dérivant souvent leurs entrées du milieu environnant. En raison des domaines d'application dans lesquels ces systèmes sont utilisés, leur comportement est souvent limité par des propriétés fonctionnelles (telles que la relation entrée-sortie) et non fonctionnelles (telles que le temps d'exécution ou la consommation d'énergie). Cela fait des essais et de la validation de ces systèmes une tâche difficile.