Intelligent Verification/Validation for Extended Reality Based Systems

iv4XR Consortium

This project will be carried out by a team consisting of companies (large and SMEs) representing the XR industry, universities, and  research institutes. The team combines decades of expertise in advanced interactive systems, AI, and software engineering.


Researchers at INESC-ID are in their vast majority university staff and graduate students. INESC-ID initiated activity in the year 2000 as a result of a reorganization of INESC. The principal objectives of INESC-ID are to conduct cutting-edge research in the fields of information technology and to transfer
technology to the industry by means of R&D contracts and training courses. Innovation and Technological Transfer has always been considered as a key field of INESC-ID’s actions. It is well known for its importance in creating and increasing the value of the Portuguese SME’s, with which the institution
maintains close links through various contracts of technical and specialized assistance. In fact, INESC-ID combines an entrepreneurial management with academic creativity which results in a special institutional flexibility. INESC-ID has about 225 researchers. Of these, at least ninety are senior researchers holding a PhD degree or equivalent, and the remaining are preparing their PhD or Masters dissertations. Since IST is the main owner of INESC-ID, the majority of researchers also have teaching positions at IST. On the whole, INESC-ID has about 150 graduate students, who receive grants from the Portuguese Foundation of Science and Technology (FCT), or are supported by research contracts.



UU is the largest university of The Netherlands. In most rankings the university also takes a prominent place, being with the top universities of Europe (top 15) and the world (top 50). Almost 375 years of tradition bring stability to the university, while constantly new areas of research are explored and models
to foster cooperation between the university and industry are actively supported. The department of Information and Computing Sciences (ICS) is one of the most successful ICT departments in The Netherlands. It attracts by far the most students of all non-technical universities. The ICS department has a
leading role in research in game and media technology. Its research topics include technologies for highly effective interactive experience, environments for entertainment, simulation, and training, motions in virtual worlds, multimedia analysis, and interaction technology. The ICS department is also considered the center of agent technology research in the Netherlands. It has a large expertise in both the theoretical as well as the practical aspects of agent technology having developed logics for the verification of agent systems, developed agent platforms and languages and also applied agent technology in many different areas. The ICS department also maintains research focus in the area of software technology, and is well known for its contribution in advanced software tools, functional programming, program analysis, and software testing.



Fondazione Bruno Kessler (FBK) is a non-profit research foundation established by the Autonomous Province of Trento and inheriting the activities of Istituto Trentino di Cultura (ITC), which was based on the ideas of Bruno Kessler, a long-time member of the local government and founder of the
University of Trento. FBK operates as a private legal entity. It receives strong financial support from the province through yearly budget agreements. FBK is situated in Trentino, a province in northern Italy governed under a special autonomy statute. With more than 350 researchers, FBK conducts studies in the
areas of Information Technology, Materials and Microsystems, Italo-Germanic studies, and Religious sciences. The Center for Information and Communication Technology-IRST of FBK focuses its research activities on three research areas of computer science, which are coherent with each other and highly synergic: Artificial Intelligence, Cybersecurity, and Data Science. The research activities are geared towards maximizing impact in the areas of Health and Wellbeing, Smart cities and communities, as well as Smart digital industry. Within FBK-IRST, the Software Engineering (SE) Research Unit is part of the Smart Digital Industries high impact initiative carrying out collaborative research and has gained substantial competences and excellent scientific reputation in the areas of: (1) Requirements engineering (Goal-Oriented methodologies, requirements prioritization, requirements analysis); (2) Code analysis (reverse engineering, program transformations) and testing (test case generation, Web testing, test prioritization). In relation to the project, FBK-IRST mainly provides expertise in: 1) search-based test generation for achieving various test objectives; 2) methods and techniques for goal-oriented reasoning; 3) formal methods for verification of program behavior and planning.




