Beta Version
Times 1.3 Beta now available online! Download here.
Times User Group
Has been created on YahooGroups!
Register now!
Tool Paper
Presented at TACAS'02, received ETAPS'02 Best Tool Demo Award.
Available here.
Background Paper
Presented at TACAS'02.
Available here.
Last update:
Thursday, 06 Nov 2008, 10:26:39
Optimized for: Mozilla/5.0 MSIE/6.0+
DARTS team
DARTS (Design and Analysis of Real-Time Systems) is a research group at Uppsala University, Sweden. We study and develop theories, techniques and tools to support the design and analysis of real-time systems, in particular safety critical systems.

Wang Yi
Paul Pettersson
Senior lecturer
Johan Bengtsson
Leonid Mokrushin
PhD student
Pavel Krcál
PhD student
Annika Karlsson
PhD student
John Håkansson
PhD student

Former members:

Alexandre David Elena Fersman Tobias Amnell

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

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