IDEAS home Printed from https://ideas.repec.org/a/sae/risrel/v230y2016i5p485-501.html
   My bibliography  Save this article

A model-driven approach to survivability requirement assessment for critical systems

Author

Listed:
  • Simona Bernardi
  • Lacramioara Dranca
  • José Merseguer

Abstract

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.

Suggested Citation

  • Simona Bernardi & Lacramioara Dranca & José Merseguer, 2016. "A model-driven approach to survivability requirement assessment for critical systems," Journal of Risk and Reliability, , vol. 230(5), pages 485-501, October.
  • Handle: RePEc:sae:risrel:v:230:y:2016:i:5:p:485-501
    DOI: 10.1177/1748006X15626017
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1177/1748006X15626017
    Download Restriction: no

    File URL: https://libkey.io/10.1177/1748006X15626017?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Iwu, Frantz & Galloway, Andy & McDermid, John & Toyn, Ian, 2007. "Integrating safety and formal analyses using UML and PFS," Reliability Engineering and System Safety, Elsevier, vol. 92(2), pages 156-170.
    2. Ruchika Mehresh & Shambhu Upadhyaya, 2015. "Surviving advanced persistent threats in a distributed environment – Architecture and analysis," Information Systems Frontiers, Springer, vol. 17(5), pages 987-995, October.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. David, Pierre & Idasiak, Vincent & Kratz, Frédéric, 2010. "Reliability study of complex physical systems using SysML," Reliability Engineering and System Safety, Elsevier, vol. 95(4), pages 431-450.
    2. Chittaranjan Hota & Shambhu Upadhyaya & Jamal Nazzal Al-Karaki, 2015. "Advances in secure knowledge management in the big data era," Information Systems Frontiers, Springer, vol. 17(5), pages 983-986, October.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:risrel:v:230:y:2016:i:5:p:485-501. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.