Ten-year European Rail Growth Trends. Britain's railways -the fastest growing in Europe (Rapport), Association of Train Operating Companies, 2007. ,
Integration of techniques for early fault detection and diagnosis for improving process safety: Application to a Fluid Catalytic Cracking refinery process, Journal of Loss Prevention in the Process Industries, vol.26, issue.4, pp.660-665, 2013. ,
DOI : 10.1016/j.jlp.2013.01.002
Diagnostics of mobile work machines, 2006. ,
Imperfect Coverage Models: Status and Trends Handbook of Performability Engineering, pp.321-348, 2008. ,
Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri (Thèse de doctorat) Braunschweig Technische Universität, 2009. ,
Composants logiciels et sûreté de fonctionnement: intégration de COTS. Paris. Hermès science publications. COTS: Components off the shelf, 2000. ,
Fault Diagnosis of Networked Control Systems, International Journal of Applied Mathematics and Computer Science, vol.18, issue.4, pp.525-537, 2008. ,
DOI : 10.2478/v10006-008-0046-3
URL : https://hal.archives-ouvertes.fr/hal-00348165
Co-design Approaches for Dependable Networked Control Systems, 2010. ,
DOI : 10.1002/9781118557679
URL : https://hal.archives-ouvertes.fr/inria-00443847
Fundamental concepts of dependability, Proceedings of ISW 2000. 34th Information Survivability Workshop, pp.7-12, 2000. ,
Communications reliability analysis in networked embedded systems, Actes de ESREL2011. Advances in Safety, Reliability and Risk Management, pp.2639-2646, 2011. ,
DOI : 10.1201/b11433-375
URL : https://hal.archives-ouvertes.fr/hal-00625399
Evaluation et validation de la fiabilité et de la disponibilité des systèmes d'automatisation à intelligence distribuée, 2003. ,
The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems, Reliability Engineering & System Safety, vol.93, issue.2, pp.179-196, 2008. ,
DOI : 10.1016/j.ress.2006.12.020
URL : https://hal.archives-ouvertes.fr/hal-00289481
State-of-the-art in integrated vehicle health management, Proceedings of the Institution of Mechanical Engineers, pp.157-170, 2009. ,
DOI : 10.1243/09544100JAERO446
Condition Based Maintenance on Rail Vehicles -Possibilities for a more effective maintenance strategy, 2003. ,
Les systèmes de télécommunication existants ou émergents et leur utilisation dans le domaine des transports guidés. Synthèse INRETS, 2002. ,
Distributed Diagnosis Using a Condensed Representation of Diagnoses With Application to an Automotive Vehicle. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol.41, issue.6, pp.1262-1267, 2011. ,
The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, pp.747-755, 2006. ,
DOI : 10.1016/j.ress.2004.12.004
URL : https://hal.archives-ouvertes.fr/hal-00182500
Le site de Crespin -les compétences réussies d'un intégrateur ferroviaire (Dossier de presse), 2010. ,
Interactions entre composants matériel et logiciel de systèmes tolérants aux fautes: caractérisation, formalisation, modélisation -application à la sureté de fonctionnement du CAUTRA, Thèse de doctorat). Institut National Polytechnique de Toulouse, 1996. ,
A discrete-time Bayesian network reliability modeling and analysis framework, Reliability Engineering & System Safety, vol.87, issue.3, pp.337-349, 2005. ,
DOI : 10.1016/j.ress.2004.06.004
Improving availability and safety of control systems by cooperation between intelligent transmitters. Actes de PSAM 10: Probabilistic safety assessment and management, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00507468
Using dynamic Bayesian networks to solve a dynamic reliability problem. Actes de ESREL2011 Advances in Safety, Reliability and Risk Management, pp.335-341, 2011. ,
Embedded diagnostic/prognostic reasoning and information continuity for improved avionics maintenance, Proceedings AUTOTESTCON 2003. IEEE Systems Readiness Technology Conference., pp.320-329, 2003. ,
DOI : 10.1109/AUTEST.2003.1243595
Evaluation de la sûreté de fonctionnement des systèmes dynamiques par modélisation récursive, Actes du 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005. ,
Model based fault diagnosis techniques: an overview and a proposal (Research report), 2003. ,
Spécification et conception des systèmes: une méthodologie, Manuels informatiques Masson, 1990. ,
Méthodes et modèles pour l'évaluation de la sûreté de fonctionnement de systèmes automatisés complexes: Application à l'exploitation de lignes de production -Application à la conception de systèmes intelligents distribués (Habilitation à Diriger des Recherches), 2005. ,
Design of intelligent distributed control systems: a dependability point of view. Reliability Engineering and System Safety, pp.19-32, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00289496
Robustness study and reliability growth based on exploratory design of experiments and statistical analysis: a case study using a train door test bench, The International Journal of Advanced Manufacturing Technology, vol.132, issue.5, pp.1-4, 2013. ,
DOI : 10.1007/s00170-012-4303-0
SYSTEMIC MODELING OF INTEGRATED SYSTEMS FOR DECISION MAKING EARLY ON IN THE DESIGN PROCESS, Cybernetics and Systems, vol.1, issue.1, pp.1-22, 2012. ,
DOI : 10.1080/00207720903572448
Réseaux de terrain -critères de sûreté de fonctionnement. Traités IC2 (Information -Commande -Communication), série systèmes automatisés, 2009. ,
SIL: automatisme & sécurité, 2010. ,
Efficient and Reliable Communication in Distributed Embedded Systems (Thèse de doctorat), 2002. ,
Selecting components in large COTS repositories, Journal of Systems and Software, vol.73, issue.2, pp.323-331, 2004. ,
DOI : 10.1016/j.jss.2003.09.019
Integration of process simulations in availability studies, Reliability Engineering & System Safety, vol.55, issue.2, pp.105-116, 1997. ,
DOI : 10.1016/S0951-8320(96)00007-5
Conflicts Versus Analytical Redundancy Relations: A Comparative Analysis of the Model Based Diagnosis Approach From the Artificial Intelligence and Automatic Control Perspectives, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2163-2177, 2004. ,
DOI : 10.1109/TSMCB.2004.835010
URL : https://hal.archives-ouvertes.fr/hal-00353890
Evaluating disturbance robustness of railway schedules ( No. RT-DIA-197-2012 ,
Discrete, continuous, and hybrid Petri Nets, 2005. ,
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611
Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987. ,
DOI : 10.1016/0004-3702(87)90063-4
Reliability Challenges in Rail Transport Industry, Proceedings of Mathematical Methods in Reliability, 2009. ,
Influence de la testabilité et de la politique de maintenance sur la disponibilité d'un système ferroviaire, 2007. ,
Les réseaux de Petri: Modèles fondamentaux. IC2 Hermès science publications, 2001. ,
Architectures de diagnostic et de pronostic distribuées de systèmes techniques complexes de grande dimension, Thèse de doctorat). Toulouse. Institut National Polytechnique de Toulouse, 2010. ,
Modélisation de la fiabilité et de la maintenance par modèles graphiques probabilistes Application à la prévention des ruptures de rails, 2009. ,
Diagnostic, intelligence artificielle et reconnaissance des formes. IC2 information -commande -communication, Hermès Science publications, 2001. ,
Railway passenger transport decreased slightly at the beginning of, 2009. ,
Approximation Algorithms for Model-Based Diagnosis (Thèse de doctorat), 2010. ,
Dependability evaluation of an air traffic control computing system, Proceedings of the IEEE Computer Performance and Dependability Symposium, pp.206-215, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00762602
Reliability increasing through networked cascade control structure ??? consideration of quasi-redundant subsystems, IFAC Proceedings Volumes, vol.41, issue.2, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01159
URL : https://hal.archives-ouvertes.fr/hal-00349419
Evaluation de FMD d'un système dynamique hybride par Réseaux de Petri: application à un accès voyageurs, Actes de Lambda Mu 18, pp.1376-1385 ,
Extension des Concepts de la norme CEI-61508 pour la conception d'un système de surveillance, 2012. ,
Improving the reliability/availability of a complex system by an active monitoring based onto « augmentation concept »:Application onto a railway system Advances in Safety, Reliability and Risk Management, 2011. ,
Comparison of embedded diagnosis architectures in the field of railway transport:a dependability point of view, Proceedings of the Institution of Mechanical Engineers, 2013. ,
Modélisation aléatoire en fiabilité des logiciels. Méthodes stochastiques appliquées, 2007. ,
Dependability evaluation of networked control systems under transmission faults, Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1129-1134, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00092457
Distributed Fault Diagnosis for Networked Embedded Systems, 2005. ,
Lectures on formal methods and performance analysis, pp.1-37, 2002. ,
System reliability theory: models, statistical methods, and applications. Wiley series in probability and statistics: Applied probability and statistics, 2004. ,
Fault-Diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance, 2006. ,
DOI : 10.1007/3-540-30368-5
An Introduction to the Theoretical Aspects of Coloured Petri Nets, DAIMI Report Series, vol.13, issue.476, pp.230-272, 1994. ,
DOI : 10.7146/dpb.v13i476.6949
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007. ,
DOI : 10.1007/s10009-007-0038-x
Role-Based Diagnosis for Distributed Vehicle Functions, Online Proceedings of the 21st International Workshop on the Principles of Diagnosis (DX), 2010. ,
Analysis of the Train Communication Network Protocol Error Detection Capabilities. Institute for Software Research, 2001. ,
Reliable sensor networks -a case study in commuter trains, 2008. ,
Benchmarking the Vehicle Integrated Prognostic Reasoner, Proceedings of the Annual Conference of the Prognostics and Health Management Society, 2010. ,
Satisfying safety goals by probabilistic risk assessment. Springer series in reliability engineering, 2007. ,
Probabilistic risk assessment and management for engineers and scientists, 1996. ,
Guide de la sûreté de fonctionnement, 1995. ,
ISO 9000 -EAFQ maintenance et assurance de la qualité, 1998. ,
Embedded holonic fault diagnosis of complex transportation systems, Engineering Applications of Artificial Intelligence, vol.26, issue.1, pp.227-240, 2013. ,
DOI : 10.1016/j.engappai.2012.09.008
An Embedded Cooperative Holarchy for Diagnosing Complex Moving Systems, Proceedings of the 14th IFAC symposium on Information & Control problems in Manufacturing (INCOM), pp.673-678, 2012. ,
DOI : 10.3182/20120523-3-RO-2023.00276
Ingénierie de la fiabilité, 2006. ,
Commandes coopératives embarquées et tolérantes aux défauts (Thèse de doctorat) Université Henri Poincaré Nancy 1. Faculté des sciences et techniques, 2010. ,
Compiling Model-Based Diagnosis to Boolean Satisfaction, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012. ,
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams, Reliability Engineering & System Safety, vol.93, issue.7, pp.1025-1035, 2008. ,
DOI : 10.1016/j.ress.2007.05.002
Life cycle costs for railway condition monitoring, Transportation Research Part E: Logistics and Transportation Review, vol.44, issue.6, pp.1175-1187, 2008. ,
DOI : 10.1016/j.tre.2007.12.003
Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees, IEEE Transactions on Reliability, vol.51, issue.2, pp.240-251, 2002. ,
DOI : 10.1109/TR.2002.1011531
Surveillance et diagnostic des machines -Surveillance et diagnostic de l'état des machines -Vocabulaire. (Norme), 2005. ,
Worst-case deadline failure probability in real-time applications distributed over controller area network, Journal of Systems Architecture, vol.46, issue.7, pp.607-617, 2000. ,
DOI : 10.1016/S1383-7621(99)00016-8
URL : https://hal.archives-ouvertes.fr/inria-00099080
Catastrophes? Non merci! La prévention des risques technologiques et humains, 1989. ,
Maîtrise des risques et sûreté de fonctionnement des systèmes de production. IC2: Série Productique, 2002. ,
Criterions for detectability and strong detectability of faults in linear systems, International Journal of Control, vol.75, issue.7, pp.490-501, 2002. ,
DOI : 10.1016/S0005-1098(98)00043-0
Fiabilité des systèmes Collection de la Direction des études et recherches d'Électricité de France, Paris. Eyrolles, 1980. ,
Component Failure Behaviour: Patterns and Reuse in Automated System Safety Analysis, SAE Technical Paper Series, 2006. ,
DOI : 10.4271/2006-01-1332
URL : https://hal.archives-ouvertes.fr/hal-00361730
Robustness in model-based fault diagnosis: The 1995 situation, Annual Reviews in Control, vol.21, issue.0, pp.103-123, 1997. ,
DOI : 10.1016/S1367-5788(97)00020-5
Kommunikation mit Automaten (Thèse de doctorat), 1962. ,
Modelling and Analysis of Heterarchical Manufacturing Systems Using Discontinuous Differential Equations. CIRP Annals - Manufacturing Technology, pp.445-448, 1996. ,
Fiabilité et maintenance des matériels industriels réparables et non réparables. SRD, sciences du risque et du danger, 2011. ,
Diagnostic Automatique Une nouvelle approche de diagnostic machine basée sur l'exécution d'un modèle structurel, Actes de la Journée SEE?AAI, GDRMACS-S3. Les nouveaux outils de diagnostic dans les processus industriels -Les clés de la compétitivité, 2008. ,
Les réseaux informatiques: conception et optimisation, 2006. ,
Analysis of the COTS debate, Safety Science, vol.42, issue.5, pp.355-367, 2004. ,
DOI : 10.1016/j.ssci.2003.09.005
TrainCom: an Integrated Communication System for Intelligent TrainApplications, Proceedings of the WCRR, World Conference on Railway Research, 2003. ,
Vers l'intégration diagnostic-pronostic pour la maintenance des systèmes complexes (Thèse de doctorat). Toulouse, 2009. ,
Multi-Agent Diagnosis with Semantically Distributed Knowledge, Proceedings of the 15th Belgium-Dutch Conference on Artificial Intelligence (BNAIC-2003, pp.259-266, 2003. ,
Lebenszykluskosten optimieren: Paradigmenwechsel für Anbieter und Nutzer von Investitionsgütern, 2009. ,
DOI : 10.1007/978-3-8349-8094-6
Advances in railways maintenance: the EuRoMain project, Proceedings of the WCRR, World Conference on Railway Research, 2003. ,
Remote system condition monitoring Considerations for the utilization of smart sensors, Sensors and Actuators A: Physical, vol.47, pp.1-3, 1995. ,
Intelligent Sensors: A Functional View, IEEE Transactions on Industrial Informatics, vol.1, issue.4, pp.238-249, 2005. ,
DOI : 10.1109/TII.2005.857616
Distributed diagnosis for qualitative systems, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.169-174, 2002. ,
DOI : 10.1109/WODES.2002.1167684
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1623
A system view of the No Fault Found (NFF) phenomenon. Reliability Engineering & System Safety, pp.1-14, 2007. ,
OHMS - Real-time analysis of the pantograph catenary interaction to reduce maintenance costs, 5th IET Conference on Railway Condition Monitoring and Non-Destructive Testing (RCM 2011), 2011. ,
DOI : 10.1049/cp.2011.0600
Sûreté de fonctionnement de Systèmes d'Automatisation à Intelligence Distribuée (Habilitation à Diriger des Recherches) Université Henri Poincaré Nancy 1, 2004. ,
Fieldbuses and Quality of Service, Proceedings of the 5th Portuguese Conference on Automatic Control, pp.10-14, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00100905
Amélioration de la fiabilité d'un système complexe Application ferroviaire: accès voyageurs, Thèse de doctorat). Université de Valenciennes et du Hainaut- Cambresis, 2013. ,
Proposition d'une méthodologie pour la réalisation d'essais de fiabilité sur un système complexe d'accès voyageur, pp.1-10 ,
Predictive maintenance of railway subsystems using an Ontology based modelling approach, Proceedings of the WCRR2011, World Conference on Railway Research, 2011. ,
A new approach to optimisation through intelligent integration of railway systems:the InteGRail project, 2006. ,
A structured approach to improved condition monitoring, Journal of Loss Prevention in the Process Industries, vol.25, issue.3, pp.478-488, 2012. ,
DOI : 10.1016/j.jlp.2011.12.004
Modélisation de la disponibilité d'un système de communication ferroviaire base sur les standards Wireless IEEE 802 ,
A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.293-311, 2003. ,
DOI : 10.1016/S0098-1354(02)00160-6
Perspectives in the use of coloured Petri nets for risk analysis and accident modelling, Safety Science, vol.41, issue.5, pp.445-463, 2003. ,
DOI : 10.1016/S0925-7535(01)00078-9
Reliability, Availability, Maintainability and Safety Assessment, 1991. ,
Challenges in Assessing System-Level Effects of IVHM, Proceedings of the Indo-US workshop on Integrated Vehicle Health Management and Aviation Safety (WIAS), 2012. ,
Les réseaux de terrain embarqués dans les transports guidés. Synthèse INRETS, 2004. ,
Survey of Railway Embedded Network Solutions: Towards the Use of Industrial Ethernet Technologies. Synthèse INRETS, 2010. ,
Overview on Bayesian networks applications for dependability, risk analysis and maintenance areas, Engineering Applications of Artificial Intelligence, vol.25, issue.4, pp.671-682, 2012. ,
DOI : 10.1016/j.engappai.2010.06.002
URL : https://hal.archives-ouvertes.fr/hal-00546144
Systèmes et procédés de maintenance à base de conditions, 2009. ,
Device and method for a system analysis and diagnosis, 2008. ,
A fault prediction system for vehicles, 2003. ,
Shared redundancy as a means of producing reliable mission critical systems, Annual Symposium Reliability and Maintainability, 2004, RAMS, pp.376-381, 2004. ,
DOI : 10.1109/RAMS.2004.1285478
Modélisation et évaluation des stratégies de maintenance complexes sur des systèmes multi-composants (Thèse de doctorat), 2009. ,
Towards modeling and evaluation of ETCS real-time communication and operation, Journal of Systems and Software, vol.77, issue.1, pp.47-54, 2005. ,
DOI : 10.1016/j.jss.2003.12.039
Diagnostic des défaillances: théorie et pratique pour les systèmes industriels. Traité des nouvelles technologies. Série Diagnostic et maintenance, 1995. ,
La maintenance basée sur la fiabilité: Guide pratique d'application de la RCM, 1996. ,