Oui, c’est le « contrôle de l’homme mort » (dead man trigger) : le principe n’est pas d’« arrêter en cas de problème » mais de « continuer en cas de non problème ». C’est-à-dire que lorsque le réacteur est dans les limites acceptables de fonctionnement, les interrupteurs d’urgences sont empêchés, et dès qu’il sort de ces limites, les blocages des interrupteurs sautent et donc les interrupteurs interrompent. (Exemple simple : les barres de contrôle sont maintenues par un éléctro-aimant, dès qu’il y a un pépin (le réacteur arrête de produire de l’éléctricité ou en produit trop et un plomb saute...), le jus est coupé et donc elles ne sont plus retenues et, merci la gravité, tombent et arrêtent le réacteur.)
[^] # Re: Les mathématiques Formels
Posté par Sylvain Sauvage . En réponse au journal L'expressivité des langages. Évalué à 2.