This site collects information about on-going research activities focused on the design and analysis of dependable digital systems. The group has been active in these years developing new solutions and tools to support the designer in the implementation of (embedded) computing systems able to autonomously deal with the occurrence of faults.

Research on these topics is (has been funded) by the European Commission (FP6, FP7 and Artemis JU programs, COST Action), the Italian government (PRIN and FIRB programs) and companies and foundations (SIEMENS, CISCO, European Space Agency, Silicon Valley Community Foundation).