Extending safety deviation analysis techniques to elicit flexible dependability requirements

Abstract

In mission critical systems the operational success of the system depends on many aspects of the system's operation such as availability, security, performance and safety. According to the design of the system, dependability attributes can be in conflict or in harmony often resulting in unavoidable trade-offs. Adopting a more flexible approach towards dependability allows us to achieve tolerable limits for each dependability attribute, whilst maintaining acceptable overall dependability levels for the system. Elicitation of the requirements that define the levels of the dependability attributes can only be meaningfully done in the context of the system's operation. In this paper we present how we can extend existing safety techniques to elicit dependability requirements. Well established deviation analysis techniques in the safety domain are already used to perform safety analysis. However the safety techniques cannot be used efficiently to explicitly elicit requirements for other attributes. This is primarily because the prompts as well as the models on which the prompts are applied are optimised for safety. The method presented uses a set of prompts optimised to examine the system for dependability attribute concerns, which are applied on models, taken from the MOD architectural framework, that are suitable for analysing each of the dependability attributes.

Hazards in advising autonomy: A structured approach seeking novelty in developing the requirements for an exemplar

“…The process is illustrated in tracking a particular selected requirement (02.07) "Assess wider consequences of effects of deviations from the viewpoint of attributes" [9], being one of the 12 items indicated by the labeled arrow shown in Fig. 4.…”

“…Incorporating aspects drawn from [17], [18], and [9]; embodied in an Interaction Environment to explore hazards.…”

“…Incorporating aspects drawn from ARP 4754 [3] and [9]; extending the inference, and HAZOP, FHA and FMEA crossreferencing capabilities.…”

“…Incorporating aspects drawn from [15] and [9]; perhaps in the form of a Bayesian inference model and engine. Given still the relatively large scope of these requirements, perhaps just these two last aspects and the requirements to be identified arising in the relationships to their immediate associates would continue to inform the specific research project.…”

Eliciting dependability requirements: a control cases based approach

“…In the past decade, DRs eliciting has attracted many attentions [2][3][4][5][6][7]. However, there still lack effective approaches.…”