60940 20190709135510.0 doi 10.3233/JHS-170564 sideral 98385 ART-2017-98385 eng Gentile, Ugo A model driven approach for assessing survivability requirements of critical infrastructures 2017 Access copy available to the general public Unrestricted 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 info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE info:eu-repo/grantAgreement/ES/DGA/T94 info:eu-repo/semantics/openAccess by-nc-nd http://creativecommons.org/licenses/by-nc-nd/3.0/es/ 0.159 2017 Computer Networks and Communications 2017 Q4 Information Systems 2017 Q4 Hardware and Architecture 2017 Q4 info:eu-repo/semantics/article info:eu-repo/semantics/submittedVersion (orcid)0000-0002-2605-6243 Bernardi, Simona Universidad de Zaragoza Marrone, Stefano (orcid)0000-0002-8917-6584 Merseguer, José Universidad de Zaragoza Vittorini, Valeria 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 23, 2 (2017), 175-186 J. high speed netw. JOURNAL OF HIGH SPEED NETWORKS 0926-6801 984421 http://zaguan.unizar.es/record/60940/files/texto_completo.pdf Preprint 58662 http://zaguan.unizar.es/record/60940/files/texto_completo.jpg?subformat=icon icon Preprint oai:zaguan.unizar.es:60940 articulos driver 2019-07-09-11:50:57 ARTICLE