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 90
    • Issues 90
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 7
    • Merge requests 7
  • 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
  • #311
Closed
Open
Issue created Feb 20, 2022 by Ferdie Reijnen@freijnenDeveloper

Consider warning for /disallowing plant referencing requirements in CIF

In CIF, we can reference variables from requirement automata in plant automata and plant invariants. We support this for data-based synthesis.

The problem is that it doesn't really fit with the theory. A plant model should be independent of the requirements.

@ddennis noted:

I do think it makes sense to forbid using requirement things in plant things, as precondition check for the data-based synthesis tool. It is conceptually as a plant is just there and requirements restrict it. Physically the requirements are not there in the system, so defining the plant in terms of requirements doesn't fit the concepts. An observer of the plant for instance should be a plant automaton and not a requirement, since it doesn't actually impose restrictions. This precondition check would mean checking all plant guards, plant invariants, etc for references to requirement state (disc vars, locations, etc).

Some thing to consider:

  • Forbidding it is backward incompatible, do we want that. Alternatively, we could generate a warning.
  • Do we want it to be part of the data-based synthesis tool or the type checker?
Edited Feb 20, 2022 by Ferdie Reijnen
Assignee
Assign to
Time tracking

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