Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1248.pdf