Software synthesis from dataflow models for G and LabVIEW/sup TM/

The "G" language (in LabVIEW/sup TM/) allows the user to describe a program with a dataflow representation. Our goal is to apply the techniques and concepts of the current dataflow research towards the adaptation of G and LabVIEW/sup TM/ for embedded software development. G is a homogeneous, multidimensional, dynamic dataflow language. G uses "structured dataflow" semantics to specify high level concepts (e.g. loops). We examine G in the context of other models of computation, such as cyclostatic and dynamic dataflow, and process networks. G has useful subsets that can be statically or quasistatically scheduled. In some diagrams, cyclostatic analysis can be used. Parallelism can be further exploited by allowing overlapping execution of loops, and adding array auto-subsetting. Another useful addition would be execution relative to a global clock. Finally, a view manager could present a G program using a different model of computation.