Welcome!

Uppaal TRON has moved to the main UPPAAL page with downloads.

Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

Uppaal TRON is a testing tool, based on Uppaal engine, suited for black-box conformance testing of timed systems, mainly targeted for embedded software commonly found in various controllers. By online we mean that tests are derived, executed and checked simultaneously while maintaining the connection to the system in real-time.

Below are a screenshot of smart-lamp controller Java applet demo and automatically generated signal flow diagram of the system model:

Like Uppaal, Uppaal TRON is free for non-profit use, e.g. for evaluation, research, and teaching purposes. For more details please read the license.