Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #419
Closed
Open
Issue created Sep 22, 2022 by Dennis Hendriks@ddennisMaintainer

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:

  1. 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.

  2. 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.

  3. 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.

Edited Sep 24, 2022 by Dennis Hendriks
Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent