Aka. Modular Code Generation
This is a tool to automatically generate code for the execution of networks of Hybrid Automata. Networks are described using the HAML Spec (also part of this project).
This tool is developed by the PRETzel Research Group at The University of Auckland in New Zealand. As such, it is currently to be treated more as a research project, and bugs may be present or features may be missing.
There are two ways to use the code generation: either by compiling from source, or downloading one of the pre-generated JAR files. The procedure for each of these is outlined below.
This tool is written in Kotlin, and uses Gradle for its build system.
To run the debug program (app.kt) simply run gradle run (or gradlew run to use the bundled Gradle version).
To build a new executable JAR file for distribution, run gradle build (or gradlew build).
This will create a "fat" JAR file (includes all Kotlin runtime dependencies) whose main file on execution is defined in Cli.kt.
Pre-generated JAR files are available for you to use if you don't want to compile from source.
Simply download the latest release (piha.jar) from the Releases page on Github.
This executable JAR file can then be run with the following arguments:
| Flag | Description |
|---|---|
| pos. 0 | Required. Path to the HAML Document for which you want to generate code for. |
-l--language |
The language to generate code for. Valid options are: C, VHDL.Default: C |
-o--output |
The directory to store the generated code in. Default: output |
-f--flatten |
A flag to indicate whether the network should be "flattened" when generating code. Default: false |
-v--validate-only |
A flag to indicate that the input file should just be validated, with no code to be generated. Default: false |
Generate VHDL code for the file MY_SPEC.yaml:
java -jar piha.jar MY_SPEC.yaml --language VHDL
Generate C code for the file MY_SPEC.yaml and put it in the folder my_folder:
java -jar piha.jar MY_SPEC.yaml --language C -o my_folder
Generate C code for a flattened version of the file MY_SPEC.yaml:
java -jar piha.jar MY_SPEC.yaml --language C -f
Several examples are maintained under the examples directory.
Each of these examples model some form of physical process.
A README exists in this examples directory that gives a brief explanation of each.
The initial design of this tool was described in a Design, Automation and Test in Europe (DATE) 2016 paper titled Modular Code Generation for Emulating the Electrical Conduction System of the Human Heart.