Obiettivo
Cyber-physical systems underpin critical infrastructures such as transport, energy, aerospace, and healthcare. They increasingly operate with high autonomy, a necessity given the dynamic environments they face and the constantly evolving requirements imposed on them. Yet, they are inherently vulnerable to chronomalies, timing disruptions that may arise unexpectedly and were not foreseen at design time. The Mars helicopter Ingenuity, which suffered dangerous oscillations due to timestamp misalignments, and later faced another unexplained synchronization failure, illustrates how even state-of-the-art systems, designed with incredible budgets, can be affected by such problems.
Current verification approaches are ill-suited to deal with chronomalies: they simplify reality by overestimating failure frequencies, producing results that are too conservative to enable certification of real systems. SCARF tackles this challenge with a principled framework for both analysis and design. It introduces a formal treatment of chronomalies, using both stochastic and deterministic failure models and combining them with control-theoretic representations of the computational effect on the physical system.
Using advanced tools from linear algebra, such as the joint spectral radius and linear matrix inequalities, SCARF will enable the synthesis of controllers that are resilient to chronomalies by design. Using formally proven transformations, SCARF will tackle realistic patterns of timing failures. The outcome will be scalable verification and design tools that ensure cyber-physical systems can withstand unforeseen timing anomalies. By providing rigorous guarantees of stability and robustness, SCARF will strengthen certification and trust in domains where reliability is paramount, including automotive, energy, and transportation.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali matematica matematica pura algebra algebra lineare
- ingegneria e tecnologia ingegneria meccanica ingegneria dei veicoli ingegneria aerospaziale aeromobili aerogiro
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMMA PRINCIPALE
Vedi tutti i progetti finanziati nell’ambito di questo programma
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
HORIZON-ERC - HORIZON ERC Grants
Vedi tutti i progetti finanziati nell’ambito di questo schema di finanziamento
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
(si apre in una nuova finestra) ERC-2025-ADG
Vedi tutti i progetti finanziati nell’ambito del bandoIstituzione ospitante
Contributo finanziario netto dell’UE. La somma di denaro che il partecipante riceve, decurtata dal contributo dell’UE alla terza parte collegata. Tiene conto della distribuzione del contributo finanziario dell’UE tra i beneficiari diretti del progetto e altri tipi di partecipanti, come i partecipanti terzi.
66123 Saarbrucken
Germania
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.