Generating efficient executable models for complex virtual experimentation with the Tornado kernel

Virtual experimentation is a collective term that includes various model evaluation procedures such as simulation, optimization and scenario analysis. Given the complexity of the models used in these procedures, and the number of evaluations that is required to complete them, highly efficient model implementations are desired. Although water quality management is a domain in which complex virtual experimentation is often adopted, only relatively little attention has thus far been devoted to the automated generation of efficient executable models. This article reports on a number of promising results regarding executable model generation that were obtained in the scope of the Tornado kernel, using techniques such as equiv substitution and equation lifting