En réponse à :
La sûreté du nucléaire, comme celle de l’aéronautique, du spatial et de tous les systèmes dont la complexité dépasse les capacités du cerveau d’une personne seule, tient dans la qualité des programmes informatiques qui sont indispensables au pilotage humain.
Or une erreur parmi les millions de lignes de code peut déclencher un processus aberrant demandant une correction urgente pour éviter la catastrophe.
Or ces programmes sont plus sûrs à mesure des progrès de l’informatique. On peut le constater dans la baisse drastique et régulières des accidents aériens sur des dizaines d’années.
La mise au point progressive de programmes de contrôle formel d’autres programmes devrait encore faire progresser la sûreté du nucléaire comme de l’aéronautique et le spatial.
Ajouter une réaction
Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page
Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.
FAIRE UN DON
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération