A model driven approach for assessing survivability requirements of critical infrastructures

Gentile, Ugo ; Bernardi, Simona (Universidad de Zaragoza) ; Marrone, Stefano ; Merseguer, José (Universidad de Zaragoza) ; Vittorini, Valeria

Resumen: Critical infrastructures are complex networked systems. They must be able to provide essential services, even when they are compromised by intentional or accidental threats. Guaranteeing essential services means to ensure survivability with an adequate Quality of Service (QoS). This paper proposes a model-driven approach for the assessment of survivability requirements. In particular, we propose a graphical Survivability Assessment Model (SAM), based on UML. It is automatically derived from a UML specification that encompasses essential services, service modes, threats and survivability strategies. Furthermore, model-driven techniques are used to assess the SAM. Then, we propose some preliminary property verifications to discover aws in the specification. The model driven paradigm is used to ensure high level of usability and abstraction of the artifacts that are key issues in communication among stakeholders. The approach has been applied to a scaled-down model of a smart grid, an evolution of traditional power grids based on high performance and dependable computer network

Idioma: Inglés

DOI: 10.3233/JHS-170564

Año: 2017

Publicado en: JOURNAL OF HIGH SPEED NETWORKS 23, 2 (2017), 175-186
ISSN: 0926-6801

Factor impacto SCIMAGO: 0.159 - Computer Networks and Communications (Q4) - Information Systems (Q4) - Hardware and Architecture (Q4)

Financiación: info:eu-repo/grantAgreement/ES/DGA/T94
Financiación: info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE
Financiación: info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R

Tipo y forma: Article (PrePrint)

Área (Departamento): Área Lenguajes y Sistemas Inf. (Dpto. Informát.Ingenie.Sistms.)