Ir2Lustre

Ir2Lustre is a translator from the intermediate representation (JSON) of CoCoSim models to Lustre programs.

Installation

Install from source

Dependency: Maven

1. Download and install Maven
2. Download the srouce
3. Change directory to the project main directory on terminal
4. Issue command on terminal: mvn install
5. The final binary will be placed in /ir2lustre/target/CocoSim_IR_Compiler-0.1-jar-with-dependencies.jar

Usage

You can run the tool by issuing the following command:

java -jar CocoSim_IR_Compiler-0.1-jar-with-dependencies.jar -i /path/to/your/simulink_representation_in_json