Comment concevoir sans risque un programme qui pilotera un système réel ?