Ada as far as I know positioned itself for a niche of secure software. It is very popular in defence, aerospace etc sectors where secure and safe is critical. When I first looked at Ada sometime back it looked like throw back from the Pascal era. It looks like a mix of Pascal and Eiffel; it is very verbose.

Edit: Changed ADA to Ada