. Correction and .. Routing, 33 3.4.1 Severity Degree of Routing Loops, Scheduling of Backup Routings . . . . . . . . . . . . . . . . . 36

A. @bullet-function, . Nacf, A. Nass, R. , P. et al., An instance of the Function class within the functional layer represents a logical entity For example, ARF displayed in Figure 6.2(a) is one of the subclasses inheriting from Function. Other subclasses include, Figure 6.2(b), two instances ARF#1 and ARF#2 of ARF have been displayed

@. Interface, An instance of the Interface class within the functional layer represents a reference point whereby functions can interact. For instance, e1 (between UE and ARF) displayed in Figure 6.2(a) is one of the subclasses inheriting Interface . Other subclasses include Gm (between UE and P-CSCF), e2 (between CLF and Core-IMS), Gq' (between Core-IMS and RACS), etc, Figure 6.2(b) two instances of e1 (between UE and ARF) have been displayed, pp.1-1

@. Hounkonnou, 2012) Carole Hounkonnou, Samir Ghamri-Doudane, and Eric Fabre. Détection et correction de boucles de routage dans un réseau de routeurs utilisant un protocole de routage de type SPF, 2012.

A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets, pp.203-231, 1998.

. Angeli, Diagnostic Expert Systems: From Expert's Knowledge to Real-Time Systems Advanced Knowledge Based Systems (Model, Applications & Search), vol.1, pp.50-73, 2010.

L. Nunes, D. Barros, and M. Lemos, Model based diagnosis for network communication faults, International Workshop on Artificial Intelligence for Distributed Information Networking, AIDIN '99, pp.57-62, 1999.

E. Bertin, I. B. Yahia, and N. Crespi, Modeling IMS services, Journal of Mobile Multimedia, vol.3, issue.2, pp.150-167, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00435064

D. Beyer and R. Ogier, Tabu learning: a neural network search method for solving nonconvex optimization problems, IEEE International Joint Conference on Neural Networks, pp.953-961, 1991.

A. Bouloutas, S. Calo, and A. Finkel, Alarm correlation and fault identification in communication networks, IEEE Transactions on Communications, vol.42, issue.2/3/4, pp.523-533, 1994.
DOI : 10.1109/TCOMM.1994.577079

T. Anastasios, S. B. Bouloutas, A. J. Calo, I. Finkel, and . Katzela, Distributed Fault Identification in Telecommunication Networks, Journal of Network and Systems Management, vol.3, pp.295-312, 1995.

M. Brodie, I. Rish, S. Ma, and N. Odintsova, Active Probing Strategies for Problem Diagnosis in Distributed Systems, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 2003.

S. Brugnoni, G. Bruno, R. Manione, E. Montariolo, E. Paschetta et al., An Expert System for Real Time Fault Diagnosis of the Italian Telecommunications Network, Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services, pp.617-628, 1993.

C. Chen, T. L. Hollidge, and D. D. Sharma, Localization of troubles in telephone cable networks, Proceedings of the eighth annual conference on Innovative applications of artificial intelligence, IAAI '96, pp.1461-1470, 1996.

J. Choi, M. Choi, and S. Lee, An alarm correlation and fault identification scheme based on OSI managed object classes, IEEE International Conference on Communications, pp.1547-1551, 1999.

M. Thomas, J. A. Cover, and . Thomas, Elements of Information Theory, 1991.

N. Robert, . Cronk, H. Paul, L. Callahan, and . Bernstein, Rule-based expert systems for network management and operations: an introduction, Network, vol.2, pp.7-21, 1998.

A. Darvishan, H. Yeganeh, K. Bamasian, and P. Eghtedari, A Practical NGN Model By Evaluation of Various NGN Solutions and its Conformance with IMS-TISPAN, Proceedings of the 4th International Conference on Ubiquitous Information Technologies Applications, p.9, 2009.

J. David and J. Krivine, Three Artificial Intelligence Issues in Fault Diagnosis: Declarative Programming, Expert Systems, and Model-Based Reasoning, Fault detection and reliability: knowledge based and other approaches, pp.19-27, 1987.
DOI : 10.1016/B978-0-08-034922-0.50006-6

R. Dechter, Constraint processing, 2003.

R. H. Deng, A. A. Lazar, and W. Wang, A probabilistic approach to fault diagnosis in linear lightwave networks, Proceedings of the IFIP TC6
DOI : 10.1109/49.257935

