next up previous contents index
Next: 1.5 Related Work Up: 1.4 Research Focus Previous: 1.4.4 Model Checking and   Contents   Index

1.4.5 Code Synthesis

The purpose of code synthesis is to maximize run-time performance. It is always much slower to simulate a model in an interpreted way than to execute the compiled code directly.

A lot of optimization can be done on the models at the time of code synthesis. This issue will be discussed thoroughly in this thesis. In particular, SCC (StateChart Compiler), a code synthesizer for DCharts, is implemented. It is able to generate Java, C++, Python and C# source code from textual DCharts model descriptions.



Thomas Huining Feng 2004-04-28