Stopwatch in TAPAAL?
Asked by
Falk Benke
Is there some way to get stopwatch semantic in TAPAAL?
My use case is the following: I want to model preemptable tasks with minimum and maximum execution time. Therefore, tokens shall only age when the task is actually executed by the CPU. In UPPAAL I would model this via stopwatches, but I haven´t found a way to express the same thing in TAPAAL.
Great tool, by the way!
Question information
- Language:
- English Edit question
- Status:
- Answered
- For:
- TAPAAL Edit question
- Assignee:
- No assignee Edit question
- Last query:
- Last reply:
Can you help with this problem?
Provide an answer of your own, or ask Falk Benke for more information if necessary.
To post a message you must log in.