What tools do you use to check your architecture designs for security, fault tolerance, etc?