From 3f1dd30ad2bb7eedb4c828f0f0babb8d36f2b509 Mon Sep 17 00:00:00 2001 From: Silvano Chiaradonna Date: Tue, 3 Oct 2023 20:11:38 +0200 Subject: [PATCH] describing the models --- .../CS Smart Grid 2.5-FDG-section3333.txt | 67 +++++++++++++------ 1 file changed, 48 insertions(+), 19 deletions(-) diff --git a/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt b/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt index 376d4e6..305abf5 100755 --- a/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt +++ b/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt @@ -6,43 +6,72 @@ di modellazione Möbius [DCC02] implementato dall'omonimo tool [CGK09] (i cui componenti principali sono mostrati in Figura xx1), che supporta una molteplicità di formalismi di modellazione e di risolutori, con capacità di interagire tra loro. -Il modello complessivo è ottenuto mediante uno o più sottomodelli -atomici che vengono convertiti (in maniera trasparente all'utente) al -livello di Abstract Functional Interface (AFI) [DCCDDDSW02,DKSC02], -dove possono essere composti gerarchicamente (come mostrato in Figure -xx1) utilizzando operatori, come Join e Rep [SM91], basati +Il modello complessivo dell'ambiente Möbius è ottenuto mediante uno o +più sottomodelli, atomici o a loro volta composti, +composti gerarchicamente (come mostrato in Figure +xx1) al livello di Abstract Functional Interface (AFI) [DCCDDDSW02,DKSC02] +utilizzando operatori, come Join e Rep [SM91], basati sulla condivisione di variabili di stato o azioni. Sul modello risultante vengono definite prima le variabili di -performance (che rappresentano le misure di interesse) ed infine gli +performance (che rappresentano le misure di interesse), basate su +strutture di guadagno, ed infine gli studi da valutare in base alla variabilità dei parametri del modello. +Numerosi risolutori, basati su simulazione o tecniche analitiche, +sono disponibili per valutare il modello. Tutti i formalismi e i risolutori supportati da Möbius sono basati sul linguaggio di programmazione orientato ad oggetti C++, consentendo l'utilizzo di codice C++ nei modelli. -Pertanto, lo strumento supporta strutture dati C++ esterne ed in -generale codice C++, -staticamente definiti al momento della compilazione e il collegamento +Pertanto, lo strumento supporta strutture dati C++ esterne +staticamente definite al momento della compilazione e il collegamento di librerie C++ esterne. Tra i formalismi per la definizione dei modelli atomici, è stato scelto quello delle Stochastic Activity Network (SAN) [SM01], una -estensione stocastica delle reti di Petri basata sulle primitive: -places, activities, input and output gates. In particolare, .... +estensione stocastica delle reti di Petri basata sulle seguenti +primitive grafiche: posti semplici o estesi (rappresentati da cerchi +blu e arancioni), attività temporizzate o istantanee +(barre verticali vuote o sottili, rispettivamente), porte di input +e di output (triangoli con la punta a sinistra o a destra). In +particolare, un posto semplice rappresenta il tipo "short" del +linguaggio C++, mentre un posto esteso representa tipi di dati di base +primitivi (come "short", "float", "double") e tipi "struct" o "array" +di tipi primitivi o di posti estesi. +Il tempo al completamento di +una attività può avere una qualunque delle numerose distribuzioni +supportate dal tool. Ad ogni attività può essere associato uno o più +case (piccoli cerchietti alla destra dell'attività) che rappresentano +l'incertezza probabilistica al completamento dell'attività. Infine i +gate permettono di specificare condizioni di abilitazione e regole di +completamento. + +Il modello composto è ottenuto seguendo l'approccio modulare e +composizionale DARep [CDM17,CDM21] che estende Möbius con un nuovo +operatore D, basato su script Perl, per la replicazione indicizzata di +uno o più modelli atomici "template". + + +The system under analysis is modeled and evalu- ated following the +DARep compositional and mod- ular approach, as proposed in [25] and +also detailed in [5], by means of the tool M ̈obius [19]. +formalization of the concept of named replication of template models, - An extensible tool for dependability, security, and perfor- mance evaluation of large and complex system models - for dependability and performance analysis +The DARep approach is based on: i) template stochastic models, each +one representing a different generic component; ii) dependency-aware +State Variables (SVs), representing part of the state of a template +model; iii) a topology, associated to each dependency-aware SV; iv) +two functions Index() and Deps() that extend the template model; v) +the compositional operator D. -Tra i formalismi disponibili in Mobius, è stato scelto quello delle Stochastic Activity -Network (SAN) [SM01], una estensione stocastica delle reti di Petri basata sulle -primitive places, activities, input and output gates. In particolare, .... +, o DARep +[CDM17,CDM21] - -Mobius fornisce un'infrastruttura per supportare una molteplicità di formalismi -di modellazione e risolutori, +DARep is based on a new operator that explicitly sup- ports 2) and 4) +and on the Join operator that supports 5). Very briefly, SANs are a variant of Stochastic Petri Nets (SPN) with a graphical