TeSSLa Libraries

Collection of free TeSSLa libraries from the community

For using libraries on this page download and unzip them and include them in your specification using include "libfile.tessla" in your specification. The library has to be placed relative to the including specification.

TeSSLa TADL2/Autosar-Timex Library
TeSSLa version: 1.2.2-1.2.4, License: Apache 2.0
TeSSLa library with functions for checking TADL 2 Constraints
Download, Documentation Project Page

TeSSLa TDDL Library
TeSSLa version: 1.2.2-1.2.4, License: Apache 2.0
TeSSLa implementation of Timed Dyadic Deontic Logic
Download, Documentation Additional information

TeSSLa/ROS Bridge
TeSSLa version: 1.2.2+, License: Apache 2.0
TeSSLa library and tooling for integration with the Robot Operating System (ROS)
Download, Documentation Project Page

TeSSLa Telegraf Connector
TeSSLa version: 1.2.3+, License: Apache 2.0
TeSSLa library and tooling for integration with the Telegraf framework
Download, Documentation Project Page

If you wish to publish your TeSSLa library on this page please contact us via info@tessla.io.