NPdCR (2022 - 2025)

The objective of the NPdCR (Nuova Pompa di Calore Residenziale) project is to deliver methodologies and tools to design, implement and verify controllers for innovative heat pumps for air conditioning systems. 

Funded by PAT, LP 6/1999 – Project proponent and coordinator INNOVA S.r.l., partners: FBK

iv4XR (2019 - 2022) EU H2020, Grant number: 856716

The current XR authoring, and development toolset poses no XR testing technology beyond rudimentary record and replay tools that only work for simple test scenarios. iv4XR project aims to build a novel verification and validation technology for XR systems based on techniques from AI to provide  learning and reasoning over a virtual world. With this technology XR developers can deploy powerful test agents to automatically explore and test the correct parameters of their virtual worlds as they iteratively develop and refine them.
The project also develops socio-emotional AI to enable test agents to conduct automated assessment of the quality of user experience and parameterization by different demographic and socio economic types, such as male, female, young, and elderly.
The project toolkit is publicly available at

Funded by European Union H2020, Grant number: 856716 -

ELEVATE (2019 - 2020)

The objective of the ELEVATE (E-Learning with Virtual Interactive Experience) project is to deliver a framework for the creation and management of interactive-video exercises for the market of distance learning in professional training. The intended user of this frameworks is the Instructional designer, who will get support for the design, implementation and deployment on LMS of interactive video exercises. The frameworks include an editor for the creation of interactive-video exercises, a virtual reality component for the generation of video clips, and an exercise management tool that supports e-learning analytics, and student assessment. The framework is complemented with a design methodology.

Funded by PAT, LP 6/1999 – Project proponent and coordinator Delta Informatica, partners: APSS Trento and FBK –

GAUSS (2017 - 2019)

GAUSS (Governing Adaptive and Unplanned Systems of Systems) is a PRIN project funded by MIUR. The GAUSS project will deliver the methodological enablers required to identify, integrate, and manage “emergent” Systems of Systems (eSoS). These require dynamic and opportunistic engineering due to their intrinsically variable nature tied to their scale and heterogeneity. GAUSS will release a set of integrated technologies to address these engineering problems of eSoS at runtime, when specific execution contexts may invalidate design-time solutions.

Funded by Italian MUR -

SUPERSEDE (2015 - 2018) EU H2020, Grant number: 644018

SUPERSEDE (SUpporting evolution and adaptation of PERsonalized Software by Exploiting contextual Data and End-user feedback) provides a new solution framework for software evolution and adaptation for feedback driven and data-intensive applications with the ultimate purpose of improving users’ quality of experience. Decisions on software evolution and runtime adaptation will be made upon analysis of end-user feedback and large amount of data monitored from the context. An integrated platform will articulate the methods and tools produced in the project.

Funded by European Union H2020, Grant number: 644018 -

RISCOSS (2012 - 2015) EU FP7, Grant number: 318249

The RISCOSS (Managing Risk and Costs in Open Source Software Adoption) project will offer novel risk identification, management and mitigation tools and methods for community-based and industry-supported OSS development, composition and life cycle management to individually, collectively and/or collaboratively manage OSS adoption risks. Using advanced software engineering techniques, RISCOSS will deliver a risk-aware technical decision-making management platform integrated in a business-oriented decision-making framework, which together support placing technical OSS adoption decisions into organizational, business strategy as well as the broader OSS community context

Funded by European Union FP7, Grant number: 318249 -

ACUBE (2008 - 2011)

The ACUBE project concerned the application of Ambient Assisted Living methodologies and techniques in the healthcare institutions. The project aims to create a support system for the operators of assistance centers for the elderly and cognitively disabled. ACube monitors the environment, according to the paradigm of smart-environments, to detect anomalous situations or behaviors and suggest appropriate actions to the operator in real-time in order to guarantee the safety and comfort of patients and operators.

Founded by the Autonomous Province of Trento under the grant "Grandi Progetti 2006" -


The EURAILCHECK project concerned the formal analysis and validation of the European Railway Signaling System Specifications. The European Train Control System (ETCS) is a control system for the interoperability of the railways across Europe. The EuRailCheck project was promoted by the European Railway Agency for the development of a methodology and tools for the formalization and validation of the ETCS specifications. Within the project, we achieved three main results. First, we developed a methodology for the formalization and validation of the ETCS specifications. The methodology is based on a three-phases approach that goes from the informal analysis of the requirements, to their formalization and validation. Second, we developed a set of support tools, covering the various phases of the methodology. Third, we formalized a realistic subset of the specification in an industrial setting. The results of the project were positively evaluated by domain experts from different manufacturing and railway companies.

Founded by the European Railway Agency under the service contract ERA/2007/ERTMS/02 -