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

  1. Lookup NU author(s)
  2. Dr Carl Gamble
  3. Dr Stephen Riddle
Author(s)Gamble C, Riddle S
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Year2011
DateMay 2011
Report Number1248
Pages42
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1248.pdf
ActionsLink to this publication