---

Un système embarqué (dans l aéronautique, l automobile,...), une fois con‡u, est soumis à diverses sollicitations de fonctionnement qui peuvent impacter de manière significative le fonctionnement et la sécurité du système en question. Il est donc fondamental de prévoir des méthodes techniques permettant de livrer sur le marché un système qui répond bien, aux exigences imposées par le client d où les tests de validation, qui permettent de vérifier la conformité entre ce qui a été concrétisé, conjointement le matériel et le logiciel, et la spécification. Dans ce cas, les techniques de diagnostic et de détection de défauts peuvent être soit combinées, soit diversifiées afin de dévoiler et expliciter les anomalies qui peuvent toucher et altérer le fonctionnement, les bugs détectés seront remonté et rectifié autant de fois jusqu´à la synthèse d un produit jugé fiable et robuste. Ce manuscrit donne une idée plus explicite sur la méthodologie de validation de calculateurs pour automobile.

---