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
- Bertolino Antonia Dirigente di Ricerca
- Calabrò Antonello Ricercatore
- Chiaradonna Silvano Ricercatore
- D'Angelo Caterina Collaboratore Tecnico Enti di Ricerca
- Di Giandomenico Felicita Dirigente di Ricerca
- Lonetti Francesca Ricercatore
- Marchetti Eda Primo Ricercatore
- Paratore Maria Teresa Ricercatore
- Alibabaei Dermeni Najmeh Assegno di Ricerca
- De Angelis Andrea Assegno di Ricerca
- Waheed Tauheed Associato con Incarico di Collaborazione
Progetti
PE07_SERICS_Spoke1_SEDC-B53C22003950001
PE07 - SERICS - Security and Rights in the CyberSpace Spoke 1
PE07_SERICS_Spoke8_SEDC -B53C22003950001
PE07 - SERICS - Security and Rights in the CyberSpace Spoke 8
PE_RESTART_Spoke5_SEDC-B53C22003970001
RESTART_RESearch and innovation on future Telecommunications systems and networks, to make Italy more smART Spoke 5
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...