La pervasività del software in una miriade di oggetti di cui ci serviamo ogni giorno per le più svariate attività è nota.

Questa pervasività rende impellente la necessità 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 previsione dei guasti e di tolleranza ai guasti.

Vengono 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.

Un po’ di materiale didattico : software dependability

altro blocco di appunti scannerizzato:

Serie di files utili:

Relazione riguardante l’elaborato “Modellazione di un algoritmo di Railways Interlocking con Simulink Stateflow”