I don't think, it is realistic to develop something in Python and then "transform" it to C++. In Python all variables are on the heap and everything is dynamic. I don't think, that in a development process for safety critical software you can connect two technologies or programming languages that are so much different. That itself is a high risk. What you propose sounds like you want to use Python more like a domain specific language for your C++ code. But I don't think, that this is a good idea, because Python is a general purpose language. You could also use Fortran or Haskell or Lisp or whatever for that purpose. But I have doubts that this is efficient. Actually Lisp would even work better than Python, because it is extremely minimalistic and with macros you can express exactly what you want to bring to C++. The idea of using "specification languages" is a bit more complex, than just a simple decision to use Python for that purpose.
I don't think, it is realistic to develop something in Python and then "transform" it to C++. In Python all variables are on the heap and everything is dynamic. I don't think, that in a development process for safety critical software you can connect two technologies or programming languages that are so much different. That itself is a high risk. What you propose sounds like you want to use Python more like a domain specific language for your C++ code. But I don't think, that this is a good idea, because Python is a general purpose language. You could also use Fortran or Haskell or Lisp or whatever for that purpose. But I have doubts that this is efficient. Actually Lisp would even work better than Python, because it is extremely minimalistic and with macros you can express exactly what you want to bring to C++. The idea of using "specification languages" is a bit more complex, than just a simple decision to use Python for that purpose.