Premium
Towards a Method to Describe Resilience to Assist System Specification
Author(s) -
Jackson Scott,
Cook Stephen C.,
Ferris Timothy L.J.
Publication year - 2015
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2015.00081.x
Subject(s) - resilience (materials science) , computer science , state (computer science) , class (philosophy) , event (particle physics) , range (aeronautics) , risk analysis (engineering) , theoretical computer science , artificial intelligence , programming language , engineering , medicine , physics , quantum mechanics , thermodynamics , aerospace engineering
This paper arose from the challenges inherent in defining and specifying the complicated, non‐functional system characteristic of resilience in the presence of competing definitions. The approach adopted is to specify the resilience of a system using a state‐machine. In this class of model, the state of the system is modelled by the states, the threat events that can be expected to result in altered operational states modelled by the definitions of the state transitions, and the result of the occurrence of a threat event modelled by the state to which the system would transition. The paper describes a generic model that can be tailored to form the basis for specifying a range of system types and illustrates its utility through two case studies.