C. Dousson, Alarm driven supervision for telecommunication network: Ii on-line chronicle recognition, Annals of telecommunications, vol.51, pp.501-508, 1996.

C. Dousson and T. Vu-duong, Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, Proceedings of the 16th international joint conference on Artifical intelligence, pp.620-626, 1999.

C. Dousson and P. L. Maigat, Chronicle recognition improvement using temporal focusing and hierarchization, Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp.324-329, 2007.

A. Dupuy, E. Dupuy, S. Sengupta, O. Wolfson, and Y. Yemini, Design of the netmate network management system, Integrated Network Management II, pp.639-650, 1991.

E. Fabre, Bayesian Networks of Dynamic Systems, 2007.

E. Fabre and C. Hadjicostis, A Trellis Notion for Distributed System Diagnosis with Sequential Semantics, 2006 8th International Workshop on Discrete Event Systems, pp.294-300, 2006.
DOI : 10.1109/WODES.2006.1678445

E. Fabre, A. Benveniste, S. Haar, C. Jard, and A. Aghasaryan, Algorithms for Distributed Fault Management in Telecommunications Networks, Telecommunications and Networking, 2004.
DOI : 10.1007/978-3-540-27824-5_108
URL : https://hal.archives-ouvertes.fr/inria-00638325

E. Fabre, A. Benveniste, S. Haar, and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems. Discrete Event Dynamic Systems, pp.33-84, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00638342

M. Usama, G. Fayyad, P. Piatetsky-shapiro, and . Smyth, From Data Mining to Knowledge Discovery: An Overview, Advances in Knowledge Discovery and Data Mining, 1996.

F. Fessant, F. Clérot, and C. Dousson, Mining of an Alarm Log to Improve the Discovery of Frequent Patterns, Advances in Data Mining, pp.144-152, 2005.
DOI : 10.1109/72.846731

P. Francois and O. Bonaventure, Avoiding transient loops during IGP convergence in IP networks, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies., pp.237-247, 2005.
DOI : 10.1109/INFCOM.2005.1497895

P. Francois and O. Bonaventure, Avoiding Transient Loops During the Convergence of Link-State Routing Protocols, IEEE/ACM Transactions on Networking, vol.15, issue.6, pp.1280-1292, 2007.
DOI : 10.1109/TNET.2007.902686

P. Frohlich, W. Nejdl, K. Jobmann, and H. Wietgrefe, Model-based alarm correlation in cellular phone networks, Proceedings Fifth International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp.197-204, 1997.
DOI : 10.1109/MASCOT.1997.567613

D. Robert, . Gardner, A. David, and . Harle, Methods and systems for alarm correlation, Global Telecommunications Conference. Communications: The Key to Global Prosperity , GLOBECOM 1996, 1996.

D. Robert, . Gardner, A. David, and . Harle, Alarm correlation and network fault resolution using the kohonen self-organising map, Global Telecommunications Conference, GLOBECOM 1997, pp.1398-1402, 1997.

D. Robert, . Gardner, A. David, and . Harle, Pattern discovery and specification techniques for alarm correlation, Network Operations and Management Symposium, NOMS 1998, pp.713-722, 1998.

S. Ghamri-doudane and L. Ciavaglia, Domain-wide scheduling of OSPF graceful restarts for maintenance purposes, 2010 International Conference on Network and Service Management, 2010.
DOI : 10.1109/CNSM.2010.5691255

M. Gjoka, V. Ram, and X. Yang, Evaluation of IP Fast Reroute Proposals, 2007 2nd International Conference on Communication Systems Software and Middleware, 2007.
DOI : 10.1109/COMSWA.2007.382443

A. Goel, P. Ramanujam, and . Sadayappan, Towards a 'neural' architecture for abductive reasoning, IEEE International Conference on Neural Networks, pp.681-688, 1998.
DOI : 10.1109/ICNN.1988.23906

K. Shri and . Goyal, Knowledge technologies for evolving networks. Integrated Network Management , II, pp.439-461, 1991.

I. Grosclaude, Une approche a base de modeles pour les services de depannage (Modelbased problem solving for help and support services), French Conference on Artificial Intelligence, 2008.

B. Gruschke, Integrated event management: Event correlation using dependency graphs, Proceedings of the 9th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management, 1998.

B. Guerraz and C. Dousson, Chronicles construction starting from the fault model of the system to diagnose, 15 th International Workshop on Principles of Diagnosis, pp.51-56, 2004.

