Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology


Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2017) Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology At 2nd Workshop on Safety & Security aSSurance, Paris, France. 29 Apr 2017. 6 pp.

Download

[img] PDF s4cip_as_accepted.pdf - Accepted Manuscript
Available under License Creative Commons Attribution No Derivatives.

Download (112kB)

Description/Abstract

Cyber-physical systems represent an engineering challenge due to their safety and security concerns, particularly those systems involved in critical infrastructure which require some of the highest standards of safety, availability, integrity and security. The complexity of these systems makes the identification and analysis of safety and security requirements challenging. In this paper, we present a methodology for identifying and formally analysing safety and security requirements, based on the STPA methodology and combined with modelling, traceability and formal verification through use of the Event-B formal method. Our STPA approach is then leveraged to generate ‘critical requirements’ to mitigate against undesirable system states, which are subsequently translated
into constraints on an Event-B representation of the system. The Rodin toolset allows us to demonstrate that these critical requirements fully mitigate against the undesirable system states and therefore provide automated verification of the critical requirements.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 2nd Workshop on Safety & Security aSSurance, Paris, France, 2017-04-29 - 2017-04-29
Organisations: Agents, Interactions & Complexity, Electronics & Computer Science, Electronic & Software Systems, Faculty of Physical Sciences and Engineering
ePrint ID: 406432
Date :
Date Event
23 January 2017Accepted/In Press
Date Deposited: 10 Mar 2017 10:47
Last Modified: 10 Mar 2017 10:47
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/406432

Actions (login required)

View Item View Item