Validation Des Systemes Embarques

Un systme embarqu (dans l'aronautique, l'automobile,...), une fois conu, est soumis diverses sollicitations de fonctionnement qui peuvent impacter de manire significative le fonctionnement et la scurit du systme en question. Il est donc fondamental de prvoir des mthodes techniques permettant de livrer sur le march un systme qui rpond bien, aux exigences imposes par le client d'o les tests de validation, qui permettent de vrifier la conformit entre ce qui a t concrtis, conjointement le matriel et le logiciel, et la spcification. Dans ce cas, les techniques de diagnostic et de dtection de dfauts peuvent tre soit combines, soit diversifies afin de dvoiler et expliciter les anomalies qui peuvent toucher et altrer le fonctionnement, les bugs dtects seront remont et rectifi autant de fois jusqu' la synthse d'un produit jug fiable et robuste. Ce manuscrit donne une ide plus explicite sur la mthodologie de validation de calculateurs pour automobile.