Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

A Formal Approach for Modeling and Simulation

Yves Papegay
Organization: INRIA Sophia Antipolis, COPRIN

Wolfram Technology Conference 2011
Conference location

Champaign, Illinois, USA

Modeling some behaviors of a system is a complex multi-step and multi-layered description process closely related to the numerical simulation and visualization of these behaviors. At the bottom level layer, physical characteristics are defined in terms of quantities and associated to symbols, units, and values. At the top level layer, systems are expressed as a set of interconnected components involving such quantities. Intermediate layers are used to express how components are acting on each other, how quantities are dependent together, and how that can be effectively represented in terms of equations with the help of physical formalisms and theories. By adding a few constructions, we show how to turn the rich programming and mathematical language of Mathematica into a generic declarative modeling language that is rich enough to represent the most complex models of large-scale systems. Ad-hoc compilers are then able to produce from these source models any kind of simulation code as target. An industrial application of these theoretical concerns has led to the development of an integrated environment for modeling and simulation used by one of the leaders in the aircraft industry for the design of flight dynamics models and the automatic generation of components of the flight simulators.

*Wolfram Technology

Downloads Download Wolfram CDF Player

AFormalApproachForModelingAndSimulation.cdf (1.3 MB) - CDF Document
AFormalApproachForModelingAndSimulation.nb (1.3 MB) - Mathematica Notebook