, Lyon Paris, vol.70, issue.10, p.10, 0205.

?. Ag-!,

. Al-saqqar, J. Faisal, K. Bentahar, W. Sultan, E. Wan et al., Model checking temporal knowledge and commitments in multi-agent systems using reduction, Simulation Modelling Practice and Theory, vol.51, pp.45-68, 2015.

S. Ali, M. Mohammed, P. Doolan, E. Wernick, and . Wakelam, Developing an agent-based simulation model of software evolution, Information and Software Technology, vol.96, pp.126-140, 2018.

J. M. Allen, Air Carrier Maintenance Programs, 2012.

A. Alrabghi and A. Tiwari, State of the art in simulation-based optimisation for maintenance systems, Computers & Industrial Engineering, vol.82, pp.167-182, 2015.

A. Alrabghi and A. Tiwari, A novel approach for modelling complex maintenance systems using discrete event simulation, Reliability Engineering & System Safety, vol.154, pp.160-170, 2016.

A. , International specification for developing and continuously improving preventive maintenance, 2019.

T. F. Atdelzater, E. M. Atkins, and K. Shin, QoS negotiation in real-time systems and its application to automated flight control, IEEE Transactions on Computers, vol.49, issue.11, pp.1170-1183, 2000.

. Automata, Automata Theory, 2019.

F. Bateman, H. Noura, and M. Ouladsine, Fault diagnosis and faulttolerant control strategy for the aerosonde UAV, IEEE Transactions on Aerospace and Electronic Systems, vol.47, issue.3, pp.2119-2137, 2011.

J. Beliën, B. Cardoen, and E. Demeulemeester, Improving workforce scheduling of aircraft line maintenance at Sabena Technics, Interfaces, vol.42, issue.4, pp.352-364, 2012.

J. Bentahar, H. Yahyaoui, M. Kova, and Z. Maamar, Symbolic model checking composite Web services using operational and control behaviors, Expert Systems with Applications, vol.40, issue.2, pp.508-522, 2013.

B. S. Blanchard, System engineering management, 2004.

. Boeing, Boeing Global Service, 2019.

. Bombardier, CSP A2113 CRJ 100 P200, Quarterly P Monthly FRACAS report, vol.88, pp.135-136, 2004.

F. Boniol, V. Wiels, ;. Tla, V. , and Z. , The landing gear system case study, International Conference on Abstract State Machines, pp.1-18, 2014.

G. Booch, The unified modeling language user guide, 2005.

R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge, Verifying multiagent programs by model checking, Autonomous agents and multi-agent systems, vol.12, issue.2, pp.239-256, 2006.

R. Cavada, A. Cimatti, G. Keighren, E. Olivetti, M. Pistor et al., NuSMV 2.5 Tutorial, 2019.

Q. Chang, J. Ni, P. Bandyopadhyay, S. Biller, and G. Xiao, Maintenance staffing management, Journal of Intelligent Manufacturing, vol.18, issue.3, pp.351-360, 2007.

, Reliability report for civil arcraft, 2019.

P. Conn, K. Jones, and P. White, ATA e-Business Specification Overview, 2008.

M. Conroy, P. Gill, B. Hill, B. Ibach, C. Jones et al., Technical Data Interoperability (TDI) Pathfinder Via Emerging Standards, 2014.

A. J. Cook, G. Tanner, and S. Anderson, Evaluating the true cost to airlines of one minute of airborne or ground delay, 2004.

D. Bruecker, P. , and J. Beliën, A three-stage mixed integer programming approach for optimizing the skill mix and training schedules for aircraft maintenance, European Journal of Operational Research, 2017.

D. Bruecker, P. , and J. Beliën, A three-stage mixed integer programming approach for optimizing the skill mix and training schedules for aircraft maintenance, European Journal of Operational Research, vol.267, issue.2, pp.439-452, 2018.

J. Diaz, J. I. Huertas, and F. Trigos, Aircraft maintenance, routing, and crew scheduling planning for airlines with a single fleet and a single maintenance and crew base, Computers & Industrial Engineering, vol.75, pp.68-78, 2014.

D. Dinis, A. Barbosa-póvoa, and Â. Teixeira, Valuing data in aircraft maintenance through big data analytics: A probabilistic approach for capacity planning using Bayesian networks, Computers & Industrial Engineering, vol.128, pp.920-936, 2019.

T. Doi, T. Nishi, and S. Voß, Two-level decomposition-based matheuristic for airline crew rostering problems with fair working time, European Journal of Operational Research, 2017.

S. O. Duffuaa, M. Ben-daya, K. S. Al-sultan, and A. A. Andidjani, A generic conceptual simulation model for maintenance systems, Journal of Quality in Maintenance Engineering, vol.7, issue.3, pp.207-219, 2001.

M. J. Dupuy, E. Daniel, C. Wesely, and . Jenkins, Airline fleet maintenance: Tradeoff analysis of alternate aircraft maintenance approaches, Systems and Information Engineering Design Symposium (SIEDS), 2011 IEEE, pp.29-34, 2011.

I. Durazo-cardenas, A. Starr, J. Christopher, A. Turner, L. Tiwari et al., An autonomous system for maintenance scheduling data-rich complex infrastructure: Fusing the railways' condition, planning and cost, Transportation Research Part C: Emerging Technologies, vol.89, pp.234-253, 2018.

E. Menshawy, J. Mohamed, W. E. Bentahar, A. Kholy, and . Laarej, Model checking real-time conditional commitment logic using transformation, Journal of Systems and Software, vol.138, pp.189-205, 2018.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 2004.

J. Ferguson, A. Q. Kara, K. Hoffman, and L. Sherry, Estimating domestic US airline cost of delay based on European model, Transportation Research Part C: Emerging Technologies, vol.33, pp.311-323, 2013.

L. Gary, H. C. Ng, A. Amos, and . Tehseen, Towards strategic development of maintenance and its effects on production performance by using system dynamics in the automotive industry, International Journal of Production Economics, vol.200, pp.151-169, 2018.

D. Helbing, Agent-based modeling, Social self-organization, pp.25-70, 2012.

A. J. Heppenstall, T. Andrew, L. M. Crooks, M. See, and . Batty, Agent-based models of geographical systems, 2011.

. Iso, Systems and software engineering-architecture description, 2011.

R. Jensen and C. Cornelis, Fuzzy-rough nearest neighbour classification and prediction, Theoretical Computer Science, vol.412, issue.42, pp.5871-5884, 2011.

R. Jia, F. Ma, J. Dang, G. Liu, and H. Zhang, Research on Multidomain Fault Diagnosis of Large Wind Turbines under Complex Environment, Complexity, 2018.

X. Jiao, B. Jing, Y. Huang, J. Li, and G. Xu, Research on fault diagnosis of airborne fuel pump based on EMD and probabilistic neural networks, Microelectronics Reliability, vol.75, pp.296-308, 2017.

B. Keshanchi, A. Souri, and N. Navimipour, An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: formal verification, simulation, and statistical testing, Journal of Systems and Software, vol.124, pp.1-21, 2017.

G. Keysan, G. L. Nemhauser, and M. Savelsbergh, Tactical and operational planning of scheduled maintenance for per-seat, on-demand air transportation, Transportation Science, vol.44, issue.3, pp.291-306, 2010.

. Khoshgoftaar, M. Taghi, and N. Seliya, Fault prediction modeling for software quality estimation: Comparing commonly used techniques, Empirical Software Engineering, vol.8, issue.3, pp.255-283, 2003.

S. Khurshid, C. S. P?s?reanu, and W. Visser, Generalized symbolic execution for model checking and testing, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.553-568, 2003.

J. Kilpi, J. Töyli, and A. Vepsäläinen, Cooperative strategies for the availability service of repairable aircraft components, International Journal of Production Economics, vol.117, issue.2, pp.360-370, 2009.

S. Kim, J. Choi, and Y. Kim, Fault detection and diagnosis of aircraft actuators using fuzzy-tuning IMM filter, IEEE Transactions on Aerospace and Electronic Systems, vol.44, issue.3, pp.940-952, 2008.

H. A. Kinnison and T. Siddiqui, Aviation maintenance management. McGraw-Hill Professional, 2012.

P. Korvesis, Machine Learning for Predictive Maintenance in Aviation, 2017.
URL : https://hal.archives-ouvertes.fr/tel-02003508

G. Kozanidis, G. Gavranis, and G. Liberopoulos, Heuristics for flight and maintenance planning of mission aircraft, Annals of Operations Research, vol.221, issue.1, pp.211-238, 2014.

P. A. Kullstam, Availability, MTBF and MTTR for repairable M out of N system, IEEE Transactions on Reliability, vol.30, issue.4, pp.393-394, 1981.

U. Kumar, J. Dinesh, and . Crocker, Jezdimir Knezevic, and Mohamed El-Haram. 2012. Reliability, maintenance and logistic support:-A life cycle approach

J. Lafonsee, ATA iSpec 2200: The Lifecycle of the Spec, 2015.

P. Li, W. Wang, and R. Peng, Age-based replacement policy with consideration of production wait time, IEEE Transactions on Reliability, vol.65, issue.1, pp.235-247, 2016.

. Liu, J. Bin, M. Wu, and . Xie, Cost analysis for multi-component system with failure interaction under renewing free-replacement warranty, European Journal of Operational Research, vol.243, issue.3, pp.874-882, 2015.

Y. Liu, T. Wang, . Haiqing, V. Zhang, and . Cheutet, Towards Standards Analysis and Application in Process of Aircraft Maintenance Repair Overhaul, Proceedings of the IFAC World Congress, 2017.

Y. Liu, T. Wang, H. Zhang, and V. Cheutet, Information Systems Simulation for Performance Evaluation-Application in Aircraft Maintenance, IFIP International Conference on Product Lifecycle Management, pp.789-799, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01849562

Y. Liu, T. Wang, H. Zhang, and V. Cheutet, Simulation based fuzzy rough nearest neighbour fault classification and prediction for aircraft maintenance, Journal of Simulation Accepted, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02344426

Y. Liu, T. Wang, H. Zhang, V. Cheutet, and G. Shen, The design and simulation of an autonomous system for aircraft maintenance scheduling, Computers & Industrial Engineering, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02305653

Y. Liu, A. H. Ngu, Z. Liang, and . Zeng, QoS computation and policing in dynamic web service selection, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pp.66-73, 2004.

J. Llinas and D. Hall, An introduction to multi-sensor data fusion, Circuits and Systems, 1998. ISCAS'98. Proceedings of the 1998 IEEE International Symposium on, vol.6, pp.537-540, 1998.

Z. Maamar, Z. Quan, H. Sheng, J. Yahyaoui, K. Bentahar et al., A new approach to model web services' behaviors based on synchronization, Advanced Information Networking and Applications Workshops, 2009. WAINA'09. International Conference on, pp.43-49, 2009.

C. M. Macal and M. North, Tutorial on agent-based modeling and simulation, p.14, 2005.

C. M. Macal and M. North, Tutorial on agent-based modelling and simulation, Journal of simulation, vol.4, issue.3, pp.151-162, 2010.

A. Mackenzie, J. O. Miller, and R. R. Hill, Application of agent based modelling to aircraft maintenance manning and sortie generation, Simulation Modelling Practice and Theory, vol.20, issue.1, pp.89-98, 2012.

C. Magee and O. De-weck, Complex system classification, International Council On Systems Engineering, 2004.

C. K. Mechefske and J. Mathew, Fault detection and diagnosis in low speed rolling element bearings Part II: The use of nearest neighbour classification, Mechanical Systems and Signal Processing, vol.6, issue.4, pp.309-316, 1992.

A. Meski, W. Penczek, M. Szreter, B. Wo?na-szcze?niak, and A. Zbrzezny, BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance, Autonomous Agents and Multi-Agent Systems, vol.28, issue.4, pp.558-604, 2014.

K. Michaels, MRO Industry Outlook, 2010.

R. Mobley and . Keith, An introduction to predictive maintenance, 2002.

L. Monostori, J. Váncza, . Soundar, and . Kumara, Agent-based systems for manufacturing, CIRP Annals-Manufacturing Technology, vol.55, issue.2, pp.697-720, 2006.

T. Moyaux, B. Chaib-draa, and . Sophie-d'amours, Supply chain management and multiagent systems: an overview, Multiagent based supply chain management, pp.1-27, 2006.

E. Naderi and K. Khorasani, Data-driven fault detection, isolation and estimation of aircraft gas turbine engine actuator and sensors, Mechanical Systems and Signal Processing, vol.100, pp.415-438, 2018.

, National Aeronautics Space Administration, 2019.

N. Navimipour, A. Jafari, . Habibizad-navin, M. Amir-masoud-rahmani, and . Hosseinzadeh, Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources, Computers in Industry, vol.68, pp.65-77, 2015.

N. Papakostas and . Papachatzakis, Vangelis Xanthakis, Dimitris Mourtzis, and George Chryssolouris, Decision Support Systems, vol.48, issue.4, pp.604-612, 2010.

Y. Park and M. Kelly, Examination of cost-efficient aircraft fleets using empirical operation data in US aviation markets, Journal of Air Transport Management, vol.69, pp.224-234, 2018.

Z. Pawlak, Rough sets, International journal of computer & information sciences, vol.11, issue.5, pp.341-356, 1982.

Z. Pawlak, L. Polkowski, and A. Skowron, Rough Set Theory, 2008.

L. E. Peterson, K-nearest neighbor, Scholarpedia, vol.4, issue.2, p.1883, 2009.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

T. Pohl, Cost per hour of downtime per aircraft is 10,000 USD more, 2019.

G. Quan, W. Garrison, D. Greenwood, S. Liu, and . Hu, Searching for multiobjective preventive maintenance schedules: Combining preferences with evolutionary algorithms, European Journal of Operational Research, vol.177, issue.3, pp.1969-1984, 2007.

A. Radzikowska, E. E. Maria, and . Kerre, A comparative study of fuzzy rough sets, vol.126, pp.137-155, 2002.

F. Raimondi, Model checking multi-agent systems, 2006.

W. S. Randall, T. L. Pohlen, and J. Hanna, Evolving a theory of performancebased logistics using insights from service dominant logic, Journal of Business Logistics, vol.31, issue.2, pp.35-61, 2010.

W. W. Royce, Managing the development of large software systems: concepts and techniques, Proceedings of the 9th international conference on Software Engineering, pp.328-338, 1987.

N. Safaei, D. Banjevic, and A. D. Jardine, Workforce-constrained maintenance scheduling for military aircraft fleet: a case study, Annals of Operations Research, vol.186, issue.1, pp.295-316, 2011.

F. Sahin, Z. Çetin-yavuz, Ö. Arnavut, and . Uluyol, Fault diagnosis for airplane engines using Bayesian networks and distributed particle swarm optimization, Parallel Computing, vol.33, issue.2, pp.124-143, 2007.

M. Sahnoun, D. Baudry, N. Mustafee, and A. Louis, Modelling and simulation of operation and maintenance strategy for offshore wind farms based on multi-agent system, Journal of Intelligent Manufacturing, pp.1-17, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248095

R. Salto?lu, N. Humaira, and G. ?nalhan, Aircraft scheduled airframe maintenance and downtime integrated cost model, Advances in Operations Research, 2016.

P. Samaranayake and S. Kiridena, Aircraft maintenance planning and scheduling: an integrated framework, Journal of Quality in Maintenance Engineering, vol.18, issue.4, pp.432-453, 2012.

. Sheng, Z. Quan, Z. Maamar, H. Yahyaoui, J. Bentahar et al., Separating operational and control behaviors: A new approach to Web services modeling, IEEE Internet Computing, vol.14, issue.3, pp.68-76, 2010.

A. Shenneld, P. Fleming, and J. Allan, Optimisation of maintenance scheduling strategies on the grid, Annals of Operations Research, vol.180, issue.1, pp.213-231, 2010.

. Sheu, H. Shey-huei, F. Tsai, Z. Wang, and . Zhang, An extended optimal replacement model for a deteriorating system with inspections, Reliability Engineering & System Safety, vol.139, pp.33-49, 2015.

. Siebers, . Peer-olaf, M. Charles, J. Macal, D. Garnett et al., Discrete-event simulation is dead, long live agent-based simulation!, Journal of Simulation, vol.4, issue.3, pp.204-210, 2010.

T. Skersys, P. Danenas, and R. Butleris, Extracting SBVR business vocabularies and business rules from UML use case diagrams, Journal of Systems and Software, vol.141, pp.111-130, 2018.

C. Sobie, C. Freitas, and M. Nicolai, Simulation-driven machine learning: Bearing fault classification, Mechanical Systems and Signal Processing, vol.99, pp.403-419, 2018.

W. Song, H. Xi, D. Kang, and J. Zhang, An agent-based simulation system for multi-project scheduling under uncertainty, Simulation Modelling Practice and Theory, vol.86, pp.187-203, 2018.

A. Souri and N. Navimipour, Behavioral modeling and formal verification of a resource discovery approach in Grid computing, Expert Systems with Applications, vol.41, issue.8, pp.3831-3849, 2014.

. Tat-group, Sabena Technics -Airframe services, 2010.

. Tayarani-bathaie, . Sina, . Zn-sadough, K. Vanini, and . Khorasani, Dynamic neural network-based fault diagnosis of gas turbine engines, Neurocomputing, vol.125, pp.153-165, 2014.

T. Tinga, Principles of Loads and Failure Mechanisms, 2013.

T. Tinga, Application of physical failure models to enable usage and load based maintenance, Reliability Engineering & System Safety, vol.95, issue.10, pp.1061-1075, 2010.

V. Tsagkas, D. Nathanael, and N. Marmaras, A pragmatic mapping of factors behind deviating acts in aircraft maintenance, Reliability Engineering & System Safety, vol.130, pp.106-114, 2014.

. Tsbc, Statistical Summary -Aviation Occurrences, 2016.

. Van-den-bergh, P. D. Jorne, J. Bruecker, and . Beliën, A three-stage approach for aircraft line maintenance personnel rostering using MIP, discrete event simulation and DEA, Expert Systems with Applications, vol.40, issue.7, pp.2659-2668, 2013.

M. Y. Vardi, Alternating automata and program verification, Computer Science Today, pp.471-485, 1995.

. Verhagen, J. C. Wim, and L. Boer, Predictive Maintenance for Aircraft Components using Proportional Hazard Models, Journal of Industrial Information Integration, 2018.

E. Viles, . Puente, F. Alvarez, and . Alonso, Improving the corrective maintenance of an electronic system for trains, Journal of Quality in Maintenance Engineering, vol.13, issue.1, pp.75-87, 2007.

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model checking programs, Automated software engineering, vol.10, issue.2, pp.203-232, 2003.

E. Waltz and . Hall, Requirements derivation for data fusion systems, 2001.

S. Wan, D. Li, J. Gao, R. Roy, and F. He, A collaborative machine tool maintenance planning system based on content management technologies, The International Journal of Advanced Manufacturing Technology, vol.94, issue.5-8, pp.1639-1653, 2018.

H. Wang, A survey of maintenance policies of deteriorating systems, European journal of operational research, vol.139, issue.3, pp.469-489, 2002.

M. Ward, N. Mcdonald, R. Morrison, D. Gaynor, and T. Nugent, A performance improvement case study in aircraft maintenance and its implications for hazard identification, Ergonomics, vol.53, issue.2, pp.247-267, 2010.

H. Yahyaoui, Z. Maamar, and K. Boukadi, A framework to coordinate web services in composition scenarios, International Journal of Web and Grid Services, vol.6, issue.2, pp.95-123, 2010.

S. Yan, C. Tang, and T. Fu, An airline scheduling model and solution algorithms under stochastic demands, European Journal of Operational Research, vol.190, issue.1, pp.22-39, 2008.

Z. Yang, D. Max, and . Djurdjanovic, Maintenance scheduling in manufacturing systems based on predicted machine degradation, Journal of intelligent manufacturing, vol.19, issue.1, pp.87-98, 2008.

L. A. Zadeh, Fuzzy sets, Information and Control, vol.8, pp.338-353, 1965.

M. Zhang, Z. Ye, and M. Xie, A condition-based maintenance strategy for heterogeneous populations, Computers & Industrial Engineering, vol.77, pp.103-114, 2014.

P. Zhang, H. Muccini, and B. Li, A classification and comparison of model checking software architecture techniques, Journal of Systems and Software, vol.83, issue.5, pp.723-744, 2010.

Z. Zhang, G. Liu, Z. Jiang, and Y. Chen, A cloud-based framework for lean maintenance, repair, and overhaul of complex equipment, Journal of Manufacturing Science and Engineering, vol.137, issue.4, p.40908, 2015.