Wed Oct 7 19:53:40 CEST 2009

NASA Survey on Automatic Code Generation (ACG)

Googling for "MetaOCaml FORTRAN" I found this[1], a survey about the
use of automatic code generation tools.  Not surprisingly, the control
field and Real-Time Workshop stick out.

MetaOCaml was mentioned in one of the companies in the survey.  Let's
try to figure out which one it is.

For some companies/problems AGC didn't help much due to inherent
domain complexity, while for other it would be impossible to get to
market without.  Integrating AGC into an existing design flow seems to
be non-trivial in many cases.  Generator customization is sometimes
necessary (33%, where 60% this was done by tool vendor).

AGC are complex and bugs in AGC are common (60%), and verified
generators are highly desirable.  This gives a good rationale for
typed metaprogramming.  Also important are: presenting mathematical
derivations, performing domain-specific analysis is important,
tracability between model and code.

[1] http://ti.arc.nasa.gov/m/pub/1219h/1219%20(Denney).pdf