Elementi di Software Dependability

 La pervasivita’ del software in una miriade di oggetti di cui ci serviamo ogni giorno per le piu’ svariate attivita’ e’ nota. Questa pervasivita’ rende impellente la necessita’ che il software sia esente da guasti.
Il corso si propone di illustrare una serie di tecniche che consentono di ovviare per quanto possibile al problema dell’introduzione di errori di progetto nella produzione del software; quindi, principalmente, tecniche di verifica formale e di sviluppo formale del software, ma anche tecniche di previsone dei guasti e di tolleranza ai guasti. Saranno studiati i costi dell’introduzione di queste tecniche in un contesto produttivo, e come il processo produttivo si debba relazionare a normative specifiche di alcuni settori di produzione industriale del software.

Corso tenuto dal professor Alessandro Fantechi

Il materiale didattico si trova qui

Relazione riguardante l’elaborato “Modellazione di un algoritmo di Railways Interlocking con Simulink Stateflow” di Simone Ercoli, Mariano Di Claudio e Dario Di Fina
Send to a friendShare on FacebookShare on Google+Share on TumblrShare on Twitter

Copyright © 2018  Simone Ercoli  All Rights Reserved.