, Lyon Paris, vol.70, issue.10, p.10, 0205.
,
Model checking temporal knowledge and commitments in multi-agent systems using reduction, Simulation Modelling Practice and Theory, vol.51, pp.45-68, 2015. ,
Developing an agent-based simulation model of software evolution, Information and Software Technology, vol.96, pp.126-140, 2018. ,
Air Carrier Maintenance Programs, 2012. ,
State of the art in simulation-based optimisation for maintenance systems, Computers & Industrial Engineering, vol.82, pp.167-182, 2015. ,
A novel approach for modelling complex maintenance systems using discrete event simulation, Reliability Engineering & System Safety, vol.154, pp.160-170, 2016. ,
International specification for developing and continuously improving preventive maintenance, 2019. ,
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 Theory, 2019. ,
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. ,
Improving workforce scheduling of aircraft line maintenance at Sabena Technics, Interfaces, vol.42, issue.4, pp.352-364, 2012. ,
Symbolic model checking composite Web services using operational and control behaviors, Expert Systems with Applications, vol.40, issue.2, pp.508-522, 2013. ,
System engineering management, 2004. ,
Boeing Global Service, 2019. ,
CSP A2113 CRJ 100 P200, Quarterly P Monthly FRACAS report, vol.88, pp.135-136, 2004. ,
The landing gear system case study, International Conference on Abstract State Machines, pp.1-18, 2014. ,
The unified modeling language user guide, 2005. ,
Verifying multiagent programs by model checking, Autonomous agents and multi-agent systems, vol.12, issue.2, pp.239-256, 2006. ,
NuSMV 2.5 Tutorial, 2019. ,
Maintenance staffing management, Journal of Intelligent Manufacturing, vol.18, issue.3, pp.351-360, 2007. ,
, Reliability report for civil arcraft, 2019.
ATA e-Business Specification Overview, 2008. ,
Technical Data Interoperability (TDI) Pathfinder Via Emerging Standards, 2014. ,
Evaluating the true cost to airlines of one minute of airborne or ground delay, 2004. ,
A three-stage mixed integer programming approach for optimizing the skill mix and training schedules for aircraft maintenance, European Journal of Operational Research, 2017. ,
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. ,
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. ,
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. ,
Two-level decomposition-based matheuristic for airline crew rostering problems with fair working time, European Journal of Operational Research, 2017. ,
A generic conceptual simulation model for maintenance systems, Journal of Quality in Maintenance Engineering, vol.7, issue.3, pp.207-219, 2001. ,
Airline fleet maintenance: Tradeoff analysis of alternate aircraft maintenance approaches, Systems and Information Engineering Design Symposium (SIEDS), 2011 IEEE, pp.29-34, 2011. ,
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. ,
Model checking real-time conditional commitment logic using transformation, Journal of Systems and Software, vol.138, pp.189-205, 2018. ,
Reasoning about knowledge, 2004. ,
Estimating domestic US airline cost of delay based on European model, Transportation Research Part C: Emerging Technologies, vol.33, pp.311-323, 2013. ,
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. ,
Agent-based modeling, Social self-organization, pp.25-70, 2012. ,
Agent-based models of geographical systems, 2011. ,
Systems and software engineering-architecture description, 2011. ,
Fuzzy-rough nearest neighbour classification and prediction, Theoretical Computer Science, vol.412, issue.42, pp.5871-5884, 2011. ,
Research on Multidomain Fault Diagnosis of Large Wind Turbines under Complex Environment, Complexity, 2018. ,
Research on fault diagnosis of airborne fuel pump based on EMD and probabilistic neural networks, Microelectronics Reliability, vol.75, pp.296-308, 2017. ,
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. ,
Tactical and operational planning of scheduled maintenance for per-seat, on-demand air transportation, Transportation Science, vol.44, issue.3, pp.291-306, 2010. ,
Fault prediction modeling for software quality estimation: Comparing commonly used techniques, Empirical Software Engineering, vol.8, issue.3, pp.255-283, 2003. ,
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. ,
Cooperative strategies for the availability service of repairable aircraft components, International Journal of Production Economics, vol.117, issue.2, pp.360-370, 2009. ,
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. ,
Aviation maintenance management. McGraw-Hill Professional, 2012. ,
Machine Learning for Predictive Maintenance in Aviation, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-02003508
Heuristics for flight and maintenance planning of mission aircraft, Annals of Operations Research, vol.221, issue.1, pp.211-238, 2014. ,
Availability, MTBF and MTTR for repairable M out of N system, IEEE Transactions on Reliability, vol.30, issue.4, pp.393-394, 1981. ,
Jezdimir Knezevic, and Mohamed El-Haram. 2012. Reliability, maintenance and logistic support:-A life cycle approach ,
ATA iSpec 2200: The Lifecycle of the Spec, 2015. ,
Age-based replacement policy with consideration of production wait time, IEEE Transactions on Reliability, vol.65, issue.1, pp.235-247, 2016. ,
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. ,
Towards Standards Analysis and Application in Process of Aircraft Maintenance Repair Overhaul, Proceedings of the IFAC World Congress, 2017. ,
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
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
The design and simulation of an autonomous system for aircraft maintenance scheduling, Computers & Industrial Engineering, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02305653
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. ,
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. ,
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. ,
Tutorial on agent-based modeling and simulation, p.14, 2005. ,
Tutorial on agent-based modelling and simulation, Journal of simulation, vol.4, issue.3, pp.151-162, 2010. ,
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. ,
Complex system classification, International Council On Systems Engineering, 2004. ,
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. ,
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. ,
MRO Industry Outlook, 2010. ,
An introduction to predictive maintenance, 2002. ,
Agent-based systems for manufacturing, CIRP Annals-Manufacturing Technology, vol.55, issue.2, pp.697-720, 2006. ,
Supply chain management and multiagent systems: an overview, Multiagent based supply chain management, pp.1-27, 2006. ,
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.
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. ,
Vangelis Xanthakis, Dimitris Mourtzis, and George Chryssolouris, Decision Support Systems, vol.48, issue.4, pp.604-612, 2010. ,
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. ,
Rough sets, International journal of computer & information sciences, vol.11, issue.5, pp.341-356, 1982. ,
Rough Set Theory, 2008. ,
K-nearest neighbor, Scholarpedia, vol.4, issue.2, p.1883, 2009. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
Cost per hour of downtime per aircraft is 10,000 USD more, 2019. ,
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 comparative study of fuzzy rough sets, vol.126, pp.137-155, 2002. ,
Model checking multi-agent systems, 2006. ,
Evolving a theory of performancebased logistics using insights from service dominant logic, Journal of Business Logistics, vol.31, issue.2, pp.35-61, 2010. ,
Managing the development of large software systems: concepts and techniques, Proceedings of the 9th international conference on Software Engineering, pp.328-338, 1987. ,
Workforce-constrained maintenance scheduling for military aircraft fleet: a case study, Annals of Operations Research, vol.186, issue.1, pp.295-316, 2011. ,
Fault diagnosis for airplane engines using Bayesian networks and distributed particle swarm optimization, Parallel Computing, vol.33, issue.2, pp.124-143, 2007. ,
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
Aircraft scheduled airframe maintenance and downtime integrated cost model, Advances in Operations Research, 2016. ,
Aircraft maintenance planning and scheduling: an integrated framework, Journal of Quality in Maintenance Engineering, vol.18, issue.4, pp.432-453, 2012. ,
Separating operational and control behaviors: A new approach to Web services modeling, IEEE Internet Computing, vol.14, issue.3, pp.68-76, 2010. ,
Optimisation of maintenance scheduling strategies on the grid, Annals of Operations Research, vol.180, issue.1, pp.213-231, 2010. ,
An extended optimal replacement model for a deteriorating system with inspections, Reliability Engineering & System Safety, vol.139, pp.33-49, 2015. ,
Discrete-event simulation is dead, long live agent-based simulation!, Journal of Simulation, vol.4, issue.3, pp.204-210, 2010. ,
Extracting SBVR business vocabularies and business rules from UML use case diagrams, Journal of Systems and Software, vol.141, pp.111-130, 2018. ,
Simulation-driven machine learning: Bearing fault classification, Mechanical Systems and Signal Processing, vol.99, pp.403-419, 2018. ,
An agent-based simulation system for multi-project scheduling under uncertainty, Simulation Modelling Practice and Theory, vol.86, pp.187-203, 2018. ,
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. ,
Sabena Technics -Airframe services, 2010. ,
Dynamic neural network-based fault diagnosis of gas turbine engines, Neurocomputing, vol.125, pp.153-165, 2014. ,
Principles of Loads and Failure Mechanisms, 2013. ,
Application of physical failure models to enable usage and load based maintenance, Reliability Engineering & System Safety, vol.95, issue.10, pp.1061-1075, 2010. ,
A pragmatic mapping of factors behind deviating acts in aircraft maintenance, Reliability Engineering & System Safety, vol.130, pp.106-114, 2014. ,
Statistical Summary -Aviation Occurrences, 2016. ,
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. ,
Alternating automata and program verification, Computer Science Today, pp.471-485, 1995. ,
Predictive Maintenance for Aircraft Components using Proportional Hazard Models, Journal of Industrial Information Integration, 2018. ,
Improving the corrective maintenance of an electronic system for trains, Journal of Quality in Maintenance Engineering, vol.13, issue.1, pp.75-87, 2007. ,
Model checking programs, Automated software engineering, vol.10, issue.2, pp.203-232, 2003. ,
Requirements derivation for data fusion systems, 2001. ,
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. ,
A survey of maintenance policies of deteriorating systems, European journal of operational research, vol.139, issue.3, pp.469-489, 2002. ,
A performance improvement case study in aircraft maintenance and its implications for hazard identification, Ergonomics, vol.53, issue.2, pp.247-267, 2010. ,
A framework to coordinate web services in composition scenarios, International Journal of Web and Grid Services, vol.6, issue.2, pp.95-123, 2010. ,
An airline scheduling model and solution algorithms under stochastic demands, European Journal of Operational Research, vol.190, issue.1, pp.22-39, 2008. ,
Maintenance scheduling in manufacturing systems based on predicted machine degradation, Journal of intelligent manufacturing, vol.19, issue.1, pp.87-98, 2008. ,
Fuzzy sets, Information and Control, vol.8, pp.338-353, 1965. ,
A condition-based maintenance strategy for heterogeneous populations, Computers & Industrial Engineering, vol.77, pp.103-114, 2014. ,
A classification and comparison of model checking software architecture techniques, Journal of Systems and Software, vol.83, issue.5, pp.723-744, 2010. ,
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. ,