Tools

The tools are classified according to the Telematics research areas.

Networks

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.

Networked Systems

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.

Information Security

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