M. Hasan, B. Sugla, and R. Viswanathan, A conceptual framework for network management event correlation and filtering systems, Integrated Network Management VI. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on Integrated Network Management. (Cat. No.99EX302), pp.233-246, 1999.
DOI : 10.1109/INM.1999.770686

K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen, and H. Toivonen, Knowledge discovery from telecommunication network alarm databases, Proceedings of the Twelfth International Conference on Data Engineering, pp.115-122, 1996.
DOI : 10.1109/ICDE.1996.492095

D. Hock, M. Hartmann, T. Neubert, and M. Menth, Loop-free convergence using ordered FIB updates: Analysis and routing optimization, 2011 8th International Workshop on the Design of Reliable Communication Networks (DRCN), pp.156-163, 2011.
DOI : 10.1109/DRCN.2011.6076898

K. Houck, S. Calo, and A. Finkel, Towards a Practical Alarm Correlation System, Proceedings of the fourth international symposium on Integrated network management IV, pp.226-237, 1995.
DOI : 10.1007/978-0-387-34890-2_20

C. Hounkonnou and E. Fabre, Empowering Self-diagnosis with Self-modeling, 8th international conference on Network and Service Management, CNSM 2012, pp.364-370, 2012.

C. Hounkonnou and E. Fabre, Enhanced OSPF Graceful Restart, IFIP/IEEE International Symposium on Integrated Network Management -TechSessions, IM 2013, pp.27-31, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00931798

C. Hounkonnou, S. Ghamri-doudane, and E. Fabre, Détection et correction de boucles de routage dans un réseau de routeurs utilisant un protocole de routage de type SPF, 2012.

R. Hülsermann, S. Bodamer, M. Barry, A. Betker, M. Jäger et al., A Set of Typical Transport Network Scenarios for Network Modelling, Beiträge zur 5. ITG-Fachtagung Photonische Netze, pp.65-72, 2004.

R. Isermann, Supervision, fault-detection and fault-diagnosis methods ??? An introduction, Control Engineering Practice, vol.5, issue.5, pp.639-652, 1997.
DOI : 10.1016/S0967-0661(97)00046-4

R. Isermann, Model-based fault-detection and diagnosis ? status and applications, Annual Reviews in Control, vol.29, pp.17-85, 2005.
DOI : 10.1016/j.arcontrol.2004.12.002

G. Jakobson and M. Weissman, Real-time telecommunication network management: extending event correlation with temporal constraints, Proceedings of the fourth international symposium on Integrated network management IV, pp.290-301, 1995.
DOI : 10.1007/978-0-387-34890-2_26

. Juniper, Configuring Graceful Restart for OSPF, 2013. URL http://juniper.net/ techpubs/en_US/junos/topics/topic-map/ospf-graceful-restart

S. Kätker and M. Paterok, Fault Isolation and Event Correlation for Integrated Fault Management, Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world: integrated management in a virtual world, pp.583-596, 1997.
DOI : 10.1007/978-0-387-35180-3_43

S. Katker and K. Geihs, A Generic Model for Fault Isolation in Integrated Management Systems, Journal of Network and Systems Management, vol.5, issue.2, pp.109-130, 1997.
DOI : 10.1023/A:1018766610444

P. Soila, K. Kavulya, M. Joshi, S. Hiltunen, R. Daniels et al., Draco: Top-down statistical diagnosis of large-scale voip networks, 2011.

S. P. Kavulya, K. Joshi, M. Hiltunen, S. Daniels, R. Gandhi et al., Practical experiences with chronics discovery in large telecommunications systems, ACM SIGOPS Operating Systems Review, vol.45, issue.3, pp.23-30, 2012.
DOI : 10.1145/2094091.2094099

W. Kehl, H. Hopfmüller, T. Koussev, and M. Newstead, Application of model-based reasoning to the maintenance of telecommunication networks, In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp.79-88, 1992.
DOI : 10.1007/BFb0024958

M. Rana, B. Khanafer, J. Solana, R. Triola, L. Barco et al., Automated diagnosis for UMTS networks using Bayesian network approach, IEEE Transactions on Vehicular Technology, vol.57, pp.2451-2461, 2008.

S. Kliger, S. Yemini, Y. Yemini, D. Ohsie, and S. Stolfo, A Coding Approach to Event Correlation, Proceedings of the fourth international symposium on Integrated network management IV, pp.266-277, 1995.
DOI : 10.1007/978-0-387-34890-2_24

