| 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 |
|||
|
|
||||
| ||||