Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a Simulation for State Machines #1044

Open
maurpa opened this issue Jan 7, 2022 · 0 comments · May be fixed by #1158
Open

Add a Simulation for State Machines #1044

maurpa opened this issue Jan 7, 2022 · 0 comments · May be fixed by #1158
Assignees
@maurpa
Labels
feature New feature or request

Comments

@maurpa
Copy link
Contributor

maurpa commented Jan 7, 2022

  • Provide a current State and the next States which can be selected
  • Color the corresponding states in the state machines
@maurpa maurpa added the feature New feature or request label Jan 7, 2022
@maurpa maurpa self-assigned this Jan 7, 2022
maurpa pushed a commit that referenced this issue Jan 7, 2022
Add Basic classes and Methods for simulation #1044
21629f2
maurpa added a commit that referenced this issue Jan 11, 2022
@maurpa
Changed from UISnippet to Simulation Viewer #1044
72cc4c7
maurpa added a commit that referenced this issue Jan 11, 2022
@maurpa
Added Export capability for simulation traces #1044
5d8b021
maurpa added a commit that referenced this issue Jan 11, 2022
@maurpa
Draw result table in the beginning #1044
d315ace
maurpa added a commit that referenced this issue Jan 17, 2022
@maurpa
- Added Transition Trigger to the statemachine simulator ui
d239e9d 
- Fixed bug that enabled transitions are not updated
- Fixed bug that buttons are not removed from simulator ui
 #1044
maurpa pushed a commit that referenced this issue Feb 21, 2022
Clear buttons after exporting - Task #1044
f2d6b91
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Implement state space exploration for state machines - Task #1044
13ccc9a
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add simulator view - Task #1044
1d66734
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Change handling of state machine simulator input - Task #1044
fed080e 
- the state machine simulator view now reacts to the state machines
  selected in the navigator or state machine diagrams
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add visualization of current state in diagrams - Task #1044
f371f94
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add bi-directional selection support for transitions - Task #1044
4c7fa4b 
- selecting a transition in the simulator highlights the corresponding
  transition in the diagram
- selecting a transition in the diagram selects the transition in the
  transition viewer
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Optimize computation of transitive closure over constraints - Task #1044
8e7f7af 


- the previous implementation had a quadratic worst-case complexity
- the improved implementation has linear complexity (in the number of
  state machines)
@pchrszon-dlr pchrszon-dlr linked a pull request Aug 28, 2023 that will close this issue
Open
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Implement state space exploration for state machines - Task #1044
91e9507
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add simulator view - Task #1044
463928c
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Change handling of state machine simulator input - Task #1044
2954aab 
- the state machine simulator view now reacts to the state machines
  selected in the navigator or state machine diagrams
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add visualization of current state in diagrams - Task #1044
8e2f270
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Add bi-directional selection support for transitions - Task #1044
5b5974b 
- selecting a transition in the simulator highlights the corresponding
  transition in the diagram
- selecting a transition in the diagram selects the transition in the
  transition viewer
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Optimize computation of transitive closure over constraints - Task #1044
bd868d5 


- the previous implementation had a quadratic worst-case complexity
- the improved implementation has linear complexity (in the number of
  state machines)
pchrszon-dlr added a commit that referenced this issue Aug 28, 2023
@pchrszon-dlr
Fix Spotbugs errors - Task #1044
a308306
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@maurpa maurpa

Labels
feature New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

State Machine Simulator virtualsatellite/VirtualSatellite4-Core
1 participant
@maurpa