MODEL-BASED APPROACHES TO DEPENDABILITY AND SECURITY ASSESSMENT IN CRITICAL AND DYNAMIC SYSTEMS

The thesis presents a work based on the study and research of topics related to resilience and security of complex systems, which present characteristics of heterogeneity, dynamicity, evolvability, interdependencies, interconnections, criticality with respect to the domain of application. Nowadays, the study of such systems and their characteristics is of paramount importance, because they are becoming more and more widespread, affecting our lives and our way of life. For this reason, it is crucial to design such systems with an high level of resilience and security. Indeed, their failures could lead, in the worst case, to catastrophic consequences, for instance if we consider the Critical Infrastructures.