Contract-based Heterogeneous Analysis and Systems Exploration
The demo directory contains three different demonstrations:
chasetool on a Automotive, double-priority communication bus with real time intervals and resources contention.
epstool, using a previous version of the specification language.
chasetool on an aircraft power distribution network without real time intervals in the specification. Presented at the TerraSwarm Annual Meeting held in Berkeley on October 26 and 27.
chasetool on an aircraft power distribution network with real time intervals in the specification.
To execute one of the demos, go to the selected demo directory and type
For instance, to execute the Terraswarm demo, type
$> cd demo/Terraswarm
Terraswarm and Timing demos allow choosing among different problems:
template_0: Provided for all the demos, it includes a network topology with two sources.
template_1: Provided for all the demos, it includes a topology with four sources.
template_2: Provided only in the Timing demo, it includes a network topology with three generators.
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
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.