Trustworthy Cyber-Physical Pipelines

Trustworthy Cyber-Physical Pipelines

Tipologia
Progetti internazionali
Programma di ricerca
Progetti di Grande Rilevanza
Ente finanziatore
Ministero degli Affari Esteri e della Cooperazione Internazionale
Settore ERC
PE6_1 - Computer architecture, embedded systems, operating systems
PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems
Budget
174.000 Euro
Periodo
01/01/2024 - 31/12/2026
Responsabile
Enrico Bini

Partecipanti al progetto

Descrizione del progetto

Nei Cyber-Physical Systems (CPS), le applicazioni sono normalmente sviluppate come una sequenza di task comunicanti (pipeline). Quando il CPS realizza un'applicazione critica (come nel caso della robotica o dell'automotive), è necessario garantire che la comunicazione avvenga entro determinati limiti di tempo e che, in presenza di guasti, il degrado complessivo sia sotto controllo.

In questo progetto, stiamo creando un team internazionale di esperti riconosciuti nel campo dei sistemi in tempo reale e dei sistemi di controllo per affrontare le sfide sopra menzionate. Il team è composto da una combinazione di ricercatori senior e junior, oltre a dottorandi.
Il nostro obiettivo è investire la maggior parte delle risorse del progetto nei partecipanti più giovani, per esporli a un ambiente di lavoro internazionale fin dalle prime fasi della loro carriera.

Partners
- Lund University 

Finanziatore

upload_MAECI-marchio-O-IT-011.png

 

 

Risultati e pubblicazioni

Workshop on Analysis and Design of End-to-End Task Chains

Logistics

To reach Turin by plane, best options are:

  • Turin airport (TRN), 30 minutes by train/bus from the city center 
  • MIlan Malpensa (MXP), 2 hours by bus from the city center

Turin can also be conveniently reached by train. Notably, a 6 hours direct train from Paris (Gare de Lyon) is offered by

The city center is full of hotels and B&B. Feel free to book whichever you like more, possibly somehow close by the relevant workshop sites.

Schedule

Tentative talks/titles

  • End-to-end chains with EDF scheduled DAGs, Federico Aromolo
  • Task Phases Assignment to minimize E2E Latency of LET Task Chain, Matthias Becker
  • Scheduling Synchronous Control Software by Solving Constraints, Timothy Bourke
  • Modeling task chains with network calculus, Marc Boyer
  • End-To-End Response-Time Analysis of DDS-based Real-Time Applications, Daniel Casini
  • Cyber-physical cloud services, Johan Eker
  • Synchronous model-based end-to-end chain analysis, Julien Forget
  • Provable Determinism in Cyber-Physical Systems, Andrés Goens
  • Fundamental Properties of End-to-End Latency of Cause-Effect Chains, Mario Guenzel
  • From Logical Execution Time to Symbolic Execution, Christoph Kirsch
  • Latency upper bound for data chains of real-time periodic tasks, Tomasz Kłoda
  • Towards an Efficient Communication Design for Data-Intensive Real-Time applications, Jonas Peeck
  • Modeling and end-to-end latency analysis of memory requests using task chains, Rodolfo Pellizzoni
  • Analysis of Control Systems under Sensor Timing Misalignments, Yde Sinnema
  • End-To-End Latency Analysis and Optimization in ROS 2, Harun Teper

Confirmed attendees

Ultimo aggiornamento: 06/07/2025 10:05
Location: https://informatica.unito.it/robots.html
Non cliccare qui!