Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Jeannet
Bertrand
Girault
Alain
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse