TIMES is a tool suite designed mainly for symbolic schedulability
analysis and synthesis of executable code with predictable behaviours
for real-time systems. Given a system design model consisting of

(1) a set of application tasks whose executions may be required to 
    meet mixed timing, precedence, and resource constraints, 
(2) a network of timed automata describing the task arrival patterns and
(3) a preemptive or non-preemptive scheduling policy, 

TIMES will generate a scheduler, and calculate the worst case response
times for the tasks.  The design model may be further validated using
a model checker e.g. UPPAAL and then compiled to executable C-code
using the TIMES compiler.  In this paper, we present the design and
main features of TIMES including a summary of theoretical results
behind the tool.  TIMES can be downloaded at www.timestool.com.