Toggle Main Menu Toggle Search

Open Access padlockePrints

Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies

Lookup NU author(s): Dr Carl Gamble, Dr Stephen RiddleORCiD



This report is in three parts. The first part describes a fictitious case study in which a coalition of forces is brought together to suppress a guerrilla threat. These forces form a System of Systems sharing data to improve the efficiency and safety of the operation. Four scenarios are described within this study, in each we present a dependability goal and show a policy that acts on realistic metadata to maintain that goal where possible. The second part presents a set of five desirable properties of languages used to write policies. These properties, if found, can help to manage the complexity of a policy and also assist with showing it is correct to its specification and does not contain inconsistencies. We also present a set of properties that should be explicitly considered when designing a policy and the system that supports it at run-time. The final part illustrates one possible system that could implement the behaviour described in the earlier case study. The architecture and supporting text is intended to illustrate the interactions within the system and the functions of the components it contains that together allow the configuration of the System of Systems to be managed. A key feature of this framework is that it separates the policies into focused parts intended to both reduce the complexity of policy description and to facilitate policy reuse across platforms.

Publication metadata

Author(s): Gamble C, Riddle S

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 42

Print publication date: 01/05/2011

Source Publication Date: May 2011

Report Number: 1248

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne