4 ms·
I've used Simulink to model dynamic systems. I would say the C code it generates is "safe" in terms of memory access that can be used for embedded systems, but
by vsskanth 7y ago
I've used Simulink to model dynamic systems. I would say the C code it generates is "safe" in terms of memory access that can be used for embedded systems, but it does not check for undefined control behavior.
- rurban 7y agoI did not only use it, I generated a C++ compiler backend for it. Of course is generated code ugly, that's not the point. It's generated. Logical problems (and problems in C extensions) are of course always possible, therefore you have Stateflow and other methods. Other formal methods cannot guarantee that neither.