Validation Des Systèmes Embarqués

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.