48340 20200221144133.0 doi 10.1177/1748006X15626017 sideral 93772 ART-2016-93772 eng (orcid)0000-0002-2605-6243 Bernardi, Simona A model-driven approach to survivability requirements assessment for critical systems 2016 Access copy available to the general public Unrestricted Survivability 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. info:eu-repo/grantAgreement/ES/MINECO/TIN2013-46238-C4-1-R info:eu-repo/grantAgreement/ES/MINECO/TIN2011-24932 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/T27 info:eu-repo/semantics/openAccess by http://creativecommons.org/licenses/by/3.0/es/ 1.084 2016 ENGINEERING, INDUSTRIAL 33 / 44 = 0.75 2016 Q3 T3 ENGINEERING, MULTIDISCIPLINARY 43 / 85 = 0.506 2016 Q3 T2 OPERATIONS RESEARCH & MANAGEMENT SCIENCE 54 / 83 = 0.651 2016 Q3 T2 0.554 2016 Safety, Risk, Reliability and Quality 2016 Q2 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion (orcid)0000-0002-9169-5287 Dranca, Lacramioara (orcid)0000-0002-8917-6584 Merseguer, José Universidad de Zaragoza 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 230, 5 (2016), 485-501 PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 1748-006X 1432570 http://zaguan.unizar.es/record/48340/files/texto_completo.pdf Postprint 72628 http://zaguan.unizar.es/record/48340/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:48340 articulos driver 2020-02-21-13:04:58 ARTICLE