Logo Institut für Software Systeme
Institut für Software Systeme
Logo Institut für Software Systeme
Institut für Software Systeme
EN
DE
Suche
EN
DE
Suche
Mehr
Online Model Checking
Models
Uppaal
Simulation
Scenario
CommonRoad
Demo
Example
STS > Research > Model Checking & Abstract Interpretation > Demo
| Back to Harmonics Mover Homepage |
It may take a while until the demo has loaded. It will be shown instead of the black box on the bottom of the page.
If the demo das not work in your browser, please try an other one.

The following video demonstrates the functionality and usage of the demo:

For further information click on the questions below:
What do I see here?
  • We show a 2D visualisation with time on the X axis and the primary motion direction of the patient on the Y axis.
  • The filled blue box represents the current modulation of the respiratory motion.
  • The empty blue boxes represent the expected/predicted future movement for a few simulation steps.
  • All other boxes represent a virtual robot that would use the respective position to deliver a dose.
  • Different colors represent different possible robots. Grey boxes represent inactive robots, currently not delivering a beam.
  • Again, empty boxes show future movement if no further adjustments would be made.
  • Note that we simplify the boxes and dosage thresholds to 5mm width increments.
  • In the scenario window, you see global information like therapy goals and the exact respitatory modulation.
  • In a robot window, you see its position, goal status, and strategy dependent rules.
How do I interact?
  • Use the right and left keyboard buttons to step the simulation forward and backward in intervals of 100ms.
  • Clicking the respective checkbox enables automatic advancement of the simulation.
  • Reset the demo by reloading. (pressing Pos1 key)
  • You can use the drop down menu to select a strategy and observe a different outcome. See [rules] for an explanation of the strategies.
What can I observe?
  • For every virtual robot in each step, the position, its active state (denoted by color), the pursued goal, the chosen rule and the rule's scoring may change.
  • For a complete therapy session, the robot must finish all goals. At the start these are listed as future goals. A goal that has been started is denoted as active.
  • A goal is pursued by a robot when it occupies the corresponding threshold corridor while it is active. Once the required time has been accumulated, the goal is finished.
  • Robots will not interfere with the respiratory motion. The strategies either move them away from the patient to outer threshold configurations or mark them as inactive, if necessary.

Demo

                     The app screen remains black until the demo is loaded. This may take a while.


When the
app is
loaded,
klick
inside
the app
→
to use
arrow
buttons.


Move the
mouse
outside
the app
←
to scroll
the page 		  
| Back to Harmonics Mover Homepage |

 

 

TU Hamburg
Institut für Softwaresysteme (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-Mail : sts-office@tuhh.de
Tel : 040-42878-3460
Weiterführende Links
Imprint / Impressum
Privacy / Datenschutz