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
  • #94
Closed
Open
Issue created May 25, 2021 by Ferdie Reijnen@freijnenDeveloper

Code generator tools should support state/event exclusion invariants.

Our code generation tools (i.e., PLC, Java, Simulink, C89, and C99) do not support state/event exclusion invariants. These invariants can be eliminated by first converting them to automata with selfloops. The downsides are that 1) this requires an extra action and 2) that it introduces a new automaton, and thus a new location-pointer variable. This location pointer is also checked when determining if an event is enabled, adding unnecessary stuff to the code (for PLC I am certain, the other tools I have not checked).

We should be able to support state/event exclusion invariants without first converting them.

Edited May 25, 2021 by Ferdie Reijnen
Assignee
Assign to
Time tracking

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