CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society

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.

• 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)

Mod A (ITA - ENG)

• 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)

• 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)

* Publications

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