CRUTIAL - Model-based evaluation of the middleware services and protocols & architectural patterns

This task has the objective of providing an evaluation of the service and protocols defined in WP4, as well as defining reusable models, for dependability evaluation approach (incl. Probabilistic verification). This task will also take care of defining the metrics that are adequate to evaluate interdependencies and to compute the values of such metrics on a number of reference systems. This task goes hands in hands with task T3.3 in WP3. We shall model system architecture blocks, threats and interdependencies with the goal of assessing the ability of the deployed architectural solutions to limit the negative effects of interdependencies. The output of this task is a quantitative analysis to support designers in the activity of defining a robust Information Infrastructure (II) for Electric Power Systems