PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Donatelli S., Chiaradonna S., Di Giandomenico F., Bondavalli A., et al. .. CRUTIAL - Model-based evaluation of the middleware services and protocols & architectural patterns. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D.25, 2008.
 
 
Abstract
(English)
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
Subject Performance and dependability evaluation
Architectural building blocks
System verification
Electric Power Systems evaluation
C.5 COMPUTER SYSTEM IMPLEMENTATION


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional