Risultati finali
Final SETAs - extending 2nd prototype with coverage generation (Task4.3) and progression model (Task 4.4).
1st prototype of SETAs1st prototype of SETAs - extending the FTA with a base emotional model
Basic integration of the pilotsBasic integration of the pilots - iv4XR can be deployed to the pilots and support basic interactions
1st prototype of iv4XR Framework1st 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 SETAs2nd prototype of SETAs framework - extending 1st prototype with socio variability (Task 4.2).
2nd prototype of iv4XR Framework2nd 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 LanguageTest 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 pilotsIntermediate integration of the pilots - iv4XR can control more advanced interactions on the pilots
Full integration of the pilotsFull integration of the pilots iv4XR can control all relevant interactions on the pilots
Final version of iv4XR FrameworkThe 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 the final version of the document that presents the plan to disseminate and exploit the results of the project in the future
1st project report1st Project Report - report describing the project progress and eventual deviations from the plan for the first year.
Report describing SETAsA report describing SETAs describing the final version of the SETAs
1st Dissemination & Exploitation Plan1st 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 ReportFinal Project Report report describing the project progress and eventual deviations from the plan for the third year
Report describing FTAsA report describing FTAs a document with the specification and description of the final version of the functional test agents FTAs
Report describing iv4XR FrameworkA report describing iv4XR Framework A document describing the final version of the framework
2nd project report2nd Project Report report describing the project progress and eventual deviations from the plan for the second year
2nd Dissemination & Exploitation Plan2nd Dissemination Exploitation Plan and improved version of the plans to disseminate and exploit the results updated according to the project development progress
Market Research ReportMarket Research Report market research description conducted in Task 62
Project validation reportProject validation report a document describing the validation and evaluation results Task 54
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.
Project website - the website is online
Pubblicazioni
Autori:
Fernando Pastor Ricós, Pekka Aho, Tanja Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez
Pubblicato 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, Numero 12476, 2020, Pagina/e 543-557, ISBN 978-3-030-61361-7
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-61362-4_31
Autori:
Rui Prada, Wishnu Prasetya, Fitsum Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes
Pubblicato in:
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Pagina/e 414-417, ISBN 978-1-7281-5778-8
Editore:
IEEE
DOI:
10.1109/icst46399.2020.00051
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile