La question traite du problème de l’utilisation de l’informatique pour le contrôle de systèmes physiques. Par exemple l’ABS (Anti-Blocking System) d’une automobile est contrôlé par un micro-ordinateur. Celui-ci analyse la rotation des roues (obtenue par un capteur), et grâce à un algorithme relâche le freinage si nécessaire pour empêcher le blocage. Dans les véhicules, des micro-contrôleurs sont utilisés partout, par exemple contrôle des essuies glaces, allumage des phares, contrôle de la combustion du moteur, etc
La fiabilité des systèmes informatiques prend alors beaucoup d’importance : bug ou pas de bug ?