Isn't Ada/Spark in avionics the main use case for Ada these days? So, huge share of a tiny market?
Hasn't it always been? I'm no expert but always assumed that it was used basically military and avionics, and perhaps other safety critical equipment.