Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society — MIUR Project
The project deals with the issues related to the development and management of open-ended IT systems consisting of heterogeneous, highly parallel, massively distributed components with complex interactions and behaviours and with autonomy in terms of individual properties, objectives and decision-making. It aims at developping a coherent, integrated set of languages, methods and tools to build systems that can operate in open-ended, unpredictable environments while adapting to changing contexts or requirements, and that behave reliably and are able to cope with failures and attacks.
Consortium
- IMT Lucca (leader: Rocco De Nicola)
- ISTI-CNR Pisa (leader: Stefania Gnesi)
- Università di Bologna (leader: Davide Sangiorgi)
- Università di Camerino (leader: Flavio Corradini)
- Università di Firenze (leader: Michele Boreale)
- Università di Genova (leader: Elena Zucca)
- Università di Pisa (leader: Roberto Bruni)
- Università di Torino (leader: Mariangiola Dezani)
- Università di Venezia (leader: Michele Bugliesi)
Project Proposal
Work Packages
- WP1 - Autonomicity: Adaptivity and Self-Awareness (leader: Elena Zucca)
- WP2 - Negotiation: Transactions, Reversibility and Compensations (leader: Davide Sangiorgi)
- WP3 - Glocality: Reconciling Local and Global Views (leader: Roberto Bruni)
- WP4 - Performability: Evaluating for Deciding (leader: Marco Bernardo)
- WP5 - Trustworthiness: Correctness and Security (leader: Michele Boreale)
- WP6 - Validation: Case Studies (leader: Michele Bugliesi)
Meetings
- CINA Kick-off Meeting (Pisa, 4-6 Feb 2013)
- WP4 Meeting (Venice, 18 Sep 2013)
- ISTI-UNICAM Meeting (Camerino, 23-24 Sep 2013)
- 2nd General Meeting (Bologna, 18-20 Feb 2014)
- WP1 Meeting (Genova, 23-24 Jul 2014)
- 3rd General Meeting (Torino, 10-12 Feb 2015)
- Final General Meeting (Civitanova Marche, 19-21 Jan 2016)
Publications
- WP1 Publications
- WP2 Publications
- WP3 Publications
- WP4 Publications
- WP5 Publications
- WP6 Publications
Relazione Scientifica Finale
Relazione Scientifica Finale cina_final.pdf
For further information do not hesitate to contact the project coordinator:
Prof. Rocco De Nicola
IMT Institute for Advanced Studies Lucca
Piazza San Francesco 19, 55100 Lucca, Italy
rocco.denicola@imtlucca.it