Workshop sulle garanzie per i sistemi autoadattativi, Szeged, Ungheria
5 Settembre 2011 - 5 Settembre 2011
Ungheria
Un workshop sulle garanzie per i sistemi autoadattativi si svolgerà dal 5 al 9 settembre 2011 a Szeged, in Ungheria.
Fino a poco tempo fa, riparare i guasti ed effettuare gli aggiornamenti sui sistemi software erano attività eseguite dagli esseri umani. La crescente complessità dei sistemi e l'incertezza che aumenta nei loro ambienti operativi hanno però creato una forte esigenza di sviluppare sistemi in grado di migliorare il proprio funzionamento, adattarsi ai cambiamenti e riprendersi dai guasti autonomamente.
Questa situazione ha portato ai recenti progressi nei sistemi autoadattativi, che sono in grado di riconfigurare la propria struttura e di modificare il proprio comportamento in fase di esecuzione per adattarsi ai cambiamenti ambientali. Malgrado questi progressi, un aspetto chiave dei sistemi autoadattativi che deve essere ancora affrontato in fondo sono le garanzie: ovvero, fornire prove che durante il funzionamento i sistemi soddisfano le loro proprietà funzionali ed extra funzionali dichiarate.
Lo sviluppo di sistemi autoadattativi a elevata sicurezza è difficile, poiché essi tendono a essere altamente dipendenti dal contesto, e questo fatto introduce un grado di incertezza elevato.
L'evento riunirà ricercatori per discutere aspetti dell'ingegneria del software, dei sistemi autoadattativi, tra cui metodi, architetture, linguaggi, algoritmi, tecniche e strumenti che possono essere usati per supportare le garanzie nello sviluppo dei sistemi autoadattativi.Per ulteriori informazioni, visitare: http://asas.dei.uc.pt/(si apre in una nuova finestra)
Fino a poco tempo fa, riparare i guasti ed effettuare gli aggiornamenti sui sistemi software erano attività eseguite dagli esseri umani. La crescente complessità dei sistemi e l'incertezza che aumenta nei loro ambienti operativi hanno però creato una forte esigenza di sviluppare sistemi in grado di migliorare il proprio funzionamento, adattarsi ai cambiamenti e riprendersi dai guasti autonomamente.
Questa situazione ha portato ai recenti progressi nei sistemi autoadattativi, che sono in grado di riconfigurare la propria struttura e di modificare il proprio comportamento in fase di esecuzione per adattarsi ai cambiamenti ambientali. Malgrado questi progressi, un aspetto chiave dei sistemi autoadattativi che deve essere ancora affrontato in fondo sono le garanzie: ovvero, fornire prove che durante il funzionamento i sistemi soddisfano le loro proprietà funzionali ed extra funzionali dichiarate.
Lo sviluppo di sistemi autoadattativi a elevata sicurezza è difficile, poiché essi tendono a essere altamente dipendenti dal contesto, e questo fatto introduce un grado di incertezza elevato.
L'evento riunirà ricercatori per discutere aspetti dell'ingegneria del software, dei sistemi autoadattativi, tra cui metodi, architetture, linguaggi, algoritmi, tecniche e strumenti che possono essere usati per supportare le garanzie nello sviluppo dei sistemi autoadattativi.Per ulteriori informazioni, visitare: http://asas.dei.uc.pt/(si apre in una nuova finestra)