CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Risultati finali
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
Pubblicazioni
Autori:
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte
Pubblicato in:
2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017, Pagina/e 255-265, ISBN 978-1-5090-5476-3
Editore:
IEEE
DOI:
10.1109/RCIS.2017.7956544
Autori:
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos
Pubblicato in:
2017, Pagina/e 223-230
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-69904-2_18
Autori:
Fatma Başak Aydemir, Fabiano Dalpiaz
Pubblicato in:
Proceedings of the International Model-Driven Requirements Engineering Workshop, 2017
Editore:
IEEE
Autori:
Gjertsen E., Gjære E. A., Bartnes M. and Flores W.
Pubblicato in:
Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, 2016, ISBN 978-989-758-209-7
Editore:
Scitepress
Autori:
Roberta Cuel, Diego Ponte, Giusi Orabona
Pubblicato in:
STS Italia Conference, 2016
Editore:
STS Italia Conference
Autori:
Fabiano Dalpiaz, Ivor van der Schalk, Garm Lucassen
Pubblicato in:
2018, Pagina/e 119-135
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-77243-1_8
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile