Convalida del sistema (4): software di modellazione, protocolli e altri comportamenti

Descrizione

La validazione del sistema è il campo che studia i fondamenti della comunicazione del sistema e dell'elaborazione delle informazioni. Consente l'analisi automatizzata basata su modelli comportamentali di un sistema per vedere se un sistema funziona correttamente. Vogliamo garantire che i sistemi facciano esattamente quello che dovrebbero fare. Le tecniche proposte nella validazione del sistema permettono di dimostrare l'assenza di errori. Consente di progettare un comportamento del sistema integrato che sia strutturalmente valido e come effetto collaterale ti obbliga a rendere il comportamento semplice e intuitivo. Ciò significa che i sistemi non solo si comportano correttamente, ma sono anche molto più facili da mantenere e adattare. "Modellazione di protocolli software e altri comportamenti" dimostra la potenza dei metodi formali nella modellazione del software, nei protocolli di comunicazione e in altri esempi. Materiale di lettura. JF Groote e il signor Mousavi. Modellazione e analisi di sistemi comunicanti. La stampa del MIT, 2014.