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 4
    • Merge requests 4
  • 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
  • #364
Closed
Open
Issue created May 02, 2022 by Dennis Hendriks@ddennisMaintainer

CIF data-based synthesis performance benchmarking models

It would be nice to have a set of CIF models to test data-based synthesis performance. Especially also when we improve the performance, such as with #196 (closed).

A paper by Lousberg et al indicates they used 11 CIF models:

image

Martijn Goorden has a larger set of models (see this overview), but we have to check for each of them whether they can be contributed to Eclipse ESCET. The following is an overview of these models, there status (in terms of merge requests) and whether the models can be contributed (per the DCO requirements):

Nr Name Merge request Status/DCO
1 agv !522 (merged) OK to contribute
2 ball-system !532 (merged) OK to contribute
3 central-lock-3doors
4 circular-table
5 cluster-tool !523 (merged) OK to contribute
6 intertwined-production
7 agent-formation !525 (merged) OK to contribute
8 production-cell !526 (merged) OK to contribute
9 testbed-rail
10 transfer-line
11 wafer-scanner
12 work-cycle
13 adas !527 (merged) OK to contribute
14 water_lock !319 (merged) OK to contribute
15 festo !317 (merged) OK to contribute
16 container-terminal
17 swarm-segregation !534 (merged) OK to contribute
18 swarm-aggregation !534 (merged) OK to contribute
19 swarm-clustering !534 (merged) OK to contribute
20 swarm-formation !534 (merged) OK to contribute
21 bridge !354 (merged) OK to contribute
22 sumo
23 mri
24 themepark !524 (merged) OK to contribute
25 transmission-grid
26 power-substation sharing requested from author
27 information-system
28 robotnavigation
29 mri-state
30 marijkesluis
31 blockchain
unfinished-1 function-block
unfinished-2 production-cell2
unfinished-3 flexible-assembly
unpublished-1 amigo
unpublished-2 4x4-sudoko !355 (merged) OK to contribute
Edited Mar 14, 2023 by Dennis Hendriks
Assignee
Assign to
Time tracking

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