Explore projects

Provides a demonstrator that enables showing off / testing consistency checking between/on model data from BaSys AAS submodels (via BaSyx interface) and from OPC UA servers

FINFOO is a decentralised design for a bottom-up and multidimensional finance system with the aim of making communities healthier, more social, and sustainable. It is based on Finance4, part of the FLAG-ERA-funded project FuturICT 2.0.

Energy Market for decentralized cross-commodity energy management

Provides a demonstrator that enables showing off / testing consistency checking between/on model data from different BaSys AAS submodels (via BaSyx interface)

A lightweight agent for Java applications to sample CPU traces. We use the traces to derive resource profiles within PerTract-DSL instances

Prescan Runner is a plugin for OpenSBT to apply search-based testing to a SUT simulated in Prescan.