L. Mark and . Krieg, A tutorial on Bayesian belief networks, 2001.

L. Lewis, A Case-Based Reasoning Approach to the Resolution of Faults in Communication Networks, Integrated Network Management, pp.671-682, 1993.

L. Lewis and G. Dreo, Extending trouble ticket systems to fault diagnostics, IEEE Network, vol.7, issue.6, pp.44-51, 1993.
DOI : 10.1109/65.244793

V. Dennis and . Lindley, On a measure of the information provided by an experiment. The Annals of Mathematical Statistics, pp.986-1005, 1956.

K. Lor, A Network Diagnostic Expert System for Acculink Multiplexers Based on a General Network Diagnostic Scheme, Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services, pp.659-669, 1993.

J. Lu, C. Dousson, B. Radier, and F. Krief, Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks, Mechanisms for Autonomous Management of Networks and Services, pp.110-113, 2010.
DOI : 10.1007/978-3-642-13986-4_16
URL : https://hal.archives-ouvertes.fr/hal-00998811

J. Lu, C. Dousson, and F. Krief, A Self-diagnosis Algorithm Based on Causal Graphs, The Seventh International Conference on Autonomic and Autonomous Systems, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01011398

H. Mannila, H. Toivonen, and . Verkamo, Discovering frequent episodes in sequences, Proceedings of the First International Conference on Knowledge Discovery and Data Mining, pp.210-215, 1995.

R. Mathonet, H. Van-cotthem, and L. Vanryckeghem, DANTES: An Expert System for Real-Time Network Troubleshooting, Proceedings of the 10th international joint conference on Artificial intelligence, pp.527-530, 1987.

C. Melchiors and L. M. Tarouco, Fault Management in Computer Networks Using Case-Based Reasoning: DUMBO System, Proceedings of the Third International Conference on Case-Based Reasoning and Development, pp.510-524, 1999.
DOI : 10.1007/3-540-48508-2_37

M. Miyazawa and K. Nishimura, Scalable root cause analysis assisted by classified alarm information model based algorithm, 7th International Conference on Network and Service Management, CNSM 2011, pp.1-4, 2011.

J. Moy, OSPF: Anatomy of an Internet Routing Protocol, 1998.

K. Murphy, The Bayes Net Toolbox for Matlab. Computing science and statistics, pp.1024-1034, 2001.

R. Patton, T. Chen, and . Siew, Fault diagnosis in nonlinear dynamic systems via neural networks, International Conference on Control '94, pp.1346-1351, 1994.
DOI : 10.1049/cp:19940332

L. F. Pau, Survey of expert systems for fault detection, test generation and maintenance, Expert Systems, vol.485, issue.2, pp.100-110, 1986.
DOI : 10.1117/12.943165

J. Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988.

G. C. Penido, J. S. Marcos, C. M. Nogueira, and . Machado, An automatic fault diagnosis and correction system for telecommunications management, Integrated Network Management VI. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on Integrated Network Management. (Cat. No.99EX302), pp.777-791, 1999.
DOI : 10.1109/INM.1999.770722

D. Truong and P. , Expert Systems in Engineering, 1988.

G. Reali and L. Monacelli, Definition and performance evaluation of a fault localization technique for an NGN IMS network, IEEE Transactions on Network and Service Management, vol.6, issue.2, pp.122-136, 2009.
DOI : 10.1109/TNSM.2009.090605

R. Sasisekharan, Y. Hsu, and D. Simen, SCOUT: an approach to automating diagnoses of faults in large scale networks, Proceedings of GLOBECOM '93. IEEE Global Telecommunications Conference, pp.212-216, 1993.
DOI : 10.1109/GLOCOM.1993.318125

R. Sasisekharan, . Seshadri, M. Sholom, and . Weiss, Data mining and forecasting in large-scale telecommunication networks, IEEE Expert, vol.11, issue.1, pp.37-43, 1996.
DOI : 10.1109/64.482956

T. William, C. Scherer, and . White, A survey of expert systems for equipment maintenance and diagnostics. In Fault detection & reliability: knowledge based & other approaches, pp.3-18, 1987.

H. Schulzrinne, . Casner, V. Frederick, and . Jacobson, RTP: A Transport Protocol for Real-Time Applications, RFC, vol.3550, 2003.
DOI : 10.17487/rfc3550

A. Shaikh, R. Dube, and A. Varma, Avoiding instability during graceful shutdown of OSPF, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies, pp.883-892, 2002.
DOI : 10.1109/INFCOM.2002.1019335

