Skip to content
GitLab
Projects Groups Topics 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 revisions
    • Locked files
  • Issues 100
    • Issues 100
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 7
    • Merge requests 7
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
    • Test cases
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #364

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