TaRDIS

Trustworthy and Resilient Decentralised Intelligence for Edge Systems

Mission

TaRDIS’s primary goal is to significantly ease the complexity and reduce the effort of building correct and efficient heterogeneous swarms.

TaRDIS focuses on supporting the correct and efficient development of applications for swarms and decentralised distributed systems, by combining a novel programming paradigm with a toolbox for supporting the development and execution of applications.

TaRDIS in a nutshell

11

 partners

8

 countries

36

Months

4

use cases

Discover our objectives

TaRDIS believes that developing and managing distributed systems is a highly complex task that requires expertise across different domains, from programming languages to hardware, networking, operating systems, and distributed protocols.

1.

Develop a language-independent, event-driven programming model that offers distribution abstractions and decentralised machine learning primitives.

2.

Build a development environment for correct-by-design heterogeneous swarms with embedded semantic analyses to achieve a correctness-by-design approach.

3.

Develop schemes to support decentralised intelligence for the purpose of heterogeneous swarms.

4.

Development of decentralised algorithms and protocols for supporting the TaRDIS programming model at runtime.

5.

Ensure a high level of interoperability of TaRDIS distribution runtime, a significant number of different devices and programming languages are supported.

Discover the Consortium

The TaRDIS consortium gathers eleven partners from top industries, SMEs as well as leading universities and research centres in the edge and swarm systems’ research and innovation scene.

Latest news

Next events

The latest news right in your inbox!

Do you want to stay up-to-date on our TaRDIS-related activities? Don’t miss all our developments by subscribing to our newsletter.