The tools are classified according to the Telematics research areas.

Internet network protocol lab tools.

Simulation lab software for discrete event simulations.

Pride cluster for CPU demanding simulations and analysis.

Mathematica software tool for symbolic and numerical mathematical analysis.

Möbius software environment for modelling and analysis of system dependability (availability, reliability), security and performance.

Ramses system engineering tool.

Telelogic TAU system engineering tool.

SPIN state machine based system specification and validation tool.

Maude rewriting logic based system specification and validation tool.

TECP (Tutorial Environment for Cryptographic Protocols) allows step-wise construction of public-key cryptographic protocols.