Trustworthy and Resilient Decentralised Intelligence for Edge Systems
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 decentralis...
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.ver más
04-11-2024:
Doctorados industria...
Se ha cerrado la línea de ayuda pública: Formación de doctores y doctoras de las universidades del Sistema universitario de Galicia (SUG) en empresas y centros de innovación y tecnología para el organismo:
04-11-2024:
PERTE-AGRO2
Se ha cerrado la línea de ayuda pública: PERTE del sector agroalimentario
02-11-2024:
Generación Fotovolt...
Se ha cerrado la línea de ayuda pública: Subvenciones destinadas al fomento de la generación fotovoltaica en espacios antropizados en Canarias, 2024
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.