The paper introduces AnaTempura, a tool for run-time verification of systems using Interval Temporal Logic (ITL) and its executable subset Tempura. The runtime verification technique uses assertion-points to check whether a system satisfies timing or safety properties expressed in ITL. The assertion-points are inserted in the source code of the system and these generate a trace, i.e., values of variables and timestamps of value change, during run-time. AnaTempura is being used for the analysis of mixed hardware/software systems, analysis of security policies (as part of the SANTA workbench) and for checking webservice composition.