|Title||Generating Optimized Code from SCR Specifications|
|Publication Type||Conference Paper|
|Year of Publication||2006|
|Authors||Rothamel, T., Y. A. Liu, C. L. Heitmeyer, and E. Leonard|
|Conference Name||ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006)|
|Conference Location||Ottawa, Canada|
A promising trend in software development is the increasing adoption of model-driven design. In this approach, a developer first constructs an abstract model of the required program behavior in a language, such as Statecharts or Stateflow, and then uses a code generator to automatically transform the model into an executable program. This approach has many advantages---typically, a model is not only more concise than code and hence more understandable, it is also more amenable to mechanized analysis. Moreover, automatic generation of code from a model usually produces code with fewer errors than hand-crafted code.
|NRL Publication Release Number|| |