{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T00:45:53Z","timestamp":1777682753301,"version":"3.51.4"},"reference-count":30,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T00:00:00Z","timestamp":1491955200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of High Speed Networks"],"published-print":{"date-parts":[[2017,4,12]]},"abstract":"<jats:p>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 flaws 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 networks.<\/jats:p>","DOI":"10.3233\/jhs-170564","type":"journal-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T11:37:33Z","timestamp":1492169853000},"page":"175-186","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":2,"title":["A model driven approach for assessing survivability requirements of critical infrastructures"],"prefix":"10.1177","volume":"23","author":[{"given":"Ugo","family":"Gentile","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d","place":["Italy"]},{"name":"Engineering Department CERN","place":["Switzerland"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Bernardi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Campania \u201cLuigi Vanvitelli\u201d","place":["Italy"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[{"name":"Academia General Militar","place":["Spain"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[{"name":"Universidad de Zaragoza","place":["Spain"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d","place":["Italy"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"Agence France-Presse Massive power failure plunges 80% of Pakistan into darkness The Guardian January 2015."},{"key":"e_1_3_2_3_2","doi-asserted-by":"crossref","unstructured":"E.\u00a0Ancillotti R.\u00a0Bruno and M.\u00a0Conti The role of communication systems in smart grids: Architectures technical solutions and research challenges Computer Communications (2013).","DOI":"10.1016\/j.comcom.2013.09.004"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1177\/1748006X15626017"},{"key":"e_1_3_2_5_2","unstructured":"A.\u00a0Cockburn Writing Effective Use Cases Addison Wesley 2001. ISBN 9780321605801."},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2014.01.003"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/52.776952"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1504\/IJGUC.2016.081012"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","unstructured":"L.\u00a0Gomes and A.\u00a0Costa From use cases to system implementation: Statechart based co-design in: Formal Methods and Models for Co-Design 2003. MEMOCODE \u201903. Proceedings. First ACM and IEEE International Conference on 2003 pp.\u00a024\u201333. doi:10.1109\/MEMCOD.2003.1210083.","DOI":"10.1109\/MEMCOD.2003.1210083"},{"key":"e_1_3_2_10_2","unstructured":"C.\u00a0Helman Rolling Blackouts Force Texas To Import Power From Mexico Forbes March 2011."},{"key":"e_1_3_2_11_2","unstructured":"I.\u00a0Jacobson M.\u00a0Christenson P.\u00a0Jonsson and G.\u00a0Overgaard Object Oriented Software Engineering: A Use Case Driven Approach Addison Wesley 1992. ISBN 9780201544350."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.3233\/JHS-140500"},{"key":"e_1_3_2_13_2","unstructured":"C.W.\u00a0Johnson Analysing the causes of the Italian and Swiss blackout 28th September 2003 in: Proceedings of the 12th Australian Workshop on Safety Critical Systems and Software and Safety-Related Programmable Systems 2007 pp.\u00a021\u201330. ISBN 9781920682675."},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","unstructured":"F.\u00a0Jouault and I.\u00a0Kurtev Transforming models with atl in: Proceedings of the 2005 International Conference on Satellite Events at the MoDELS 2006 pp.\u00a0128\u2013138. doi:10.1007\/11663430_14.","DOI":"10.1007\/11663430_14"},{"key":"e_1_3_2_15_2","first-page":"1","article-title":"Smart grid. electrical power transmission: Background and policy issues","author":"Kaplan S.M.","year":"2009","unstructured":"S.M.\u00a0Kaplan, Smart grid. electrical power transmission: Background and policy issues, The Capital.Net, Government Series (2009), 1\u201342.","journal-title":"The Capital.Net, Government Series"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","unstructured":"J.C.\u00a0Knight E.A.\u00a0Strunk and K.J.\u00a0Sullivan Towards a rigorous definition of information system survivability in: DARPA Information Survivability Conference and Exposition 2003. Proceedings Vol.\u00a01 2003 pp.\u00a078\u201389. doi:10.1109\/DISCEX.2003.1194874.","DOI":"10.1109\/DISCEX.2003.1194874"},{"key":"e_1_3_2_17_2","doi-asserted-by":"crossref","unstructured":"P.A.\u00a0Laplante Requirements Engineering for Software and Systems CRC Press 2013. ISBN 9781466560826.","DOI":"10.1201\/b15939"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2114630"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","unstructured":"B.B.\u00a0Madan K.\u00a0Gogeva-Popstojanova K.\u00a0Vaidyanathan and K.S.\u00a0Trivedi Modeling and quantification of security attributes of software systems in: Proc. of the International Conf. on Dependable Systems and Networks (DSN 2002) 2002 pp.\u00a0505\u2013514. doi:10.1109\/DSN.2002.1028941.","DOI":"10.1109\/DSN.2002.1028941"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.04.195"},{"key":"e_1_3_2_21_2","doi-asserted-by":"crossref","unstructured":"S.\u00a0McLaughlin P.\u00a0McDaniel and W.\u00a0Aiello Protecting consumer privacy from electric load monitoring in: Proceedings of the ACM Conference on Computer and Communications Security 2011 pp.\u00a087\u201398.","DOI":"10.1145\/2046707.2046720"},{"key":"e_1_3_2_22_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0Sato D.M.\u00a0Kammen M.\u00a0Macuha B.\u00a0Duan Z.\u00a0Zhou M.\u00a0Tariq J.\u00a0Wu and S.A.\u00a0Asfaw Smart Grid Standards: Specifications Requirements and Technologies John Wiley & Sons 2015. ISBN 9781118653791.","DOI":"10.1002\/9781118653722"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0194-4"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0194-4"},{"key":"e_1_3_2_25_2","unstructured":"Symantec Severity Assessment \u2013 Threats Events Vulnerabilites Risks available at: https:\/\/www.symantec.com\/content\/en\/us\/about\/media\/securityintelligence\/SSR-Severity-Assesment.pdf (accessed January 2017)."},{"key":"e_1_3_2_26_2","unstructured":"The Smart Grid Interoperability Panel Cyber Security Working Group Introduction to NISTIR 7628 Guidelines for Smart Grid Cyber Security 2010 NISTIR Technical Report available at: https:\/\/www.nist.gov\/document-13017 (accessed January 2017)."},{"key":"e_1_3_2_27_2","unstructured":"US Department of Energy Benefits of Demand Response in Electricity Markets and Recommendations for Achieving them available at: https:\/\/emp.lbl.gov\/sites\/all\/files\/report-lbnl-1252d.pdf (accessed January 2017)."},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.12.017"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.021312.00034"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","unstructured":"T.\u00a0Yue S.\u00a0Ali and L.\u00a0Briand Automated transition from use cases to UML state machines to support state-based testing in: Modelling Foundations and Applications LNCS Vol.\u00a06698 Springer Berlin Heidelberg 2011 pp.\u00a0115\u2013131. ISBN 9783642214691. doi:10.1007\/978-3-642-21470-7_9.","DOI":"10.1007\/978-3-642-21470-7_9"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2015.11.050"}],"container-title":["Journal of High Speed Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JHS-170564","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/JHS-170564","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JHS-170564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T08:43:58Z","timestamp":1777452238000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/JHS-170564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,12]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4,12]]}},"alternative-id":["10.3233\/JHS-170564"],"URL":"https:\/\/doi.org\/10.3233\/jhs-170564","relation":{},"ISSN":["0926-6801","1875-8940"],"issn-type":[{"value":"0926-6801","type":"print"},{"value":"1875-8940","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,12]]}}}