ISTI Day 2023-2024
14 Giugno

Software Engineering & Dependable Computing (SEDC)

Responsabile: Felicita Di Giandomenico

Home

Sito Web: http://labsedc.isti.cnr.it

L’eterogeneità, il dinamismo e la pervasività degli odierni sistemi software, pongono sfide straordinarie dal punto di vista della loro progettazione, analisi e validazione. Per affrontare queste sfide è necessario perseguire nuovi paradigmi di sviluppo, focalizzati su un approccio olistico nell’ingegnerizzazione dei requisiti funzionali e non-funzionali.

Il gruppo di ricerca di Software Engineering and Dependable Computing (SEDC), nato all’inizio del 2012 dall’unione dei due pre-esistenti laboratori ISTI di Software Engineering (SE) e Dependable Computing (DC), persegue i citati obiettivi da due diverse prospettive. La ricerca in SE investiga metodologie, tecniche e strumenti per predire e ridurre i costi dello sviluppo software, focalizzandosi soprattutto su qualità e affidabilità dalla definizione del processo di sviluppo, al testing, alla validazione del prodotto. La ricerca in DC investe nello studio di metodologie specialistiche, tecniche e strumenti per aiutare e affinare la progettazione e validazione di sistemi di calcolo previsionalmente affidabili, assicurando allo stesso tempo correttezza e rispetto di vincoli temporali, come richiesti da applicazioni critiche.

SEDC fonde queste sfide e relativi approcci in un gruppo di lavoro specializzato che affronta le tematiche di ingegneria dei sistemi software affidabili. Il gruppo di ricerca SEDC confida nel fatto che nuove metodologie integrate, radicate nella sinergia delle due discipline, sarà in grado di fronteggiare la continua evoluzione e crescita dei sistemi complessi e fortemente basati sulla componente software.

La missione del laboratorio SEDC è di sviluppare metodologie e prassi per l’ingegneria del software e dei sistemi critici. Le attività principali del gruppo SEDC sono focalizzate su temi di ricerca afferenti a due macro aree: i) Metodologie di progettazione e soluzioni, atte ad affrontare le sfide dei sistemi moderni, quali complessità e adattamento; e ii) Metodologie, tecniche e strumenti di Verifica e Validazione (V&V), per analizzare, valutare e validare proprietà funzionali e non-funzionali, come indicatori di affidabilità e QoS (Qualità di Servizio).

Persone

News

Top Cited Article 2022-2023

News

2024-04-29 h.07:52

Wiley congratulates Antonia Bertolino on her article "DevOpRET: Continuous reliability testing in DevOps" published at Journal of Software: Evolution and Process, recognized as a top cite...

AST 2023 Best Paper Awards

Achievements

2023-05-29 h.08:11

Link: https://conf.researchr.org/home/ast-2023#Awards The paper "Cross-coverage testing of functionally equivalent programs" by Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giand...

Facebook Research Award: premiato anche nel 2021 il Cnr-Isti

News

2021-10-06 h.12:11

Tra i cinque progetti vincitori di un Facebook Research Award 2021 che invitava soluzioni innovative per la simulazione su larga scala delle interazioni fra gli utenti è inclusa la propos...

Cnr-Isti tra i 10 vincitori del bando internazionale Facebook TAV 2019

News

2019-11-22

Il progetto dal titolo 'Static Prediction of Test Flakiness' (ovvero Predizione statica di fragilità dei casi di test) proposto da Breno Miranda (associato Istituto di scienza e tecnolo...

The "Most Influential Paper Award for Scientific Impact" assigned to the paper "WS-TAXI: A WSDL-based Testing Tool for Web Services" by Cesare Bartolini, Antonia Bertolino, Eda Marchetti, and Andrea Polini

Achievements

2019-04-29

ICST 2019, the 12th IEEE International Conference on Software Testing, Verification and Validation, has assigned the prestigious "Most Influential Paper Award for Scientific Impact" to...

Felicita Di Giandomenico Vice Chair of the IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance.

Achievements

2015-01-29

Felicita Di Giandomenico has been elected TCFT Vice Chair, starting from January 1, 2015. Felicita Di Giandomenico, in office as Vice Chair for two years, will take the position of Cha...