Project Overview

The goal of the Cornell Modeling and Simulation project is to facilitate the construction, modification and evaluation of simulations and other engineering analyses by scientists and engineers. We are creating an environment that permits these processes to be described at an appropriate and natural semantic level. The tools we are developing allow the user to describe the computations using familiar concepts from mathematics and physics, instead of traditional programming languages such as Fortran or C. In addition, we are developing tools that convert these descriptions into efficient codes for sequential and parallel machines.

The approach we have been taking is to integrate the tools and technologies of geometric modeling, symbolic mathematics, numerical analysis, compilation/code generation, and formal methods to create a new methodology and environment for engineering analysis and simulation. These technologies have all been used before to attack engineering analysis problems, but used in isolation. They are far more potent when used in concert within a single integrated environment. Three major components of this approach are discussed below.