Projects / TimesTool


TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.

Operating Systems

Recent releases

  •  10 Sep 2003 18:27

    No changes have been submitted for this release.


    Project Spotlight


    A Fluent OpenStack client API for Java.


    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.