000048340 001__ 48340
000048340 005__ 20200221144133.0
000048340 0247_ $$2doi$$a10.1177/1748006X15626017
000048340 0248_ $$2sideral$$a93772
000048340 037__ $$aART-2016-93772
000048340 041__ $$aeng
000048340 100__ $$0(orcid)0000-0002-2605-6243$$aBernardi, Simona
000048340 245__ $$aA model-driven approach to survivability requirements assessment for critical systems
000048340 260__ $$c2016
000048340 5060_ $$aAccess copy available to the general public$$fUnrestricted
000048340 5203_ $$aSurvivability is a crucial property for those systems – such as critical infrastructures or military Command and Control Information Systems – that provide essential services, since the latter must be operational even when the system is compromised due to attack or faults. This article proposes a model-driven method and a tool –MASDES– to assess the survivability requirements of critical systems. The method exploits the use of (1) (mis)use case technique and UML profiling for the specification of the survivability requirements and (2) Petri nets and model checking techniques for the requirement assessment. A survivability assessment model is obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The survivability assessment model is then converted into a Petri net model for verifying survivability properties through model checking. The MASDES tool has been developed within the Eclipse workbench and relies on Papyrus tool for UML. It consists of a set of plug-ins that enable (1) to create a survivability system view using UML and profiling techniques and (2) to verify survivability properties. In particular, the tool performs model transformations in two steps. First, a model-to-model transformation generates, from the survivability view, a Petri net model and properties to be checked in a tool-independent format. Second, model-to-text transformations produce the Petri net specifications for the model checkers. A military Command and Control Information Systems has been used as a case study to apply the method and to evaluate the MASDES tool, within an iterative-incremental software development process.
000048340 536__ $$9info:eu-repo/grantAgreement/ES/MINECO/TIN2013-46238-C4-1-R$$9info:eu-repo/grantAgreement/ES/MINECO/TIN2011-24932$$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/T27
000048340 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/
000048340 590__ $$a1.084$$b2016
000048340 591__ $$aENGINEERING, INDUSTRIAL$$b33 / 44 = 0.75$$c2016$$dQ3$$eT3
000048340 591__ $$aENGINEERING, MULTIDISCIPLINARY$$b43 / 85 = 0.506$$c2016$$dQ3$$eT2
000048340 591__ $$aOPERATIONS RESEARCH & MANAGEMENT SCIENCE$$b54 / 83 = 0.651$$c2016$$dQ3$$eT2
000048340 592__ $$a0.554$$b2016
000048340 593__ $$aSafety, Risk, Reliability and Quality$$c2016$$dQ2
000048340 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion
000048340 700__ $$0(orcid)0000-0002-9169-5287$$aDranca, Lacramioara
000048340 700__ $$0(orcid)0000-0002-8917-6584$$aMerseguer, José$$uUniversidad de Zaragoza
000048340 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000048340 773__ $$g230, 5 (2016), 485-501$$pPROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY$$tProceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability$$x1748-006X
000048340 8564_ $$s1432570$$uhttps://zaguan.unizar.es/record/48340/files/texto_completo.pdf$$yPostprint
000048340 8564_ $$s72628$$uhttps://zaguan.unizar.es/record/48340/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint
000048340 909CO $$ooai:zaguan.unizar.es:48340$$particulos$$pdriver
000048340 951__ $$a2020-02-21-13:04:58
000048340 980__ $$aARTICLE