000060940 001__ 60940
000060940 005__ 20190709135510.0
000060940 0247_ $$2doi$$a10.3233/JHS-170564
000060940 0248_ $$2sideral$$a98385
000060940 037__ $$aART-2017-98385
000060940 041__ $$aeng
000060940 100__ $$aGentile, Ugo
000060940 245__ $$aA model driven approach for assessing survivability requirements of critical infrastructures
000060940 260__ $$c2017
000060940 5060_ $$aAccess copy available to the general public$$fUnrestricted
000060940 5203_ $$aCritical 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
000060940 536__ $$9info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R$$9This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE$$9info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE$$9info:eu-repo/grantAgreement/ES/DGA/T94
000060940 540__ $$9info:eu-repo/semantics/openAccess$$aby-nc-nd$$uhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
000060940 592__ $$a0.159$$b2017
000060940 593__ $$aComputer Networks and Communications$$c2017$$dQ4
000060940 593__ $$aInformation Systems$$c2017$$dQ4
000060940 593__ $$aHardware and Architecture$$c2017$$dQ4
000060940 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/submittedVersion
000060940 700__ $$0(orcid)0000-0002-2605-6243$$aBernardi, Simona$$uUniversidad de Zaragoza
000060940 700__ $$aMarrone, Stefano
000060940 700__ $$0(orcid)0000-0002-8917-6584$$aMerseguer, José$$uUniversidad de Zaragoza
000060940 700__ $$aVittorini, Valeria
000060940 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000060940 773__ $$g23, 2 (2017), 175-186$$pJ. high speed netw.$$tJOURNAL OF HIGH SPEED NETWORKS$$x0926-6801
000060940 8564_ $$s984421$$uhttps://zaguan.unizar.es/record/60940/files/texto_completo.pdf$$yPreprint
000060940 8564_ $$s58662$$uhttps://zaguan.unizar.es/record/60940/files/texto_completo.jpg?subformat=icon$$xicon$$yPreprint
000060940 909CO $$ooai:zaguan.unizar.es:60940$$particulos$$pdriver
000060940 951__ $$a2019-07-09-11:50:57
000060940 980__ $$aARTICLE