Commit 271d6ebc authored by PE Hladik's avatar PE Hladik
Browse files

update readme's titles

parent 0f331a86
#How to compile an Hippo executable
# How to compile an Hippo executable
Hippo is a toolchain for automatically generating code for real-time systems from a high-level specification of its intended behavior. It is based on the formal language [Fiacre](http://projects.laas.fr/fiacre/home.php) and provides methods and tools for generating executable code from it. These tools produce a faithful executable; meaning that the generated code and the model have exactly the same sequence of observable events, and respect the same timing constraints.
##Prerequisites
## Prerequisites
You only need an operational frac-hippo compiler (the path to frac is supposed configured) and a C compiler on a Linux machine.
##Compile the model with fiacre-hippo
## Compile the model with fiacre-hippo
To compile a model in fiacre (`MyFile.fcr`), go to the directory and call the frac compiler:
......@@ -14,7 +14,7 @@ To compile a model in fiacre (`MyFile.fcr`), go to the directory and call the fr
Files are generated in `MyFile.hippo`.
##Generate the makefile with config.py
## Generate the makefile with config.py
From the repository of your project call the python scipt to configure the makefile:
......@@ -39,7 +39,7 @@ For example, to generate the makefile of the doubleclick test for a posix target
`python3 ../../config.py doubleclick -t=posix -u=10ms -d=inline`
##Compile and execute an hippo model
## Compile and execute an hippo model
To compile your model, call the Makefile with `make` or force to cleanup before with
`make clean`.
......@@ -51,7 +51,7 @@ If you use Xenomai version, you need to run the executable with superuser privil
## Additionnal informations for deployment
###Install Xenomai (Mercury)
### Install Xenomai (Mercury)
If you want to used the Xenomai version of Hippo, you can simply install the Mercury skin. To do this, clone from the main repository:
......@@ -73,11 +73,11 @@ $ ../configure --with-core=mercury --enable-smp --enable-pshared --enable-lores-
$ sudo make install
```
###Install PREEMPT-RT
### Install PREEMPT-RT
To easyly install PREEMPT_RT on Ubuntu 18.04 you can follow the tutorial of [Chenna Kautilya] (https://chenna.me/blog/2020/02/23/how-to-setup-preempt-rt-on-ubuntu-18-04/).
###Use lttng userspace to generate trace
### Use lttng userspace to generate trace
An LTTng-based trace system is available in Hippo. [LTTng](https://lttng.org) is an open source tracing framework for Linux. To use it, you have to install it first, see [LTTng documentation](https://lttng.org/docs/v2.10/#doc-ubuntu):
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment