Software Engineering & Dependable Computing (SEDC)

Head: Felicita Di Giandomenico


Web Site:

The dynamism, heterogeneity, and pervasiveness of sophisticated computing systems pose unprecedented challenges to their design, analysis, and validation. To address such challenges, new development paradigms and in particular a holistic approach to the engineering of the required functional and non-functional properties should be pursued.

The Software Engineering and Dependable Computing (SEDC) research group, originated at the beginning of the year 2012 from the two previous ISTI laboratories of Software Engineering (SE) and Dependable Computing (DC), pursues such goal from two different perspectives. Research in SE investigates methods, techniques, and tools for predicting and reducing software development costs, focusing especially on quality and reliability from process definition, to testing, to validation of software products. Research in DC calls for specialized methodologies, techniques and tools helping in designing and validating predictably dependable computing systems, while simultaneously assuring correctness and timeliness of critical applications.

SEDC will fuse the above challenges and approaches into a powerful task force addressing the engineering of dependable software systems. The SEDC group trusts that novel integrated methodologies rooted on the synergy between the two disciplines will be able to face the continuous evolution and rising criticality of software-intensive complex systems.

The mission of the SEDC lab is to develop methodologies and practices for Engineering SW and critical systems. The activities of SEDC are focused on research topics enclosed in two macro areas: i) Design Methodologies and Solutions, suitable to address modern system challenges such as complexity and adaptation; and ii) V&V Methodologies, Techniques, and Tools, to analyse, assess and validate functional and non-functional properties such as QoS and dependability indicators.