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

摘要

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 treat. 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 completing 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 parts intended to both reduce the complexity of policy description and to facilitate policy reuse across platforms.