Re: Redundant default route via two different SRX's?
You understood my topology correctly.
Your idea is the same concept I'd like to acomplish but i'm stuck on the 2nd step, "importing the static 0.0.0.0 route of the SRX into OSPF".
I'm not quite sure how to acomplish this and my searching throught the documentation hasn't turned up how to do this. I've only ever been able to advertise routes directly connected to an interface to OSPF.