Design and Implementation of TinyGALS: A Programming Model for ...

Module definition for leds.
include components{
INT_TO_LEDS;
};
init{
INT_TO_LEDS:init;
};
ports in{
leds_in;
};
ports out{
};
leds_in INT_TO_LEDS:fire
Figure 5: The definition of the leds module shown in Figure 1.
2.2.3 TinyGALS Application
At the top level of a TinyGALS program, modules are connected to form a complete appli-
cation. A TinyGALS application A is a 5-tuple:
A = (MODULESA,GLOBALSA,VARMAPSA,CONNECT IONSA,STARTA), (3)
where MODULESA is a list of modules in the application; GLOBALSA is a set of global
variables; VARMAPSA is a set of mappings, each of which maps a global variable to a
parameter (in PARAMET ERSMi ) of a module in MODULESA 6 ; CONNECT IONSA is a
set of the connections between module output ports and input ports; STARTA is the name
of an input port of exactly one module in the application. Section 2.3.4 describes which
configurations of modules within an application are valid.
Figure 6 shows the code for defining the application shown in Figure 1. The application
contains two modules, count and leds. The output port count_out of module count
is connected to the input port leds_in of module leds. The definition declares that the
connection between count_out and leds_in has a FIFO queue of size 50. The last
6 Refer to information on TinyGUYS in Section 2.4.
12