Add real-world CIF example
I think it would be nice to include some real application of CIF as a CIF example, in addition to the more artificial examples we have now.
Options:
-
A Lock/Bridge combination is described in a paper. The models, visualizations and scripts are on GitHub. I think this has a rather nice visualization. Synthesis of the combined lock/bridge does take quite a while though, about 35 minutes. But the lock and bridge can be synthesized and simulated separately, and then synthesis takes only about 5 seconds and 2 minutes, respectively. It does consist of quite a few files, so may be a bit of work to adapt it for inclusion as CIF example in ESCET.
-
A waterway lock is described in a paper. The models, visualizations and scripts are on GitHub. This one is much simpler/smaller. Synthesis takes about 18 seconds. Easier to explain/understand. Visualization is not as nice though, as example. We have a modified version of this already as benchmarking model, but the visualization may not fit that anymore. Not sure how much effort it is to adapt that.
-
A bridge is described in a paper. The models, visualizations and scripts are on GitHub. This synthesizes very quickly, and has nice visualizations. It is already adapted to Eclipse ESCET (v0.5). Shouldn't be too much effort to turn this into a CIF example.
As we also plan to describe this case in an artefact for a paper, it would be nice if this could still be included in %v0.7.