Describir: Safety of Computer Architectures