Dependability Tools in Multi-Agent Support for Failures Analysis of Computer Networks

Authors: Myriam Noureddine

Abstract:

During their activity, all systems must be operational without failures and in this context, the dependability concept is essential avoiding disruption of their function. As computer networks are systems with the same requirements of dependability, this article deals with an analysis of failures for a computer network. The proposed approach integrates specific tools of the plat-form KB3, usually applied in dependability studies of industrial systems. The methodology is supported by a multi-agent system formed by six agents grouped in three meta agents, dealing with two levels. The first level concerns a modeling step through a conceptual agent and a generating agent. The conceptual agent is dedicated to the building of the knowledge base from the system specifications written in the FIGARO language. The generating agent allows producing automatically both the structural model and a dependability model of the system. The second level, the simulation, shows the effects of the failures of the system through a simulation agent. The approach validation is obtained by its application on a specific computer network, giving an analysis of failures through their effects for the considered network.

Keywords: Computer network, dependability, KB3 plat-form, multi-agent system, failure.

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

References:

[1] G. Zwingelstein, “Sûreté de fonctionnement- Principaux concepts,” Techniques de l’ingénieur, S8250 v3, 2019.
[2] A.Villemeur, Reliability, Availability, Maintainability and Safety Assessment. Wiley-Blackwell, 1991, vol. 1.
[3] A. Avižienis, J.C. Laprie, B. Randell and C. Landwehr, “Basic Concepts and Taxonomy of Dependable and Secure Computing,” IEEE Transactions on Dependable and Secure Computing, 1(1), 2004, pp. 1–23
[4] R. K. Kaur, B. Pandey and L.K. Singh, “Dependability analysis of safety critical systems: Issues and challenges,” Annals of Nuclear Energy, 120, 2018, pp. 127–154.
[5] M. Bouissou, S. Humbert, S. Muffat and N. Villate, “KB3 tool: feedback on knowledge bases,” in Proc. of European Safety & Reliability Conference, Lyon, France, (18-21 March 2002), pp. 114–119.
[6] S. Bernardi, J. Merseguer and D.C. Petriu, Model-Driven Dependability Assessment of Software Systems. Springer, 2013.
[7] W.E. Veeley, F.F Goldberg, N.H. Roberts and D.F Haasl, Fault Tree Handbook, NUREG 0492, US Nuclear Regulatory Commission, Washington, USA, 1981.
[8] N. Limnios, Fault Trees. Wiley & Sons, 2013.
[9] M. Bouissou, H. Bouhadana, M. Bannelier and N. Villatte, “Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools,” in Proc. of Safety of Computer control system IFAC Symposium, Trondheim, Norway, (30 October-1 November 1991), pp. 69–75.
[10] J. Ferber, Multi-agent systems: An introduction to distributed artificial intelligence. Addison-Wesley Professional, 1999.
[11] J. Xie and C.C. Liu, “Multi-agent systems and their applications,” Journal of International Council on Electrical Engineering, 7(1), 2017, pp. 188–197.
[12] S.S. Manvi and P. Venkataram, “Applications of agent technology in communications: a review,” Computer Communications, 27, 2004, pp. 1493–1508,
[13] O. Bonaventure, Computer Networking: Principles, Protocols and Practice, Saylor Foundation, 2011.
[14] N. Bisht and S. Singh, “Analytical study of different network topologies,” International Research Journal of Engineering and Technology, 02 (01), 2015, pp. 88–90.
[15] G. Torrente and M. Bouissou, “Building knowledge bases in the dependability field with the open-source environment "VISUAL FIGARO",” in Proc. 16th Congress Lambda-Mu16, Avignon, France, (7-9 October 2008).
[16] J. Marshall, An Introduction to Reliability and Life Distributions, Product Excellence using 6 Sigma Module, Reliability and Life distributions, University of Warwick, 2012.
[17] M. Bouissou and J.L. Bon,“A new formalism that combines advantages of fault-trees and Markov models: Boolean Logic Driven Markov Processes,” Reliability Engineering and System Safety, 82 (2), 2003, pp. 149–163.
[18] M. Noureddine and S. Benhabib, “Performance et fiabilité des systèmes de communication multipoints”, in Proc. 10ème Congrès International de Génie Industriel, La Rochelle, France, (12-14 Juin 2013).
[19] S. Kriaa, M. Bouissou, F. Colin, Y. Halgand and L. Pietre-Cambacedes, “Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline,” in Proc. 33rd International Conference on Computer Safety, Reliability, and Security, Florence, Italy, (10-12 September 2014), LNCS 8666 Springer, pp. 326–341.