Les systèmes informatiques embarqués ont parfois à charge l’exécution de fonctions dites « critiques ». Dans les transports, ils peuvent assurer par exemple l’absence de collision entre deux véhicules. Pour aider à la conception…