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 / Flammini F; Mazzocca N; Vittorini V. - In: MONDO DIGITALE. - ISSN 1720-898X. - STAMPA. - 9:(2009), pp. 11-21.
Modelli per l'analisi di sistemi critici
Flammini F;
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Flammini_p_11_21.pdf
Accesso chiuso
Licenza:
Tutti i diritti riservati
Dimensione
880.22 kB
Formato
Adobe PDF
|
880.22 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