(UPV) is currently considered one of the leading universities in Spain, being the single Science and Technology University in Spain to feature in all worlds’ university rankings. Founded in 1971, it comprises nearly 30,000 students, over 2,500 academics and researchers, and 17 university research centres of excellence driven to solve the challenges of the European citizens. UPV is among the Spanish Universities with the highest revenue from competitive research (R&D contracts, consulting and service delivery, spin-off) and a national leader in patent exploitation. UPV has participated in 129 FP7 actions and led 20 of them. In H2020, UPV is currently participating in more than 80 signed actions and leading 11 of them  February 2018), being also a partner in several major partnering initiatives (JTIs, PPPs, KICs…).



Gameware has historic expertise in the the development of Artificial Life and mixed reality interactive entertainment products and 3D-AR enabling technologies, including a BAFTA nomination for the production of the CBBC #1 mixed reality game show BAMZOOKi Most recently, GW has applied its computer games knowledge to traditional industries where digital interactive expertise can deliver major opportunity. In 2016, Building Information Management (BIM) became a legal requirement in the UK. GW was appointed by Mabey Construction to deliver the cloud server infrastructure to enable sensor monitoring of construction sites to be accessed via smart devices and visualised in 3D. The resulting Mabey Livesite - ttp://sensor.mabeyhire.co.uk/Public/Home effectively connects site engineers via any smart device to the visualised data stream from sensors on Bridges, Tunnels and major building and monitoring projects across the UK. GW have also developed a photo-realistic real-time avatar technology which is an extension of their development within the RAGE H2020 project. The avatar technology supports the visualisation of human/electronic interaction for training or entertainment purposes thereby enabling effective Internet of Things/digital user engagement for any sensor based equipment. See:



Our mission is to develop general artificial intelligence - as fast as possible - to help humanity and understand the universe. GoodAI started in January 2014, when CEO/CTO Marek Rosa funded the project with $10M USD. The private R&D company was publicly announced in July 2015 and has now an international team of 20 research scientists and engineers based in Prague, Czech Republic.



Thales is a global technology leader for the Defense & Security and the Aerospace & Transportation markets. With its 22,500 engineers and researchers, Thales has a unique capability to design, develop and deploy equipment, systems and services that meet the most complex security requirements.
Thales has an exceptional international footprint, with operations around the world working with customers as local partners. Advanced pre-product research focuses on new technologies, new system and product concepts, and new engineering tools and methods for critical information systems.
Thales SIX GTS France (TSG) revenues exceed 1 billion Euro with 6.900 employees. TSG addresses every activity related to telecommunications: wireless communications, IP networks, satellite communication, network administration and security. TSG has a long experience in very large Information systems and secure infrastructures for systems and networks, including Internet and Intranets. TSG also develops a full range of telecommunication and cloud platforms and components, a range of high performance security products and has a deep skill in secure telecommunications and information systems for public and governmental organizations, or emergency services.



Thales is a global technology leader for the Defense & Security and the Aerospace & Transportation markets. In 2014, the company generated revenues of €13 billion with 61,000 employees in over 56 countries. With its 22,500 engineers and researchers, Thales has a unique capability to design, develop and deploy equipment, systems and services that meet the most complex security requirements. Thales has an exceptional international footprint, with operations around the world working with customers and local partners.  Covering the range from training equipment to turnkey training services, Thales AVS France (THA-AVS) leads the way in both military and civil training applications. Our civil portfolio spans helicopters, driving, security, transport, and power plants applications. Our military portfolio spans jet fighters, transport and refueling aircraft, helicopters, land vehicles and naval platforms with associated weaponry and systems embedded within their increasingly complex operational environment. With worldwide operations and delivery sites in France, UK, Australia, Germany, and the United States, Thales AVS France stays close to our Customers and leverage on this local knowledge to deliver solutions that meet their operational and training needs.



Umeå University has more than 30000 students and 4000 employees and is the largest university in the northern half of Sweden. The university offers courses and study programmes and performs world leading research in a wide range of subjects. UMU has successfully participated in a wide array of 6th and 7th Framework Programme projects, as well as Horizon 2020 research projects. The department of Computing Science has 110 employees with a background from more than 20 countries. We conduct research on a broad range of topics in the area of Computing Science and offer courses and study programs at bachelor, master and doctoral level. Each year, over 2000 students is taking at least one course at our department.