Survivability is a property of systems that guarantees services which operate safe and timely. Safety-critical services must survive despite the presence of faults or attacks. The contribution of the paper is twofold: construction of a survivability assessment model (SAM) and its transformation to a model checking problem. Our SAM is automatically obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The SAM is automatically converted, using model-driven techniques, into a Petri Net model for verifying survivability properties through model checking. The method has been applied to a military command-and-control information system.
CITATION STYLE
Bernardi, S., Dranca, L., & Merseguer, J. (2015). Modelling and verification of survivability requirements for critical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8938, pp. 86–100). Springer Verlag. https://doi.org/10.1007/978-3-319-15201-1_6
Mendeley helps you to discover research relevant for your work.