Safety of Computer Architectures