The RS Language for Distributed Automata
 
Giovani Rubert Librelotto, Marcos Luís Cassal, Rogério Turchetti, Guilherme Dhein
UNIFRA – Centro Universitário Franciscano
Rua dos Andradas, 1614, Santa Maria, RS – Brazil
{giovani,cassal,turchetti,gdhein}@unifra.br

and

Simão Sirineo Toscani
PUC-RS – Faculdade de Informática
Av. Ipiranga, 6681 Prédio 30, bloco C
Porto Alegre, RS – CEP: 90619-900
stoscani@inf.pucrs.br
 
Abstract
 
RS is a reactive synchronous programming language suited to the implementation of the control part of reactive systems. The RS source programs are compiled to finite automata, which are very fast at execution time. This paper describes: (1) the distribution of the RS language, (2) the design of an MDX kernel that implements the communication facilities for the distributed automata, and (3) the implementation of the resulting distributed model using the C language.
 
Keywords: Reactive systems, finite automata, reactive synchronous programming language, MDX, distributed automata.