L’impiego di elaboratori in contesti diversi e sempre più delicati richiede di prestare particolare attenzione alle problematiche di sicurezza e affidabilità. In questo articolo, dopo una breve introduzione ai concetti base della dependability dei sistemi di elaborazione, verrà presentata una panoramica sulle tecniche modellistiche più diffuse per l’analisi di sistemi critici. Basandosi su vantaggi e limitazioni dei diversi approcci descritti, sarà introdotto il tema della modellazione multi-formalismo, riferendosi ad alcune delle prospettive di ricerca più interessanti in tale ambito.
Modelli per l'analisi di sistemi critici / F., Flammini; Mazzocca, Nicola; Vittorini, Valeria. - In: MONDO DIGITALE. - ISSN 1720-898X. - STAMPA. - 3:(2009), pp. 11-21.
Modelli per l'analisi di sistemi critici
MAZZOCCA, NICOLA;VITTORINI, VALERIA
2009
Abstract
L’impiego di elaboratori in contesti diversi e sempre più delicati richiede di prestare particolare attenzione alle problematiche di sicurezza e affidabilità. In questo articolo, dopo una breve introduzione ai concetti base della dependability dei sistemi di elaborazione, verrà presentata una panoramica sulle tecniche modellistiche più diffuse per l’analisi di sistemi critici. Basandosi su vantaggi e limitazioni dei diversi approcci descritti, sarà introdotto il tema della modellazione multi-formalismo, riferendosi ad alcune delle prospettive di ricerca più interessanti in tale ambito.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.