Report describing future communication and dissemination activities. Included as Annex in the PMP.
Strengths and weaknesses of modelling approaches currently used in the ATM industry, and what would be required of a new/evolved language.
Output 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.
Strengths and weaknesses of state-of-art model verification and multi-objective reasoning techniques to support the ATM participatory architectural design.
An initial wireframe of the views and modelling concepts for representing changes in ATM system architectures.
A formalization of the modelling language for machine-based reasoning.
Strengths and weaknesses of exiting approaches with respect to ATM domain stakeholders’ needs.
a report on the process, platform, to be used as documentation for users
The final set of views and modelling concepts for changes in ATM system architectures.
Report of the communication and dissemination activities carried out in the project, lessons learnt and future project sustainability.
a 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.
final publishable summary covering the results and conclusions of the project.
Report about the communication and dissemination activities carried out in Y1 and re-planning of activities for next period.
Report describing future exploitation, multiplication and sustainability activities.
a 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).
the proof-of-concept will include the automated models verification techniques (T4.2) and the multi-objective reasoning techniques (T4.3).
this 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
a revised version of D2.2
Author(s): Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte
Published in: 2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017, Page(s) 255-265
Author(s): Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos
Published in: 2017, Page(s) 223-230
Author(s): Fatma Başak Aydemir, Fabiano Dalpiaz
Published in: Proceedings of the International Model-Driven Requirements Engineering Workshop, 2017
Author(s): Gjertsen E., Gjære E. A., Bartnes M. and Flores W.
Published in: Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, 2016
Author(s): Roberta Cuel, Diego Ponte, Giusi Orabona
Published in: STS Italia Conference, 2016
Author(s): Fabiano Dalpiaz, Ivor van der Schalk, Garm Lucassen
Published in: 2018, Page(s) 119-135