{"id":41257,"date":"2020-02-06T20:43:44","date_gmt":"2020-02-06T17:43:44","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya"},"modified":"2020-02-06T20:43:44","modified_gmt":"2020-02-06T17:43:44","slug":"avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Verifica automatica dei requisiti del progetto durante la modellazione dinamica","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Continuando il tema <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u00abQuali sono le vostre prove?\u00bb<\/a><\/noindex>, esaminiamo il problema della modellazione matematica da un'altra prospettiva. Dopo aver verificato che il modello corrisponde alla dura realt\u00e0 della vita, possiamo rispondere alla domanda principale: \u00abcosa abbiamo realmente qui?\u00bb. Quando creiamo un modello di un oggetto tecnico, di solito vogliamo assicurarci che questo oggetto soddisfi le nostre aspettative. Per questo motivo vengono eseguiti calcoli dinamici dei processi e i risultati vengono confrontati con i requisiti. Questo \u00e8 il gemello digitale, il prototipo virtuale e altre innovazioni alla moda, che risolvono il compito durante la fase di progettazione di garantirci ci\u00f2 che avevamo pianificato.<\/p>\n<p><\/p>\n<p>Come possiamo assicurarci rapidamente che il nostro sistema sia esattamente quello che stiamo progettando, voler\u00e0 o gallegger\u00e0, la nostra costruzione? E se vola, a che altezza? E se galleggia, a quale profondit\u00e0?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/e26c4b7db4ee148c73586124dacb6025.jpg\" style=\"display:block;margin: 0 auto;\" \/><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>In questo articolo si esamina l'automazione della verifica dei requisiti tecnici di un edificio durante la creazione di modelli dinamici di sistemi tecnici. Come esempio, consideriamo un elemento del capitolato tecnico per il sistema di raffreddamento ad aria di un velivolo.<\/p>\n<p><\/p>\n<p>Esaminiamo quei requisiti che possono essere espressi numericamente e verificati matematicamente sulla base di un modello di calcolo specifico. \u00c8 evidente che questa \u00e8 solo una parte dei requisiti generali per qualsiasi sistema tecnico, ma \u00e8 proprio su di essi che dedichiamo tempo, nervi e denaro per la creazione di modelli dinamici dell'oggetto.<\/p>\n<p><\/p>\n<p>Nella descrizione dei requisiti tecnici in forma di documento, \u00e8 possibile distinguere diversi tipi di requisiti, ciascuno dei quali richiede approcci diversi per la formazione di un controllo automatico del loro rispetto.<\/p>\n<p><\/p>\n<p>Ad esempio, consideriamo un piccolo ma reale insieme di requisiti:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperatura dell'aria atmosferica all'ingresso del SVO:<br \/>\nin sosta \u2212 da -35 a 35 \u00baC,<br \/>\nin volo \u2212 da -35 a 39 \u00baC.<\/li>\n<li> Pressione atmosferica statica in volo \u2212 da 700 a 1013 GPa (da 526 a 760 mmHg).<\/li>\n<li> La pressione atmosferica totale all'ingresso del sistema di raffreddamento in volo varia da 754 a 1200 hPa (da 566 a 1050 mm di Hg).<\/li>\n<li> Temperatura dell'aria di raffreddamento:<br \/>\na terra - non oltre 27 \u00baC, per i blocchi tecnici - non oltre 29 \u00baC,<br \/>\nin volo - non oltre 25 \u00baC, per i blocchi tecnici - non oltre 27 \u00baC.<\/li>\n<li> Flusso dell'aria di raffreddamento:<br \/>\na terra - non meno di 708 kg\/h,<br \/>\nin volo - non meno di 660 kg\/h.<\/li>\n<li> Temperatura dell'aria nei compartimenti strumentali - non oltre 60 \u00baC.<\/li>\n<li> Quantit\u00e0 di umidit\u00e0 fine libera nell'aria di raffreddamento - non oltre 2 g\/kg di aria secca.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Anche in un insieme cos\u00ec ristretto di requisiti si possono evidenziare almeno due categorie che devono essere trattate diversamente nel sistema:<\/p>\n<p><\/p>\n<ul>\n<li> requisiti delle condizioni operative del sistema (pp. 1-3);<\/li>\n<li> requisiti parametrali del sistema (pp. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Requisiti delle condizioni operative del sistema<\/i><br \/>\nLe condizioni esterne per il sistema in fase di sviluppo possono essere definite come condizioni al contorno oppure come risultato del funzionamento del sistema generale.<br \/>\nNella modellazione dinamica \u00e8 necessario assicurarsi che le modalit\u00e0 operative definite siano coperte dal processo di modellazione.<\/p>\n<p><\/p>\n<p><i>Requisiti parametrali del sistema <\/i><br \/>\nQuesti requisiti rappresentano i parametri forniti dal sistema stesso. Durante il processo di modellazione, possiamo ottenere questi parametri come risultati di calcolo e verificare che i requisiti siano soddisfatti in ciascun specifico calcolo.<\/p>\n<p><\/p>\n<h3>Identificazione e codifica dei requisiti<\/h3>\n<p><\/p>\n<p>Per facilitare il lavoro con i requisiti, gli standard esistenti raccomandano di assegnare un identificatore a ciascun requisito. \u00c8 molto consigliabile utilizzare un sistema di codifica unificato per l'assegnazione degli identificatori. <\/p>\n<p><\/p>\n<p>Il codice di un requisito pu\u00f2 essere semplicemente un numero che riflette il numero sequenziale del requisito, oppure pu\u00f2 includere il codice del tipo di requisito, il codice del sistema o dell'aggregato a cui si applica, il codice del parametro, il codice della posizione e molto altro che un ingegnere possa immaginare. (puoi vedere un esempio di codifica nell'articolo)<\/p>\n<p><\/p>\n<p>La Tabella 1 fornisce un semplice esempio di codifica dei requisiti.<\/p>\n<p><\/p>\n<ol>\n<li> codice sorgente dei requisiti R - requisiti di specifiche tecniche; <\/li>\n<li> codice tipo di requisiti E - requisiti - parametri dell'ambiente esterno, o condizioni operative<br \/>\n S - requisiti forniti dal sistema;<\/li>\n<li> codice di stato dell'aereo 0 \u2013 qualsiasi, G \u2013 a terra, F \u2013 in volo;<\/li>\n<li> codice tipo parametri fisici T \u2013 temperatura, P \u2013 pressione, G \u2013 consumo, umidit\u00e0 H;<\/li>\n<li> numero progressivo della richiesta.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nRequisiti<\/b><\/td>\n<td><b>Descrizione<\/b><\/td>\n<td><b>Caratteristica<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Temperatura dell'aria atmosferica all'ingresso del SVO: a terra \u2014 da -35\u00baC a 35\u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Temperatura dell'aria atmosferica all'ingresso del SVO: in volo \u2014 da -35\u00baC a 39\u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Pressione statica dell'aria atmosferica in volo da 700 a 1013 hPa (da 526 a 760 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Pressione totale dell'aria all'ingresso del condotto SVO in volo da 754 a 1200 hPa (da 566 a 1050 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Temperatura dell'aria di raffreddamento: a terra non superiore a 27\u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatura dell'aria di raffreddamento: a terra, per i blocchi tecnici non superiore a 29\u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatura dell'aria di raffreddamento in volo non superiore a 25\u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatura dell'aria di raffreddamento: in volo, per i blocchi tecnici non superiore a 27\u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Consumo dell'aria di raffreddamento: a terra non inferiore a 708 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Consumo dell'aria di raffreddamento: in volo non inferiore a 660 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatura dell'aria nei compartimenti strumentali non superiore a 60\u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>La quantit\u00e0 di umidit\u00e0 fine libera nell'aria di raffreddamento non deve superare i 2 g\/kg di aria secca.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Progetto del sistema di verifica dei requisiti.<\/h3>\n<p><\/p>\n<p>Per ogni requisito di calcolo esiste un algoritmo di valutazione della conformit\u00e0 tra i parametri calcolati e quelli specificati nel requisito. Fondamentalmente, ogni sistema di gestione include sempre algoritmi di verifica dei requisiti come default. E anche ogni regolatore li contiene. Se la temperatura supera i limiti, si attiva l'aria condizionata. Pertanto, il primo passo di qualsiasi regolazione consiste nella verifica della conformit\u00e0 dei parametri al requisito.<\/p>\n<p><\/p>\n<p>E poich\u00e9 la verifica \u00e8 un algoritmo, \u00e8 possibile utilizzare gli stessi mezzi e strumenti che utilizziamo per creare programmi di gestione. Ad esempio, l'ambiente SimInTech consente di creare pacchetti di progetto che contengono diverse parti del modello, realizzate come progetti separati (modello dell'oggetto, modello del sistema di gestione, modello dell'ambiente, ecc.).<\/p>\n<p><\/p>\n<p>Il progetto di verifica dei requisiti in questo caso diventa un progetto di algoritmi e si collega al pacchetto del modello. In modalit\u00e0 di modellazione dinamica, esegue un'analisi di conformit\u00e0 ai requisiti del documento tecnico.<\/p>\n<p><\/p>\n<p>Un possibile esempio di presentazione del progetto del sistema \u00e8 mostrato nella figura 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 1. Esempio di presentazione del progetto di verifica. <\/i><\/p>\n<p><\/p>\n<p>Analogamente agli algoritmi di gestione, i requisiti possono essere presentati come un insieme di fogli. Per facilitare il lavoro con gli algoritmi in ambienti di modellazione strutturale come SimInTech, Simulink, AmeSim, si utilizzano le funzionalit\u00e0 di creazione di strutture multilivello sotto forma di sottomodel. Questa organizzazione consente di raggruppare diversi requisiti in set per semplificare il lavoro con l'insieme di requisiti, come avviene per gli algoritmi di gestione (cfr. figura 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 2. Struttura gerarchica del modello di verifica dei requisiti. <\/i><\/p>\n<p><\/p>\n<p>Ad esempio, nel caso in esame sono state individuate due categorie: requisiti per l'ambiente e requisiti specifici per il sistema. Pertanto, si utilizza una struttura dati a due livelli: due gruppi, ognuno dei quali \u00e8 un foglio dell'algoritmo.<\/p>\n<p><\/p>\n<p>Per collegare i dati al modello, viene utilizzato uno schema standard per la formazione di un database di segnali, in cui sono memorizzati i dati per lo scambio tra le parti del progetto.<\/p>\n<p><\/p>\n<p>Durante la creazione e il test del software, in questo database vengono inseriti i valori dei sensori (analoghi ai sensori reali del sistema), che sono utilizzati dal sistema di gestione.<br \/>\n Per il progetto di test, in questo stesso database possono essere salvati qualsiasi parametro calcolato nel modello dinamico e utilizzato per verificare il rispetto dei requisiti.<\/p>\n<p>\nIl modello dinamico in questo caso pu\u00f2 essere realizzato in qualsiasi sistema di modellazione matematica o anche come programma eseguibile. L'unico requisito \u00e8 la presenza di interfacce software per l'output dei dati di modellazione all'ambiente esterno.<\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 3. Collegamento del progetto di verifica al modello complesso. <\/i><\/p>\n<p><\/p>\n<p>Un esempio del foglio di verifica dei requisiti \u00e8 mostrato in figura 4. Dal punto di vista dello sviluppatore, rappresenta uno schema di calcolo ordinario, in cui viene visualizzato graficamente l'algoritmo di verifica dei requisiti.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 4. Foglio di verifica dei requisiti. <\/i><\/p>\n<p><\/p>\n<p>Le principali parti della lista di controllo sono descritte nella figura 5. L'algoritmo di verifica viene formato in modo analogo agli schemi di calcolo degli algoritmi di gestione. Nella parte destra si trova il blocco di lettura dei segnali dal database. In questo blocco avviene l'accesso al database dei segnali durante la simulazione.<\/p>\n<p><\/p>\n<p>I segnali ottenuti vengono analizzati per calcolare le condizioni di verifica dei requisiti. Nel caso in esame, viene eseguita un'analisi dell'altezza per determinare la posizione dell'aereo (se si trova in parcheggio o in volo). A questo scopo possono essere utilizzati anche altri segnali e parametri calcolati del modello.<\/p>\n<p><\/p>\n<p>Le condizioni di verifica e i parametri verificati vengono trasferiti nei blocchi di verifica standard, dove avviene l'analisi dei dati di questi parametri per verificare la conformit\u00e0 ai requisiti stabiliti. I risultati vengono salvati nel database dei segnali in modo che possano essere utilizzati per la generazione automatica della lista di controllo.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 5. Struttura della lista di verifica dei requisiti.<\/i><\/p>\n<p><\/p>\n<p>Non \u00e8 necessario utilizzare come parametri controllati i segnali contenuti nel database, gestiti da parametri calcolati durante il processo di modellazione. Nulla vieta di effettuare calcoli aggiuntivi all'interno del progetto dei requisiti, proprio come calcoliamo le condizioni di verifica.<\/p>\n<p><\/p>\n<p>Ad esempio, un requisito del genere:<\/p>\n<p><\/p>\n<p> <i>Il numero di attivazioni del sistema di correzione durante il volo verso l'obiettivo non dovrebbe superare 5, e il tempo totale di funzionamento del sistema di correzione non dovrebbe superare i 30 secondi.<\/i><\/p>\n<p><\/p>\n<p>In questo caso, nello schema di calcolo del progetto dei requisiti viene aggiunto un algoritmo per contare il numero di attivazioni e il tempo totale di funzionamento.<\/p>\n<p><\/p>\n<h3>Modulo standard per la verifica dei requisiti.<\/h3>\n<p><\/p>\n<p>Ogni modulo standard per la verifica dei requisiti \u00e8 progettato per calcolare il soddisfacimento di un requisito di un certo tipo. Ad esempio, nei requisiti ambientali \u00e8 presente un intervallo di temperature ambientali di lavoro sia durante la sosta che in volo. Questo modulo deve ricevere come parametro la temperatura dell'aria nel modello e determinare se questo valore rientra nell'intervallo di temperature stabilito.\n<\/p>\n<p>Il blocco contiene due porte di ingresso, param e condition.<\/p>\n<p><\/p>\n<p>La prima porta riceve il parametro da verificare. In questo caso, \u00e8 'Temperatura esterna'.<\/p>\n<p><\/p>\n<p>Alla seconda porta viene fornita una variabile boolean \u2013 la condizione per l'esecuzione del controllo.<\/p>\n<p><\/p>\n<p>Se sulla seconda porta arriva TRUE (1), il blocco esegue il calcolo della verifica del requisito.<\/p>\n<p><\/p>\n<p>Se sulla seconda porta arriva FALSE (0), le condizioni di verifica non vengono eseguite. Questo \u00e8 necessario per poter considerare le condizioni di calcolo. Nel nostro caso, questo ingresso viene utilizzato per attivare o disattivare il controllo a seconda dello stato del modello. Se l'UA \u00e8 a terra durante la simulazione, i requisiti relativi al volo non vengono verificati, e viceversa \u2013 se l'UA \u00e8 in volo, non vengono verificati i requisiti relativi all'operazione a terra.<\/p>\n<p><\/p>\n<p>Questo ingresso pu\u00f2 essere utilizzato anche durante la configurazione del modello, ad esempio nella fase iniziale del calcolo. Quando il modello viene portato nelle condizioni richieste, i blocchi di verifica sono disattivati, ma non appena il sistema raggiunge la modalit\u00e0 di funzionamento richiesta, i blocchi di verifica vengono attivati.<\/p>\n<p><\/p>\n<p>Come parametri di questo blocco vengono specificati:<\/p>\n<p><\/p>\n<ul>\n<li>condizioni limite: limite superiore (UpLimit) e limite inferiore (DownLimit) degli intervalli che devono essere verificati;<\/li>\n<li> tempo di attesa richiesto del sistema su intervalli limite (TimeInterval) in secondi;<\/li>\n<li>identificativo della richiesta ReqName;<\/li>\n<li>ammissibilit\u00e0 dell'uscita dall'intervallo Out_range \u2013 variabile booleana che determina se \u00e8 una violazione della richiesta l'uscita del valore dall'intervallo controllato.<\/li>\n<\/ul>\n<p><\/p>\n<p>In alcuni casi, l'uscita del valore controllato indica che il sistema ha margine ed \u00e8 in grado di operare al di fuori dell'intervallo operativo. In altri casi, l'uscita indica che il sistema non riesce a mantenere i parametri specificati all'interno dell'intervallo.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 6. Blocco tipico di verifica della propriet\u00e0 nello schema e i suoi parametri.<\/i><\/p>\n<p><\/p>\n<p>Come risultato del calcolo di questo blocco, viene generata la variabile Result, che assume i seguenti valori:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, valore non definito;<\/li>\n<li>1 \u2013 rDone, requisito soddisfatto;<\/li>\n<li>2 \u2013 rFault, requisito non soddisfatto.<\/li>\n<\/ul>\n<p><\/p>\n<p>L'immagine del blocco contiene:<\/p>\n<p><\/p>\n<ul>\n<li> testo identificativo;<\/li>\n<li> visualizzazioni numeriche dei parametri dei limiti di misura;<\/li>\n<li> identificatore di stato del parametro di colore.<\/li>\n<\/ul>\n<p><\/p>\n<p>All'interno del blocco pu\u00f2 trovarsi uno schema logico di output abbastanza complesso.<\/p>\n<p>Ad esempio, per verificare l'intervallo di temperatura operativo del blocco, mostrato nella figura 6, lo schema interno \u00e8 presentato nella figura 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 7. Schema interno del blocco di determinazione dell'intervallo di temperature.<\/i><\/p>\n<p><\/p>\n<p>All'interno dei blocchi, gli schemi utilizzano propriet\u00e0 definite nei parametri del blocco.<br \/>\nOltre all'analisi della conformit\u00e0 ai requisiti, lo schema interno del blocco include un grafico necessario per presentare i risultati della simulazione. Questo grafico pu\u00f2 essere utilizzato sia per la visualizzazione durante il calcolo che per l'analisi dei risultati dopo il calcolo.<\/p>\n<p><\/p>\n<p>I risultati del calcolo vengono trasmessi all'uscita del blocco e contemporaneamente registrati in un file di report generale, che viene creato sulla base dei risultati di tutto il progetto. (cfr. fig. 8)<\/p>\n<p><\/p>\n<p>Un esempio di report creato in base ai risultati della simulazione \u00e8 un file HTML, generato secondo un formato specificato. Il formato pu\u00f2 essere personalizzato arbitrariamente in base a quello adottato nella specifica organizzazione.<\/p>\n<p><\/p>\n<p>All'interno dei blocchi, gli schemi utilizzano propriet\u00e0 definite nei parametri del blocco.<br \/>\nOltre all'analisi della conformit\u00e0 ai requisiti, lo schema interno del blocco include un grafico necessario per presentare i risultati della simulazione. Questo grafico pu\u00f2 essere utilizzato sia per la visualizzazione durante il calcolo che per l'analisi dei risultati dopo il calcolo.<\/p>\n<p><\/p>\n<p>I risultati del calcolo vengono trasmessi all'uscita del blocco e contemporaneamente registrati in un file di report generale, che viene creato sulla base dei risultati di tutto il progetto. (cfr. fig. 8)<\/p>\n<p><\/p>\n<p>Un esempio di report creato in base ai risultati della simulazione \u00e8 un file HTML, generato secondo un formato specificato. Il formato pu\u00f2 essere personalizzato arbitrariamente in base a quello adottato nella specifica organizzazione.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 8. Esempio di file di report sui risultati della simulazione.<\/i><\/p>\n<p><\/p>\n<p>In questo esempio, la configurazione del modulo di report viene eseguita direttamente nelle propriet\u00e0 del progetto, mentre il formato nella tabella \u00e8 definito come segnali globali del progetto. In questo caso, SimInTech si occupa autonomamente della configurazione del report, e il blocco per la registrazione dei risultati nel file utilizza queste righe per scrivere nel file di report.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 9. Configurazione del formato del report nei segnali globali del progetto<\/i><\/p>\n<p><\/p>\n<h3>Utilizzo del database dei segnali per i requisiti.<\/h3>\n<p><\/p>\n<p>Per automatizzare la gestione delle impostazioni delle propriet\u00e0 per ciascun blocco standard, viene creata una struttura standard nel database dei segnali. (v. fig. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 10. Esempio della struttura di un blocco di verifica dei requisiti nel database dei segnali.<\/i><\/p>\n<p><\/p>\n<p>Il database dei segnali fornisce:<\/p>\n<p><\/p>\n<ul>\n<li> Memorizzazione di tutti i parametri necessari ai requisiti del sistema.<\/li>\n<li> Visualizzazione conveniente dei requisiti esistenti nel progetto, sfruttando i parametri forniti e i risultati attuali della simulazione.<\/li>\n<li> Configurazione di un blocco singolo o di un gruppo di blocchi utilizzando un linguaggio di programmazione script. Le modifiche nel database dei segnali portano a una modifica dei valori delle propriet\u00e0 del blocco nello schema.<\/li>\n<li> Memorizzazione di descrizioni testuali, collegamenti a elementi del capitolato o identificatori nel sistema di gestione dei requisiti.<\/li>\n<\/ul>\n<p><\/p>\n<p>Le strutture del database dei segnali per i requisiti possono essere facilmente configurate per funzionare con un sistema di gestione dei requisiti esterno. Lo schema generale di interazione con i sistemi di gestione dei requisiti \u00e8 presentato nella Figura 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifica automatica dei requisiti del progetto durante la modellazione dinamica\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 11. Schema di interazione con il sistema di gestione dei requisiti.<\/i><\/p>\n<p><\/p>\n<p>La sequenza di interazione del progetto di test SimInTech con il sistema di gestione dei requisiti \u00e8 la seguente:<\/p>\n<p><\/p>\n<ol>\n<li> Il capitolato viene suddiviso in requisiti.<\/li>\n<li> Vengono identificati i requisiti del capitolato che possono essere verificati tramite modellazione matematica dei processi tecnici.<\/li>\n<li> Le caratteristiche dei requisiti identificati vengono trasferite nel database dei segnali SimInTech in strutture di blocchi standard (ad esempio, temperatura massima e minima).<\/li>\n<li> Durante il calcolo, i dati delle strutture vengono trasferiti agli schemi di calcolo dei blocchi, viene eseguita un'analisi e i risultati vengono salvati nel database dei segnali.<\/li>\n<li> Al termine del calcolo, i risultati dell'analisi vengono trasferiti al sistema di gestione dei requisiti.<\/li>\n<\/ol>\n<p><\/p>\n<p>Le fasi di lavoro con i requisiti 3-5 possono ripetersi durante il processo di progettazione, quando si verificano modifiche nella struttura e\/o nei requisiti, e, di conseguenza, \u00e8 necessaria una nuova verifica dell'impatto delle modifiche apportate.<\/p>\n<p><\/p>\n<h3>Conclusioni.<\/h3>\n<p><\/p>\n<ul>\n<li> Il prototipo di sistema creato consente una significativa riduzione del tempo di analisi dei modelli esistenti in relazione ai requisiti del capitolato tecnico.<\/li>\n<li> La tecnologia di test proposta utilizza modelli dinamici esistenti e pu\u00f2 essere applicata persino a qualsiasi modello dinamico, compresi quelli realizzati al di fuori dell'ambiente SimInTech.<\/li>\n<li> L'uso di un'organizzazione dati in pacchetti consente di creare pacchetti di verifica dei requisiti parallelamente allo sviluppo di modelli, o persino di utilizzare tali pacchetti come capitolato per lo sviluppo di modelli.<\/li>\n<li> La tecnologia pu\u00f2 essere integrata con i sistemi di gestione dei requisiti esistenti senza costi significativi.<\/li>\n<\/ul>\n<p><\/p>\n<p>Per chi \u00e8 arrivato fino alla fine, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">link al video che dimostra il funzionamento del prototipo.<\/a><\/noindex><\/p>\n<p>Fonte: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/486336\/\">habr.com<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b. \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e \u043a\u0430\u043a \u043c\u044b \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u0435\u0440\u043c\u044f\u0436\u043d\u043e\u0439 \u043f\u0440\u0430\u0432\u0434\u0435 \u0436\u0438\u0437\u043d\u0438, \u043c\u043e\u0436\u043d\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u0432\u043e\u043f\u0440\u043e\u0441: \u00ab\u0430 \u0447\u0442\u043e, \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043c\u044b \u0442\u0443\u0442 \u0438\u043c\u0435\u0435\u043c?\u00bb. \u0421\u043e\u0437\u0434\u0430\u0432\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u043c\u044b, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0438\u043b\u043e, \u0445\u043e\u0442\u0438\u043c \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u044d\u0442\u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448\u0438\u043c \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f\u043c. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0438 \u043f\u0440\u043e\u0432\u043e\u0434\u044f\u0442\u0441\u044f [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":41258,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-41257","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.0.1 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/it\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.0.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"it_IT\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/it\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Controllo automatico dei requisiti del progetto durante la modellazione dinamica | ProHoster","description":"Continuando il tema \"Quali sono le vostre prove?\", esaminiamo il problema della modellazione matematica da un'altra prospettiva.","canonical_url":"https:\/\/prohoster.info\/it\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"it_IT","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster","og:description":"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.","og:url":"https:\/\/prohoster.info\/it\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2020-02-06T17:43:44+00:00","article:modified_time":"2020-02-06T17:43:44+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"41257","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 00:20:47","updated":"2022-10-01 02:07:44","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}