chase

Contract-based Heterogeneous Analysis and Systems Exploration


Project maintained by chase-cps Hosted on GitHub Pages — Theme by mattgraham

<– Go back to the main page

Demonstrations

The demo directory contains three different demonstrations:

To execute one of the demos, go to the selected demo directory and type

$> make

For instance, to execute the Terraswarm demo, type

$> cd demo/Terraswarm

$> make

Terraswarm and Timing demos allow choosing among different problems:

To choose the problem, set the MODEL environment variable and then run the demo. For instance, to use template_2 in the Timing demo, type

$> cd demo/Timing

$> export MODEL=template_2

$> make

The Automotive demo presents only one scenario. As such, the variable MODEL is constant.

The date_2018 demo does not provide any makefile. It only contains the specification files used to produce the experimental results used in the DATE 2018 paper.

<– Go back to the main page