Continuously Resilient and Secure Systems (CORESS) (DIT.AD003.113)
Thematic area
Engineering, ICT and technologies for energy and transportation
Project area
Internet del futuro (DIT.AD003)Structure responsible for the research project
Institute of information science and technologies "Alessandro Faedo" (ISTI)
Project manager
ANTONIA BERTOLINO
Phone number: 050-6212914
Email: antonia.bertolino@isti.cnr.it
Abstract
Questo progetto focalizza su definizione e sviluppo di metodologie per l'ingegneria del software, con particulare riferimento a infrastrutture e sistemi critici dal punto di vista di dependability e security. Le attività di ricerca si inquadrano in due macro-aree: i) progettazione di soluzioni architetturali per indirizzare le sfide dei sistemi moderni, quali complessità e adattività, ii) metodologie di verifica e validazione, tecniche e strumenti per analizzare e valutare proprietà funzionali e non funzionali, quali indicatori di QoS, dependability e sicurezza.
In più dettaglio, le principali tematiche di ricerca includono:
- modellazione e analisi di Cyber-Physical Systems;
- analisi, testing e monitoring di sistemi dinamici e complessi (sistemi di sistemi);
- valutazione di proprietà di dependability e sviluppo di soluzioni per la tolleranza dei guasti;
- approcci a servizi per analisi e testing di sistemi di larga scala ed adattivi;
- testing per qualità del software e proprietà di sicurezza.
Goals
L'attività progettuale sarà orientata primariamente lungo alcune linee generali di studio, ricerca e sviluppo proprie del Laboratorio di ricerca "SEDC":
(a) optimized automated regression testing
(b) systems of systems validation
(c) continuous and post-deployment testing
(d) critical infrastructure resilience
(e) efficient stochastic model-based analysis
Verso tali obiettivi, il progetto produrra':
o avanzamenti dello stato dell'arte e loro diffusione attraverso pubblicazioni a conferenze/workshops e riviste scientifiche nei settori pertinenti;
o analisi e definizione di approcci e metodi che possano avere un impatto sia in ambito industriale che accademico;
o soluzioni prototipali a supporto dell'analisi quantitativa e qualitativa delle metodologie proposte;
o promozione dei risultati conseguiti ed estensione degli stessi, anche in vista di potenziali impieghi in proposte progettuali sia di carattere nazionale che internazionale;
o identificazione di sinergie e integrazione delle metodologie e tools, sia internamente al laboratorio SEDC che in collaborazione con altri laboratori ISTI per accrescere impatto e e individuare nuovi spunti di innovazione.
Start date of activity
01/01/2021
Keywords
Software engineering, Dependability and Security, Software system validation
Last update: 04/08/2025