Render requirement and hazard information into the code automatically!
Documentation = Product
If you generate your production source code from models – you can be sure that the product ships matches your documentation.
Sadly true round-trip engineering is a myth when it comes to behaviour models.
Start with an existing project to minimize the risks of too many unknown factors in a new project. (CPU, Board, Compiler, Debugger,….)
Existing legacy code can be imported in the model and a new module can be built with the new approach.