Title
A Model Driven Approach For Assessing Survivability Requirements Of Critical Infrastructures
Abstract
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.
Year
DOI
Venue
2017
10.3233/JHS-170564
JOURNAL OF HIGH SPEED NETWORKS
Keywords
Field
DocType
Security requirement elicitation, UML misuse case, service survivability, model transformations, networked systems security
Survivability,Systems engineering,Computer science,Computer security,Computer network
Journal
Volume
Issue
ISSN
23
2
0926-6801
Citations 
PageRank 
References 
0
0.34
11
Authors
5
Name
Order
Citations
PageRank
Ugo Gentile1366.52
Simona Bernardi231523.24
Stefano Marrone317425.49
José Merseguer444839.45
valeria vittorini533933.14