A model driven approach for assessing survivability requirements of critical infrastructures
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 specication 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 verications to discover aws in the specication. 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

Financiación: info:eu-repo/grantAgreement/ES/DGA/T94
Financiación: info:eu-repo/grantAgreement/EUR/H2020/DICE-644869
Financiación: This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 DICE-644869
Financiación: info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R
Tipo y forma: Artículo (PrePrint)
Área (Departamento): Lenguajes y Sistemas Informáticos (Departamento de Informática e Ingeniería de Sistemas)

Creative Commons Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial. Si remezcla, transforma o crea a partir del material, no puede difundir el material modificado.


Exportado de SIDERAL (2017-06-01-13:58:31)

Este artículo se encuentra en las siguientes colecciones:
Artículos > Artículos por área > Lenguajes y Sistemas Informáticos



 Registro creado el 2017-04-20, última modificación el 2017-06-01


Preprint:
 PDF
Valore este documento:

Rate this document:
1
2
3
 
(Sin ninguna reseña)