UPPAAL is a tool box for validation (via graphical simulation) and
verification (via automatic model-checking) of real-time systems,
based on constraint solving and on-the-fly techniques.  In this short
paper we report on the current status of UPPAAL with particular
emphasis on the recent additions and new developments within the near
future.