Yes, the ecosystem definitely needs more attraction. "People do not use it because the ecosystem sucks, and the ecosystem sucks because people do not use it."

Yes, the ecosystem definitely needs more attraction. "People do not use it because the ecosystem sucks, and the ecosystem sucks because people do not use it." That said, it is more than enough for many use-cases that are related to critical software. Either way, what you should focus on is the cyber-security aspect of Ada/SPARK. It is actually the language and programming environment for secure/crticial software.