A Safety Analysis Method for Multi-Agent Systems

Authors: Ching Louis Liu, Edmund Kazmierczak, Tim Miller

Abstract:

Safety analysis for multi-agent systems is complicated by the, potentially nonlinear, interactions between agents. This paper proposes a method for analyzing the safety of multi-agent systems by explicitly focusing on interactions and the accident data of systems that are similar in structure and function to the system being analyzed. The method creates a Bayesian network using the accident data from similar systems. A feature of our method is that the events in accident data are labeled with HAZOP guide words. Our method uses an Ontology to abstract away from the details of a multi-agent implementation. Using the ontology, our methods then constructs an “Interaction Map,” a graphical representation of the patterns of interactions between agents and other artifacts. Interaction maps combined with statistical data from accidents and the HAZOP classifications of events can be converted into a Bayesian Network. Bayesian networks allow designers to explore “what it” scenarios and make design trade-offs that maintain safety. We show how to use the Bayesian networks, and the interaction maps to improve multi-agent system designs.

Keywords: Multi-agent system, safety analysis, safety model.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1129808

References:

[1] Wooldridge, Michael, Nicholas R. Jennings, and David Kinny. "The Gaia methodology for agent-oriented analysis and design." Autonomous Agents and multi-agent systems 3.3 (2000): 285-312.
[2] Padgham, Lin, and Michael Winikoff. "Prometheus: A methodology for developing intelligent agents." Agent-oriented software engineering III. Springer Berlin Heidelberg, 2003. 174-185.
[3] Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. JAAMAS 8(3), 203–236 (2004)
[4] Jamont, Jean-Paul, Clément Raievsky, and Michel Occello. "Handling safety-related non-functional requirements in embedded multi-agent system design." Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection. Springer International Publishing, 2014. 159-170.
[5] Lakner, Rozália, et al. "Agent-based diagnosis for granulation processes." Computer Aided Chemical Engineering 21 (2006): 1443-1448.
[6] Ebrahimipour, V., K. Rezaie, and S. Shokravi. "Enhanced fmea by multi-agent engineering fipa based system to analyze failures." Reliability and Maintainability Symposium (RAMS), 2010 Proceedings-Annual. IEEE, 2010.
[7] Rodríguez-Fernández, Carlos, and Jorge Jesús Gómez-Sanz. "Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours." Proceedings of the second international workshop on Self-organizing architectures. ACM, 2010.
[8] Sterling, Leon, and Kuldar Taveter. The art of agent-oriented modeling. MIT Press, 2009.
[9] Fuxman, A., R. Kazhamiakin, M. Pistore, and M. Roveri. "Formal Tropos: language and semantics." University of Trento and IRST 55 (2003): 123.
[10] Borst, Pim, Jan Benjamin, Bob Wielinga, and Hans Akkermans. "An application of ontology construction." In Proc. of ECAI-96 Workshop on Ontological Engineering. Budapest. 1996.
[11] Nielsen, Thomas Dyhre, and Finn Verner Jensen. Bayesian networks and decision graphs. Springer Science & Business Media, 2009.
[12] Leveson, Nancy. Engineering a Safer World. MIT Press, 2012.
[13] Ministry of Defence, Defence Standard 00-58, Great Britain. HAZOP Studies on Systems Containing Programmable Electronics, 2 edition, May 2000.
[14] J. McDermid and T. Kelly, "Industrial Press: Safety Case," High Integrity Systems Engineering Group, University of York 1996.
[15] S. Basnyat, N. Chozos, C. Johnson, and P. Palanque. Incident and accident investigation techniques to inform model based design of safety critical interactive systems. In M. Harrison, editor, Design, Specification and Verification of Interactive Systems 2005, pages 51–66, Berlin, Germany, 2006. Springer Verlag. Lecture Notes in Computing Science 3941.