I'm not too sure about Ada. In five year's time the balance might be very much in favour of Rust, and Ada would look the wrong choice. That's how fast it's evolving.

ATS might be a very reasonable choice, actually.