Abstract
A ‘system of systems’ (SoS) comprises many other systems operating collectively with a shared purpose. Individual system autonomy can give rise to unpredictable, and potentially undesirable, emergent behaviour. A policy is a set of rules that bounds the behaviours of entities. Policy can be expressed at various levels of abstraction. By building on existing goal-based decomposition approaches this paper proposes policy as a means of achieving safety in SoS. The decomposition of policy to lower levels of abstraction must be carried out in a consistent, complete and systematic manner. The approach is agent-oriented and emphasises the recognition of contextual assumptions (such as knowledge of other agents’ behaviour) in decomposing policy. To this end we present patterns of decomposition based on KAOS tactics of refinement. The application of these patterns, expressed in the Goal Structuring Notation, is illustrated using existing civil aerospace policy (the Rules of the Air Regulations).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
German Federal Bureau of Aircraft Accidents Investigation: Investigation report AX001-1-2/02 (2004)
Hall-May, M., Kelly, T.P.: Planes, trains and automobiles — an investigation into safety policy for systems of systems. In: To appear in Proceedings of the 23rd International System Safety Conference (2005)
Kelly, T.P.: Arguing Safety—A Systematic Approach to Managing Safety Cases. DPhil thesis, University of York, Heslington, York, YO10 5DD, UK (1998)
Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM Symposium on the Foundation of Software Engineering, San Francisco, California, USA, pp. 179–190 (1996)
Polack, F., Stepney, S.: Emergent properties do not refine. In: Proceedings of the REFINE 2005 Workshop, Guildford, UK. ENTCS. Elsevier, Amsterdam (2005)
Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), York, UK. Springer, Heidelberg (1997)
Darimont, R.: Process Support for Requirements Elaboration. PhD thesis, Université catholique de Louvain, Dépt. Ingénierie Informatique, Louvain-la-Neuve, Belgium (1995)
Allan, R. (ed.): Air Navigation: The Order and the Regulations, 3rd edn. Civil Aviation Authority (2003)
Boyd, J.R.: A discourse on winning and losing. Unpublished briefing, Air University Library, Maxwell AFB, Alabama, Report No. MU43947 (1987)
Weaver, R.A.: The Safety of Software — Constructing and Assuring Arguments. PhD thesis, University of York, Heslington, York, YO10 5DD, UK (2003)
Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 13–26. Springer, Heidelberg (1999)
Armstrong, J., Paynter, S.: The deconstruction of safety arguments through adversarial counter-argument. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 3–16. Springer, Heidelberg (2004)
Damianou, N., Dulay, N., Lupu, E., Sloman, M.: Ponder: A language for specifying security and management policies for distributed systems. Research Report DoC 2000/1, Imperial College, London (2000), http://www.doc.ic.ac.uk/deptechrep/DTR00-1.pdf
Masullo, M.J., Calo, S.B.: Policy management: An architecture and approach. In: Proceedings of the 1st IEEE International Workshop on Systems Management, Los Angeles, California, USA, pp. 13–26. IEEE Computer Society Press, Los Alamitos (1993)
Koch, T., Krell, C., Krämer, B.: Policy definition language for automated management of distributed systems. In: Proceedings of the 2nd International Workshop on Systems Management, Toronto, Canada, pp. 55–64. IEEE Computer Society Press, Los Alamitos (1996)
Wies, R.: Using a classification of management policies for policy specification and policy transformation. In: Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, Santa Barbara, California, USA, vol. 4, pp. 44–56. Chapman and Hall, Boca Raton (1995)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203–236 (2004)
Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering 26, 15–35 (2000)
Alexander, R., Hall-May, M., Despotou, G., Kelly, T.: Towards using simulation to evaluate safety policy for systems of systems. In: To appear in Proceedings of the 2nd International Workshop on Safety and Security in Multi-Agent Systems, SASEMAS 2005 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hall-May, M., Kelly, T. (2005). Defining and Decomposing Safety Policy for Systems of Systems. In: Winther, R., Gran, B.A., Dahll, G. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2005. Lecture Notes in Computer Science, vol 3688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563228_4
Download citation
DOI: https://doi.org/10.1007/11563228_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29200-5
Online ISBN: 978-3-540-32000-5
eBook Packages: Computer ScienceComputer Science (R0)