A. Shaikh, R. Dube, and A. Varma, Avoiding instability during graceful shutdown of multiple OSPF routers, IEEE/ACM Transactions on Networking, vol.14, issue.3, pp.532-542, 2006.
DOI : 10.1109/TNET.2006.876152

S. Slade, Case-based reasoning: A research paradigm. AI magazine, p.42, 1991.

M. Steinder and A. S. Sethi, End-to-end service failure diagnosis using belief networks, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327), pp.375-390, 2002.
DOI : 10.1109/NOMS.2002.1015595

M. Steinder and A. S. Sethi, A survey of fault localization techniques in computer networks, Science of Computer Programming, vol.53, issue.2, pp.165-194, 2004.
DOI : 10.1016/j.scico.2004.01.010

M. Steinder and A. S. Sethi, Probabilistic fault diagnosis in communication systems through incremental hypothesis updating, Computer Networks, vol.45, issue.4, pp.537-562, 2004.
DOI : 10.1016/j.comnet.2004.01.007

Y. Tang, E. Al-shaer, and R. Boutaba, Efficient fault diagnosis using incremental alarm correlation and active investigation for internet and overlay networks . Network and Service Management, IEEE Transactions on, vol.5, pp.36-49, 2008.

E. Tispan, Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) -Resource and Admission Control Sub-system (RACS) -Functional Architecture, ETSI ES, vol.282, pp.3-4, 2006.

E. Tispan, UMTS) -Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) -IP Multimedia Subsystem (IMS) -Functional architecture, pp.2007-2019, 2007.

E. Tispan, Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) -NGN Functional Architecture, 2009.

E. Tispan, Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) -NGN Functional Architecture -Network Attachment Sub-System (NASS). ETSI ES 282 004 V3, pp.2010-2013, 2010.

J. Andrew, . Weiner, A. David, C. M. Thurman, and . Mitchell, Applying case-based reasoning to aid fault management in supervisory control, IEEE International Conference on Systems, Man and Cybernetics, pp.4213-4218, 1995.

G. Weiss, J. P. Ros, and A. Singhal, ANSWER: Network Monitoring Using Object-Oriented Rules, Proceedings of the Tenth Conference on Innovative Applications of Artificial Intelligence, pp.1087-1093, 1998.

M. Sholom, N. Weiss, and . Indurkhya, Optimized Rule Induction, IEEE Expert: Intelligent Systems and Their Applications, pp.61-69, 1993.

H. Wietgrefe, Investigation and practical assessment of alarm correlation methods for the use in GSM access networks, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327), pp.391-403, 2002.
DOI : 10.1109/NOMS.2002.1015597

P. Wu, R. Bhatnagar, L. Epshtein, M. Bhandaru, and Z. Shi, Alarm correlation engine (ACE), IEEE/IFIP Network Operations and Management Symposium, NOMS 98, pp.733-742, 1998.

J. Xiao, C. Huang, and J. Yan, IMS network deployment cost optimization based on flow-based traffic model, 2010 IEEE Network Operations and Management Symposium, NOMS 2010, pp.232-239, 2010.
DOI : 10.1109/NOMS.2010.5488467

S. Shaula-alexander-yemini, E. Kliger, Y. Mozes, D. Yemini, and . Ohsie, High speed and robust event correlation, IEEE Communications Magazine, vol.34, issue.5, pp.82-90, 1996.
DOI : 10.1109/35.492975

U. Réseau-bayésien-générique and .. , a gauche) avec un pattern unique, et une instance de ce réseau (` a droite) avec six instances de ce pattern se chevauchant, p.14

A. Resource and .. Control-subsystem-architecture, 97 5.7 Network Attachment Subsystem architecture 98 5.8 Network components and procedure for authentication 99 5.9 TISPAN NGN IMS functional architecture 100 5.10 Mapping functions to physical equipment 103 5.12 Notification sent to the RACS during network attachment, Call origination procedure . . . . . . . . . . . . . . . . . . . . . . . . . . 109 5.15 IMS networks are hierarchically organized structures, p.111

. Different-levels-of-granularity-for and .. Ip-configuration-procedure, 119 6.4 A mapping between the physical and the functional architecture, 120 6.5 Network model class hierarchy, p.121

. Alice-'s and .. Bn-instance-is-added, 130 7.7 A GBN (left) with a single pattern, and an instance of this GBN (right), p.132