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.