SERT:

By adding a system of timing constraints to Sisal, a high-performance functional language designed for scientific computing, we have created SERT (Sisal Extended for Real-Time). SERT takes advantage of the dataflow nature of the language and the natural way in which constraints are expressed to generate minimally constrained dataflow graphs. Then, given a description of an architecture, it will attempt to partition and schedule the program graph to satisfy those constraints if possible.