Is anyone aware of any small/medium size companies in a regulated industry that are actually using FSF GNAT in production?
I come across a lot medical device startups/contracts who could be a really great fit for an embedded application in Ada but who will not have the budget for Adacore's GNAT. The production examples on Adacore's website are typically very large companies in regulated industries.
Ada's use is certainly not limited to legacy codebases (see nvidia's recent foray into ada + Spark).
In particular, in the 'industrial provable' space, there's almost no competition I think. If you have to write the source code for an artificial heart, what are your options?
I come across a lot medical device startups/contracts who could be a really great fit for an embedded application in Ada but who will not have the budget for Adacore's GNAT. The production examples on Adacore's website are typically very large companies in regulated industries.