Project : coprin

Section: New Results

Keywords : modeling , simulation , symbolic computation , code generation , accuracy , reliability .

Symbolic tools for modeling and simulation

Industrial modeling and simulation processes are usually based on scientific theories, using formula for describing physical features and computation algorithms. Based on these formula, numerical methods are developed and implemented for simulation and visualization of these features. Due to the large number of parameters and equations involved in industrial models and to the diversity of physical contexts, it is a huge work to produce and test such numerical codes.

In a joint activity with Airbus aerodynamics department, we are specifying, designing and implementing tools for automatic generation of numerical simulators from symbolic formulas.

The first step in this framework was to solve several edition, communication and documentation problems. We did it in a prototype developed above the Mathematica software. We then formalized a theoretical approach of variables, parameters, and models based on graphs and hyper-graphs theory.

In 2003 we applied CSP decomposition methods for producing evaluation of model in the non-oriented case. We also developed automatic generation procedures of numerical codes (C Language). This allows to use the same model for studying both design and performances analysis problem.

Logo Inria