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 i

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-spark 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.