Objective
Developing and managing distributed systems is a complex task requiring expertise across multiple domains. This complexity considerably increases in swarm systems, which are highly dynamic and heterogeneous and require decentralised solutions that adapt to highly dynamic system conditions. The project 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 executing of applications.
TaRDIS proposes a language-independent event-driven programming paradigm that exposes, through an event-based interface, distribution abstractions and powerful decentralised machine learning primitives. The programming environment will assist in building correct systems by taking advantage of behavioural types to automatically analyse the component's interactions to ensure correctness-by-design of their applications, taking into account application invariants and the properties of the target execution environment. TaRDIS underlying distributed middleware will provide essential services, including data management and decentralised machine learning components. The middleware will hide the heterogeneity and address the dynamicity of the distributed execution environment by orchestrating and adapting the execution of different application components across devices in an autonomic and intelligent way. TaRDIS results will be integrated in a development environment, and also as standalone tools, both of which can be used for developing applications for swarm systems.
The project results will be validated in the context of four different use cases provided by high impact industrial partners that range from swarms of satellites, decentralised dynamic marketplaces, decentralised machine learning solutions for personal-assistant applications, and the distributed control process of a smart factory.
Fields of science
Keywords
Programme(s)
Topic(s)
Funding Scheme
RIA - Research and Innovation actionCoordinator
2829 516 Caparica
Portugal
See on map
Participants (8)
2800 Kongens Lyngby
See on map
21000 Novi Sad
See on map
10561 Athina
See on map
2685 039 Sacavem E Prior Velho Lisboa
See on map
80807 Munchen
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
28760 Tres Cantos
See on map
1600 196 Lisboa
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
28050 Madrid
See on map
Partners (2)
8600 Dubendorf
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
OX1 2JD Oxford
See on map