CINA

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

Project Proposal

Mod A (ITA - ENG)

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

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