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
Report describing future communication and dissemination activities. Included as Annex in the PMP.
Gap analysis of existing modelling methodologies for the ATM domain and requirements elicitationStrengths and weaknesses of modelling approaches currently used in the ATM industry, and what would be required of a new/evolved language.
Roadmap for the exploitationOutput will provide an estimate of the economic and technical impact of solutions suggested by the PACAS project and a clear business and market exploitation path.
Gap analysis of existing reasoning techniques and requirements for the ATM participatory architectural designStrengths and weaknesses of state-of-art model verification and multi-objective reasoning techniques to support the ATM participatory architectural design.
First release of the Modelling proof-of-conceptAn initial wireframe of the views and modelling concepts for representing changes in ATM system architectures.
Modelling language meta modelA formalization of the modelling language for machine-based reasoning.
Gap analysis of existing work in large-scale systems designStrengths and weaknesses of exiting approaches with respect to ATM domain stakeholders’ needs.
Final Reporta report on the process, platform, to be used as documentation for users
Final release of the Modelling proof-of-conceptThe final set of views and modelling concepts for changes in ATM system architectures.
Communication and dissemination reportReport of the communication and dissemination activities carried out in the project, lessons learnt and future project sustainability.
Concept, Scenarios and Validation Plana report that will include results of task 5.1 and 5.2. It will present the PACAS concept, the reference scenarios. It will also describe the overall approach to validation, the identification of the project stakeholders, the definition of the validation objectives, and the planning of the validation activities to be executed in the project.
Publishable Final Project Reportfinal publishable summary covering the results and conclusions of the project.
Intermediate Communication and Dissemination reportReport about the communication and dissemination activities carried out in Y1 and re-planning of activities for next period.
Exploitation planReport describing future exploitation, multiplication and sustainability activities.
Validation Reporta final report that will integrate the different results of the different exercises and provide a final integrated validation of the whole project activities based on the validation plan defined at the beginning of the project. It will also provide recommendations to the future R&D activities within similar research topics.
the proof-of-concept will include a first version of the automated models verification techniques (T4.2) and the first version of the multi-objective reasoning techniques (T4.3).
Final release of the reasoning proof-of-conceptthe proof-of-concept will include the automated models verification techniques (T4.2) and the multi-objective reasoning techniques (T4.3).
First release of the platform and guidelinesthis version will allow initial experiments in WP5 in order to collect feedback for refining both process and platform. The guidelines to enact the process will be delivered within the platform
Second major release of the platform and guidelinesa revised version of D2.2
Publications
Auteurs:
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte
Publié dans:
2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017, Page(s) 255-265, ISBN 978-1-5090-5476-3
Éditeur:
IEEE
DOI:
10.1109/RCIS.2017.7956544
Auteurs:
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos
Publié dans:
2017, Page(s) 223-230
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-69904-2_18
Auteurs:
Fatma Başak Aydemir, Fabiano Dalpiaz
Publié dans:
Proceedings of the International Model-Driven Requirements Engineering Workshop, 2017
Éditeur:
IEEE
Auteurs:
Gjertsen E., Gjære E. A., Bartnes M. and Flores W.
Publié dans:
Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, 2016, ISBN 978-989-758-209-7
Éditeur:
Scitepress
Auteurs:
Roberta Cuel, Diego Ponte, Giusi Orabona
Publié dans:
STS Italia Conference, 2016
Éditeur:
STS Italia Conference
Auteurs:
Fabiano Dalpiaz, Ivor van der Schalk, Garm Lucassen
Publié dans:
2018, Page(s) 119-135
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-77243-1_8
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible