Describir: Safety of computer architectures