Il corso intende approfondire una serie di tecniche di sviluppo tipiche
dei sistemi computerizzati embedded, con particolare enfasi sugli aspetti di dependability (affidabilita', disponibilita', safety).