Nel presente articolo viene presentata una metodologia per la modellazione e l’analisi di processi industriali, il cui scopo è quello di unificare tutti gli aspetti concettuali coinvolti nello sviluppo delle logiche di controllo. In particolare, l’approccio proposto integra i concetti delle tecniche di modellazione orientate agli oggetti, ampiamente note agli sviluppatori software, con i concetti fondamentali dei Bond Graph, un linguaggio di modellazione per sistemi fisici di natura eterogenea basato sulle interazioni energetiche fra componenti basilari. L’articolo mostra inoltre come i modelli ottenuti con il metodo presentato possano essere analizzati con metodi formali per la verifica di sistemi ibridi, cioè sistemi nei quali dinamiche tempo-continue interagiscono con dinamiche discrete e regole logiche.
Modelli orientati agli oggetti per sistemi con dinamiche ibride
BONFE', Marcello;FANTUZZI, Cesare;SIMANI, Silvio
2007
Abstract
Nel presente articolo viene presentata una metodologia per la modellazione e l’analisi di processi industriali, il cui scopo è quello di unificare tutti gli aspetti concettuali coinvolti nello sviluppo delle logiche di controllo. In particolare, l’approccio proposto integra i concetti delle tecniche di modellazione orientate agli oggetti, ampiamente note agli sviluppatori software, con i concetti fondamentali dei Bond Graph, un linguaggio di modellazione per sistemi fisici di natura eterogenea basato sulle interazioni energetiche fra componenti basilari. L’articolo mostra inoltre come i modelli ottenuti con il metodo presentato possano essere analizzati con metodi formali per la verifica di sistemi ibridi, cioè sistemi nei quali dinamiche tempo-continue interagiscono con dinamiche discrete e regole logiche.I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
