Speaker: Kristof Marussy, Fault Tolerant Systems Research Group, University of Budapest
When: Tuesday, March 19, 3:15PM
Where: Aula 1.7 (Coppito 1)
Title: Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems
Evaluation of the reliability and performance of variable and adaptable architectures as well as the co-evolution of architectures and analyses remains difficult. Evolving system structure often requires repeated analysis with significant computational costs and manual intervention. Therefore analysis methods need to prepare for evolving systems and reconfigurations. In my research, I focused on the construction of analysis models by change-driven, forward only view transformations to efficiently propagate architecture changes to stochastic Petri net analysis models. I present a domain-specific language to describe the view transformations in terms of Petri net fragments and their interconnections in a fully compositional way, which means individual transformations can be combined without re-engineering. I also present a transformation engine suited for such view transformations: in addition to source– and target-incremental execution, fully compositional transformations can be run even in the face of validation errors in the source or target models. Lastly, I present the description and analysis of adaptation strategies by semantic integration of high-level models and analyses in phased-mission stochastic models, which is enabled by the incremental execution of the view transformation.