Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems

Speaker: Kristof Marussy, Fault Tolerant Systems Research Group, University of BudapestWhen: Tuesday, March 19, 3:15PM Where: Aula 1.7 (Coppito 1)Title: Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems Abstract: Evaluation of the reliability and performance of variable…

Seminar “Facing Uncertainty in Complex Cyber-Physical System Design”

Speaker: Malina Software Corp. (Canada), Simula Research Laboratory (Norway), Monash University (Australia) When: Thursday, February 7, 2019 Where: room Alan Turing, Coppito Zero (Blocco 0) Title: Facing Uncertainty in Complex CPS Design ABSTRACT: The unprecedented complexity of many modern-day cyber-physical systems (CPS) requires changes in…