Intelligent Verification/Validation for Extended Reality Based Systems

Project Information

iv4XR

Grant agreement ID: 856716

DOI

10.3030/856716

Project closed

EC signature date 4 June 2019

Start date 1 October 2019

End date 31 December 2022

Funded under

INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Total cost

€ 3 725 337,50

EU contribution

€ 3 725 337,50

3 725 337,50

Coordinated by

INESC ID INSTITUTO DE ENGENHARIADE SISTEMAS E COMPUTADORES INVESTIGACAO E DESENVOLVIMENTO EM LISBOA
Portugal

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Final version of SETAs

Final SETAs - extending 2nd prototype with coverage generation (Task4.3) and progression model (Task 4.4).

1st prototype of SETAs

1st prototype of SETAs - extending the FTA with a base emotional model

Basic integration of the pilots

Basic integration of the pilots - iv4XR can be deployed to the pilots and support basic interactions

1st prototype of iv4XR Framework

1st prototype of iv4XR Framework - A prototype of the first version of the agent runtime system with the coupling interface and world object model.

2nd prototype of SETAs

2nd prototype of SETAs framework - extending 1st prototype with socio variability (Task 4.2).

2nd prototype of iv4XR Framework

2nd prototype of iv4XR Framework - An improved version of the framework.

Final version of functional test agents (FTAs)

Final version of FTAs, extending the 2nd prototype with multi-agent testing (Task 3.5).

Test Specification Language

Test Specification Language as described in Task 31

1st prototype of functional test agents (FTAs)

1st prototype of functional test agents (FTAs), implementing goal solving as described in Task 3.2.

Intermediate integration of the pilots

Intermediate integration of the pilots - iv4XR can control more advanced interactions on the pilots

Full integration of the pilots

Full integration of the pilots iv4XR can control all relevant interactions on the pilots

Final version of iv4XR Framework

The final version of iv4XR Framework - The final version of the framework after the complete integration of all kinds of test agents.

2nd prototype of functional test agents (FTAs)

2nd prototype of FTAs, extending the 1st prototype with countermeasures (Task 3.3) and coverage generation (Task 3.4).

3rd Dissemination & Exploitation Plan

3rd Dissemination Exploitation Plan the final version of the document that presents the plan to disseminate and exploit the results of the project in the future

1st project report

1st Project Report - report describing the project progress and eventual deviations from the plan for the first year.

Report describing SETAs

A report describing SETAs describing the final version of the SETAs

1st Dissemination & Exploitation Plan

1st Dissemination & Exploitation Plan - a document with the first version of the plans to disseminate the project's results and to exploit the results after the project's conclusion.

Final Project Report

Final Project Report report describing the project progress and eventual deviations from the plan for the third year

Report describing FTAs

A report describing FTAs a document with the specification and description of the final version of the functional test agents FTAs

Report describing iv4XR Framework

A report describing iv4XR Framework A document describing the final version of the framework

2nd project report

2nd Project Report report describing the project progress and eventual deviations from the plan for the second year

2nd Dissemination & Exploitation Plan

2nd Dissemination Exploitation Plan and improved version of the plans to disseminate and exploit the results updated according to the project development progress

Market Research Report

Market Research Report market research description conducted in Task 62

Project validation report

Project validation report a document describing the validation and evaluation results Task 54

Data Management Plan

Data Management Plan - describes the plan to manage the data collected in the project and to disseminate the project's results in public repositories. It describes explicit measures for compliance with European Union (EU) General Data Protection Regulation (GDPR) 2016/679.

Publications

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

Author(s): Fernando Pastor Ricós, Pekka Aho, Tanja Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, Issue 12476, 2020, Page(s) 543-557, ISBN 978-3-030-61361-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-61362-4_31

Agent-based Testing of Extended Reality Systems

Author(s): Rui Prada, Wishnu Prasetya, Fitsum Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes
Published in: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Page(s) 414-417, ISBN 978-1-7281-5778-8
Publisher: IEEE
DOI: 10.1109/icst46399.2020.00051

Searching for OpenAIRE data...

Deliverables

Publications

Download Download the content of the page