Stav dette: Safety of computer architectures