The goal of this project is to solve the problem of systematically and reliably modifying source code that has automatically been generated from high-level models. This problem is common in model-based software development because the output of a generator is typically different from the actual requirements for code deployment. Research questions include:

• How can we build code generators that support the customization of generated code, without the need to manually change either the code generator or the generated code?
• How can we integrate generated code, either as whole or in fragments, with custom application code written in a common high-level programming language
• How can we guarantee that the integration is correct or at least safe? What sort of assurance can we achieve?

Partners

• Ewen Denney, NASA Ames Research Center
• Krzysztof Czarnecki, University of Waterloo
• Eelco Visser,Technical University Delft

Funding

Principal Investigators

• Bernd Fischer

Other Investigators

• gre