Menu
Software Quality (SQ)

Mission

The objective of the SQ research stream is the conception, design, and development of engineering methods and tools to improve product / process quality and innovate systems with specific IT needs. Our research also aims at re-engineering systems (e.g., cyber-physical systems), identify / remove vulnerabilities to increase their safety, security and overall quality.

We are specialised in:

– Developing decision-making tools and collection, analysis, and visualisation of (big) data from software archives (Mining Software Repository) to support developers and project managers in the development and maintenance of software products, the improvement of development processes, and the overall maintenance of systems

– Monitoring and verification of systems during their real-time operations and development and deployment of software technologies for such activity

Relevance

The group and its activities are relevant for:

(a) From a research perspective, the research of the group aims at conceiving, designing and developing new models, methods, and software technologies to innovate software products / processes and IT systems

(b) From an educational perspective, the area of competence concerns programming languages and tools for software development, methods and practices for software process improvement and software verification, system analysis and mining software data

(c) From a technology transfer perspective, the research of the group provides practitioners with new frontiers, technologies, and good practices for software development and process improvement (like DevOps) that can answer to the real needs of IT companies.

Contact person:

Barbara Russo

Members:

Florian Hofer
Andrea Janes
Michael Meieregger
Romain Robbes
Barbara Russo

Key Technologies

Technologies for Software Development and Maintenance (e.g., programming languages and development platforms)
Technologies for Software and System Validation and Verification (e.g., technologies for monitoring, simulating, and verifying micro-services)
Methods, Practices, and Tools for Process Innovation (e.g., lean development)
Technologies of Software and System Analytics (e.g., Scientific software)

Applications:

Software and System Analytics
Software Process Improvement
Testing and Verification of Software and Systems
Productivity tools for software developers
Software Visualisation
Monitoring and maintenance of Cyber-Physical systems

Industry partners

Wuerth Phoenix, South Tyrol, Italy
ATACAMA Large Millimeter Array Telescope Observatory, Chile
Datatellers, South Tyrol
IDM, South Tyrol

Scientific partners

Antonia Bertolino Antonia, Consiglio Nazionale delle Ricerche, Italy
Gianpaolo Cugola, Politecnico di Milano, Italy
Davide Falessi, California Polytechnic State University, US
Paola Inverardi, Università dell’aquila, Italy
Juan Pablo Gil, ALMA Chile
Laura Valle, Faculty of Economics, Free University of Bozen-Bolzano
Leonardo Mariani, Università di Milano-Bicocca, Italy
Davide Rossi, Università Degli Studi di Bologna, Italy
Stefano Russo, Università degli Studi di Napoli “Federico II”, Italy
Eugenio Zimeo, Università del Sannio, Italy

Research Projects

IDEAS (Integrated Design and Evolution of Adaptive Systems) / PRIN / 08/03/2014 – 08/03/2017 / 72K
GAUSS (Governing Adaptive and Unplanned Systems of Systems) / PRIN 05/02/2017- 05/02/2020 / 57K
JMSE (Joint Master in Software Engineering) / TEMPUS IV / 15/10/2012 – 14/10/2016 / 54K
TCC_EU2020 (Trusted cloud computing for Europe 2020) / CRC interdisciplinary / 01/02/2015 – 31/01/2018 / 50K
DEBASS (DEtecting Behavioural Anomalies in the Operations of Large Software Systems) / CRC  2016 / 01/11/2016 – 31/10/2019 / 70K
Optimisation SW (Optimization of the execution of self-adaptive, self-healing, and self-recovery software applications for energy saving) / CRC 2012/ 01/09/2013- 31/08/2015 / 26K

SQ