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

This course discusses a set of development techniques that are typical of embedded computer systems, with a particualr emphasys on the dependability aspects (reliability, availability, safety).