10º Workshop internazionale sui metodi paralleli e distribuiti nella certificazione, Snowbird, Stati Uniti
14 Luglio 2011 - 14 Luglio 2011
Stati Uniti
Il decimo workshop internazionale sui metodi paralleli e distribuiti nella certificazione si svolgerà il 14 luglio 2011 a Snowbird, negli Stati Uniti.
Con il crescere dell'importanza della verifica formale automatica nell'industria, cresce anche l'interesse per gli aspetti che incidono direttamente sulla sua applicabilità ai problemi del mondo reale. Una delle maggiori sfide tecniche riguarda la creazione di strumenti e tecniche che possono gestire grandi modelli di verifica industriale.
Al tempo stesso, nell'industria informatica avviene un importante cambiamento di paradigma. I produttori di processori stanno introducendo processori multi-core di nuova generazione più potenti. Inoltre, le risorse di calcolo basate sui cloud sono facilmente accessibili e i dispositivi di memoria esterna, come gli hard disk o i dischi a stato solido, sono sempre più grandi.
Questi sviluppi implicano che le tecniche e gli strumenti di verifica dovranno subire una simile profonda transizione tecnologica, per restare al passo con le nuove architetture hardware.
La conferenza affronterà la verifica e l'analisi di sistemi molto grandi e complessi, in particolare tramite l'uso di metodi e tecniche che dispiegano le attuali architetture hardware. Tra i temi specifici:
- tecniche per la verifica parallele e/o a memoria distribuita;
- algoritmi efficienti per la verifica;
- elaborazione di algoritmi in unità di accelerazione per la verifica;
- strumenti di verifica basati su piattaforme;
- casi studio industriali che impiegano metodi paralleli e distribuiti nelle tecniche di certificazione;
- applicazione di metodi paralleli e distribuiti nelle tecniche di certificazione dei sistemi biologici.Per ulteriori informazioni, visitare: http://www.pdmc.cz/PDMC11/(si apre in una nuova finestra)
Con il crescere dell'importanza della verifica formale automatica nell'industria, cresce anche l'interesse per gli aspetti che incidono direttamente sulla sua applicabilità ai problemi del mondo reale. Una delle maggiori sfide tecniche riguarda la creazione di strumenti e tecniche che possono gestire grandi modelli di verifica industriale.
Al tempo stesso, nell'industria informatica avviene un importante cambiamento di paradigma. I produttori di processori stanno introducendo processori multi-core di nuova generazione più potenti. Inoltre, le risorse di calcolo basate sui cloud sono facilmente accessibili e i dispositivi di memoria esterna, come gli hard disk o i dischi a stato solido, sono sempre più grandi.
Questi sviluppi implicano che le tecniche e gli strumenti di verifica dovranno subire una simile profonda transizione tecnologica, per restare al passo con le nuove architetture hardware.
La conferenza affronterà la verifica e l'analisi di sistemi molto grandi e complessi, in particolare tramite l'uso di metodi e tecniche che dispiegano le attuali architetture hardware. Tra i temi specifici:
- tecniche per la verifica parallele e/o a memoria distribuita;
- algoritmi efficienti per la verifica;
- elaborazione di algoritmi in unità di accelerazione per la verifica;
- strumenti di verifica basati su piattaforme;
- casi studio industriali che impiegano metodi paralleli e distribuiti nelle tecniche di certificazione;
- applicazione di metodi paralleli e distribuiti nelle tecniche di certificazione dei sistemi biologici.Per ulteriori informazioni, visitare: http://www.pdmc.cz/PDMC11/(si apre in una nuova finestra)