UPPAAL TRON

UPPAAL TRON

Description: 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.

See right for a screenshot of smart-lamp controller Java applet demo and automatically generated signal flow diagram of the system model.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://people.cs.aau.dk/~marius/tron/

Download: Releases and installation instructions.

Documentation: Examples, publications, and description of adaptation process.

Contact: List of contributors.

Excerpt and graphics from: http://people.cs.aau.dk/~marius/tron/