Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us |
Screenshots
| ||||
Times Project Editor |
Editor for Timed Automata with Tasks |
|||
|
||||
Task Editor |
Precedence Graph Editor |
|||
|
||||
Simulator |
Schedulability and WCRT Analysis |
|||
|
||||
|