There is a subset of Ada called Spark that works with mission critical applications. In my view, ada hasa wonderful legency, but there has been a lot of advancement in the theory of programming lanaguages that is not captured in Ada. Rust would be a more modern approach.