Screenshots

Times Project Editor

Editor for Timed Automata with Tasks


Task Editor

Precedence Graph Editor


Simulator

Schedulability and WCRT Analysis


Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us

(C) 2007 DARTS, IT Dept, CS, Uppsala University, Sweden