Reliable system design