Questo progetto affronta problematiche fondamentali legate allo sviluppo e alla gestione di sistemi di IT open-ended costituiti da componenti eterogenee,

altamente parallele, distribuite massicciamente, aventi interazioni e comportamenti complessi e con obiettivi e processi decisionali autonomi. In questo progetto sarà

sviluppati un insieme coerente e integrato di linguaggi, metodi e strumenti per progettare e costruire sistemi in grado di operare in modalità open-ended, in ambienti

imprevedibili e capaci di adattarsi ai cambiamenti dell'ambiente o nei requisiti, e che si comportino in modo affidabile anche in presenza di errori e attacchi.

Il coinvolgimento di ISTI CNR in questo progetto riguarderà principalmente l'estensione quantitativa di modelli, linguaggi e logiche che permettono di considerare

probabilità, rates e quantità. Verrà quindi sviluppato un ambiente per la modellazione e analisi sia le caratteristiche qualitative che quelle quantitative dei sistemi

interagenti, per supportare la loro riconfigurazione dinamica e per la risoluzione di conflitti.

Inoltre si svilupperà una strategia per la modellazione e l'analisi della variabilità in relazione alla evoluzione e adattabilità dei sistemi in esame. Questo approccio sarà

basato su sistemi transizione modali(e loro varianti) e le relative estensioni di logiche temporali. Una semantica rigorosa della variabilità rispetto ai modelli

comportamentali in grado di supportare tecniche di progettazione e analisi a run-time saranno studiate. Questo contribuirà alla possibilità di individuare punti di

variabilità che possono essere attivati in fase di esecuzione al fine di aumentare l'adattabilità e ottimizzare il (ri) utilizzo delle risorse.