Software

Research activity in analysis, testing and validation of software systems, formal methods for modeling complex software-intensive systems; fault tolerant systems, quantitative evaluation of the dependability and quality of service; evaluation and certification of ICT products and processes.

The most significant results have been methods, techniques and tools for assessing and enhancing the quality of software-intensive systems and the related development processes. Notably, the research has addressed the challenges posed by the emerging paradigms of software development, like component-based software, service-oriented computing, model-driven development and evaluation. Novel approaches proposed include formal specification and verification techniques, modelling and analysis of inter-dependences in critical infrastructures, as well as testing, monitoring, and certification.