 |
TIMES-Pro is an integrated tool environment for modeling, analysis, simulation and synthesis of real-time software modeled as a set of Digraph real-time tasks, extended with non-preemptive and blocking inter-task communication.
The tool is developed in Embedded Systems Group of the Department of Information Technology at Uppsala University, Sweden.
TIMES-Pro has an editor to graphically model a system and its associated timing, execution resource and synchronization requirements.
TIMES-Pro analysis suite includes schedulability analysis of tasks under Fixed Priority and EDF scheduling.
The simulator dynamically visualise the execution behavior and the resource utilization of a system model.
The code generator generates Ada code from DRT/SDRT task sets that is executable under Ada runtime system.