CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
Final SETAs - extending 2nd prototype with coverage generation (Task4.3) and progression model (Task 4.4).
1st prototype of SETAs (s’ouvre dans une nouvelle fenêtre)1st prototype of SETAs - extending the FTA with a base emotional model
Basic integration of the pilots (s’ouvre dans une nouvelle fenêtre)Basic integration of the pilots - iv4XR can be deployed to the pilots and support basic interactions
1st prototype of iv4XR Framework (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)2nd prototype of SETAs framework - extending 1st prototype with socio variability (Task 4.2).
2nd prototype of iv4XR Framework (s’ouvre dans une nouvelle fenêtre)2nd prototype of iv4XR Framework - An improved version of the framework.
Final version of functional test agents (FTAs) (s’ouvre dans une nouvelle fenêtre)Final version of FTAs, extending the 2nd prototype with multi-agent testing (Task 3.5).
Test Specification Language (s’ouvre dans une nouvelle fenêtre)Test Specification Language as described in Task 31
1st prototype of functional test agents (FTAs) (s’ouvre dans une nouvelle fenêtre)1st prototype of functional test agents (FTAs), implementing goal solving as described in Task 3.2.
Intermediate integration of the pilots (s’ouvre dans une nouvelle fenêtre)Intermediate integration of the pilots - iv4XR can control more advanced interactions on the pilots
Full integration of the pilots (s’ouvre dans une nouvelle fenêtre)Full integration of the pilots iv4XR can control all relevant interactions on the pilots
Final version of iv4XR Framework (s’ouvre dans une nouvelle fenêtre)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) (s’ouvre dans une nouvelle fenêtre)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 report (s’ouvre dans une nouvelle fenêtre)1st Project Report - report describing the project progress and eventual deviations from the plan for the first year.
Report describing SETAs (s’ouvre dans une nouvelle fenêtre)A report describing SETAs describing the final version of the SETAs
1st Dissemination & Exploitation Plan (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)Final Project Report report describing the project progress and eventual deviations from the plan for the third year
Report describing FTAs (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)A report describing iv4XR Framework A document describing the final version of the framework
2nd project report (s’ouvre dans une nouvelle fenêtre)2nd Project Report report describing the project progress and eventual deviations from the plan for the second year
2nd Dissemination & Exploitation Plan (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)Market Research Report market research description conducted in Task 62
Project validation report (s’ouvre dans une nouvelle fenêtre)Project 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
Publications
Auteurs:
Fernando Pastor Ricós, Pekka Aho, Tanja Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez
Publié dans:
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, Numéro 12476, 2020, Page(s) 543-557, ISBN 978-3-030-61361-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-61362-4_31
Auteurs:
Rui Prada, Wishnu Prasetya, Fitsum Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes
Publié dans:
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Page(s) 414-417, ISBN 978-1-7281-5778-8
Éditeur:
IEEE
DOI:
10.1109/icst46399.2020.00051
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible