Automatic Generation of Engineering Analysis Tools / John Hopcroft / N00014-92-J-1989

Project Objectives

  • Qualitative improvement in ability to carry out engineering analyses
  • Corresponding improvements in research, design, and engineering
  • Improve multiple-domain simulator technology necessary for complex systems such as engines or aircraft
  • Automatic retargeting of engineering analysis codes between high performance parallel machines

Project Approaches

  • Exploit powerful synergy between geometric modeling, symbolic mathematics, formal methods, numerical analysis and compilation/code generation.
  • Develop highly flexible tools for manipulating mathematical objects.
  • Use transformation technologies to convert a high-level mixed mathematical/programming language into retargetable executable code.
  • Use formal methods to develop the basis of a communications mechanism between a variety of mathematical tools.

Project Results