Programming Help by Programmer`s hub

Argos programming language

Argos programming language is a synchronous programming language develop at the VERIMAG laboratories. Argos programming language provide the graphical as well as textual syntax. The main differences with statecharts are the use of a truly hierarchical composition operator which does away with inter-level transitions used in statecharts, and the application of a strict synchrony assumption.

The development on Argos are carried out in the following steps :

Compilation : Several efficient compilation techniques have been studied

Connections to tool : Argos create the different formats of iutput.

  • The common OC format
  • An automation format
  • Timed automata that can be verified by using Kronos

Multilanguage Programming :

The aim is to study and implement two mixed languages: Argos + Esterel and Argos + Lustre

Argos programming code example


use Argos::Reduce;



 my $reduce = Argos::Reduce->new

(

    name => 'foobar',

    conf => '/conf/file',

    path => '/path/file',

);



 $reduce->run();

...

Download compiler

...