Comment by PinkyThePiggy

I would say so, especially considering that is where the majority of Ada/Spark is used currently. Space flight, planes, assembly lines, automotive etc.

There is a blog post about rewriting a drones control system in Spark if you were curious: http://blog.adacore.com/how-to-prevent-drone-crashes-using-s...

It does exactly what you were planning. Taking C code and rewriting it in Spark in an embedded environment.