Tools and Documentation

TeamPlay tooling and documentation are available here, for additional tooling and documentation see project partner repositories.

CECILE

TeamPlay coordination compiler

CSL

The basic interface of the CSL language constructs

PowProfiler

TeamPlay PowProfiler tool for complex architectures

REPPS

Robust Energy and Power Predictor Selection tool extended for TeamPlay

REEL

The basic interface of the REEL language constructs

SecurityAnalyser

INRIA Security Analyser tool

TeamPlay Idris

The Idris proof engine for CSL sources

TeamPlay Ladders

The ladderisation sources

Thumbulator

TeamPlay Thumbulator versions 

YASMIN

YASMIN runtime environment