Francouzština
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.
