Un systeme embarque (dans l'aeronautique, l'automobile, ...), une fois concu, est soumis a diverses sollicitations de fonctionnement qui peuvent impacter de maniere significative le fonctionnement et la securite du systeme en question. Il est donc fondamental de prevoir des methodes techniques permettant de livrer sur le marche un systeme qui repond bien, aux exigences imposees par le client d'ou les tests de validation, qui permettent de verifier la conformite entre ce qui a ete concretise, conjointement le materiel et le logiciel, et la specification. Dans ce cas, les techniques de diagnostic et de detection de defauts peuvent etre soit combinees, soit diversifiees afin de devoiler et expliciter les anomalies qui peuvent toucher et alterer le fonctionnement, les bugs detectes seront remonte et rectifie autant de fois jusqu'a la synthese d'un produit juge fiable et robuste. Ce manuscrit donne une idee plus explicite sur la methodologie de validation de calculateurs pour automobile."