, Transport routier de marchandises. Vigilant à l'arrêt comme au volant STAROSWIEKI : An efficient algorithm for the design of fault tolerant multi-sensor systems, Institut National de Recherche et de Sécurité (INRS), Brochure ED826 Proceedings of the 40th IEEE Conference on Decision and Control (CDC01), 2001.
, Systèmes automatisés de Production à Intelligence Distribuée, des stratégies de répartition basées sur une approche de classification, Thèse de doctorat, 1996.
, Contribution à la simplification et à la commande des réseaux de Petri stochastiques Application aux systèmes de production, Thèse de doctorat, UFR des Sciences et Techniques de l'Université de Franche-Comté, 1999.
, Informatique sûre de fonctionnement : défis et solutions, Sûreté des procédés industriels : journées CNRS-CRIN du 11 octobre, 1995.
, Conception des systèmes de commande numériques des convertisseurs électromécaniques : vers une méthodologie intégrant la sûreté de fonctionnement, Thèse de doctorat, 1987.
, Arrimage des charges sur les véhicules routiers, Institut National de Recherche et de Sécurité (INRS), 1992.
, BON : A new formalism that combines advantages of fault trees and markov models : Boolean logic driven markov processes. Reliability Engineering and System Safety, pp.149-163, 2003.
, Capteurs et actionneurs intelligents, pp.7-520, 2005.
, 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.93-2179, 2005.
DOI : 10.1016/j.ress.2006.12.020
URL : https://hal.archives-ouvertes.fr/hal-00289481
, Reliability analysis of a dynamic phased mission system, MMR2004 congress, 2004.
, Contribution à l'évaluation de la sécurité des systèmes complexes de transport guidé, Thèse de doctorat, 2006.
, A spiral model of software development and enhancement, IEEE Computer, pp.21-26, 1988.
, Contribution à la conception d'architectures réparties : modèles génériques et interopérabilité d'instruments intelligents, Thèse de doctorat Thèse de doctorat de l'université des sciences et technologies de LilleBre00] B. BRETESCHE : La méthode APTE, 1997.
, Collision contre un passage supérieur routier survenue le 13 aout 1997 près de bedell (ontario), train numéro cp 121-13. Rapport technique, Rapport numéro R97H0008 du BST (Bureau Sécurité et Transport du Canada BUCHHOLZ : An adaptative aggregation/disaggregation algorithm for hierarchical markovian models, European Journal of Operational Research, vol.116, pp.545-564, 1997.
, The creative aspects of fast diagramming, Safe Proceedings, pp.301-312, 1979.
, Introduction à la conception de la sûreté. Cahier technique Schneider Electric n?144, 1999.
, Safety intelligent system conception for piggyback service, IEEE ICIT International Conference on Industrial Technology, pp.1659-1664, 2006.
, Contribution à la conception de systèmes sûrs de fonctionnement appliqués aux wagons de ferroutage, Communiquer, naviguer surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs, Actes INRETS n?112, pp.55-68, 2007.
, Safety system conception by using a semi-quantitative reliability evaluation application. application to a railroad transportation system, Proceedings of international conference on Industrial Engineering and Systems Management, pp.330-331, 2007.
, Méthodologie de conception d'architectures de systèmes sécuritaires pour le ferroutage basée sur des séquences de défaillances ordonnées dans le temps et des arbres e défaillances multiples, Actes du Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes (3SGS), pp.4-5, 2008.
, Méthodologie de conception de systèmes sûrs et économiques utilisant les scénarios de défaillances, Actes du 16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda Mu 16), N?8B3, pp.1-8, 2008.
, Optimal design of control systems using a dependability criteria and temporal sequences evaluation application to a railroad transportation system, Proceedings of ESREL 2008 and the 17th SRA-Europe Conference, pp.3199-3208, 2008.
, COCQUEMPOT : Optimal design of dependable control system architectures using temporal sequences of failures, 2009.
, Contribution à la conception d'architectures opérationnelles validées Thèse de doctorat de l'université de Lille 1, 2000. [CIA09] Les réseaux de terrain : Critères de sûreté de fonctionnement, sous la direction du CIAME, Thèse de doctorat Traité systèmes automatisés, IC2, Hermes, pp.2-7462, 2009.
, MAVKO : A dynamic fault tree. Reliability Engineering and System Safety, pp.83-91, 2002.
, Formal semantics of models for computational engineering: a case study on dynamic fault trees, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000, 2000.
DOI : 10.1109/ISSRE.2000.885878
, Distributed system design on dependability evaluation : a case study on a pilot thermal process. Reliability Engineering and System Safety, pp.109-119, 2005.
, Dynamic fault-tree models for faulttolerant computer systems, IEEE Transactions on Reliability, pp.41-44, 1992.
, Aperçu du système intégré r-shift-r. Colloque options techniques pour le transport des marchandises à travèrs l'Arc Alpin, pp.151-0304, 2003.
, Optimisation multicritères pour la conception d'ateliers discontinus multiproduits : aspects économique et environnemental, 2004.
, MARGERY : R-shift-r, un nouveau système de ferroutage présentation du système Rapport technique, http ://www.r-shift-r.com PRANZO : A branch and bound algorithm for scheduling trains in a railway network, European Journal of Operational Research, pp.183-185, 2002.
, YALAOUI : Reliability allocation through cost minimization, IEEE Transactions on reliability, pp.52-53, 2003.
, The Stationery Office Une méthode efficace d'accélération de la simulation des réseaux de Petri stochastiques, Thèse de doctorat, 1996.
, Instrumentation industrielle, spécification et installation des capteurs et des vannes de régulation, 2002.
, Contribution à l'intégration de la sûreté de fonctionnement au sein d'une démarche de conception multimétiers, Thèse de doctorat, 1999.
, Atelier logiciel de conception de systèmes sûrs de fonctionnement Rapport technique, Rapport de stage de master 2 effectué à l'INRETS-Villeneuve d'Ascq, 2008.
, Automatique : du cahier des charges à la réalisation de systèmes, Sciences Sup, pp.978-980, 2007.
, Exemple de typologie d'accidents dans le domaine des transports guidés. Revue générale des chemins de fer, pp.17-55, 1998.
, The x-model : a process model for object-oriented softwar development, Proc. of Le génie logiciel et ses applicationsHol99] E. HOLLNAGEL : Accident and barriers 7th European Conference on Cognitive Science Approaches to Process Control, pp.175-180, 1991.
, Strategies for Real Time System specifications, pp.978-093263304, 1987.
, Contribution à la modélisation et à la simulation accélérée de réseaux de communication Functionnal Safety of electrical/electroni/programmable electronic safety-related systems, Thèse de doctorat, 2000.
, 60300-3-1 Dependability management. Part 3-1 : Application guide, Analysis techniques for dependability -guide on methodology, International Electrotechnical Commission, 2003.
, SADT : un langage pour communiquer, p.202, 1989.
, Conception et sûreté de fonctionnement : deux activités indissociables, Congrès Francophone MOSIM 2001 Modèles mathématiques pour l'étude de fiabilité des systèmes. Editions Massion et Cie, 1975.
, Probabilistic risk assessment and management for engineers and scientists, 1996.
, Optimal reliability design, fundamentals and applications, pp.978-0521031912, 2001.
, Evaluation qualitative de systèmes physiques pour la sûreté de fonctionnement, Formalisation des activités concurrentes (FAC03), 2003.
, Approche dynamique de la fiabilité des systèmes, 2002.
, La caractérisation dynamique des défaillances Une nouvelle approche pour la gestion active des défaillances au sein des systèmes physiques industriels complexes, Thèse de doctorat, 2005.
, Modélisation du concept capteur intelligent par une approche orientée objet : application à un capteur intelligent de température, Thèse de doctorat, 1997.
, La maintenance : Mathématiques et Méthodes, 2000.
, On the dependability design of complex systems, Proc. of the 30 EsreDa'06, Reliability of Safety Critical System, 2006.
, Combining various solution techniques for dynamic fault tree analysis of computer systems, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231), 1998.
DOI : 10.1109/HASE.1998.731591
, Dependability evaluation of mecatronic automative systems using Petri Nets, 1998.
, Effet de la variation des données de fiabilité sur le niveau de sécurité d'une boucle de sécurité intelligente In 6ème conférence de Modélisation et Simulation -MOSIM06 -3-5 Avril, Maroc, Par96] V. PARETO : Cours d'économie politique. Rouge, Lausanne, Switzerland, 1896. [PB96] G. PAHL et W. BEITZ : Engineering design -A systematic Approach, pp.1-846, 1996.
, Méthodes et modèles pour un processus sûr d'automatisation, Thèse de doctorat, 2007.
, Integrating into the design process the needs of those involved in the product life-cycle, Journal of Engineering Design, vol.14, issue.3, pp.14-17, 2003.
DOI : 10.1080/0954482031000091086
, Vers une meilleure intégration des composants sur l'étagère, OCM03, 2003.
, System Reliability Theory : Models, Statistical Methods and Applications, Rob61] L. ROBICHAUD : Graphes de fluence. Editions Eyrolles, pp.978-0471471332, 1961.
DOI : 10.1002/9780470316900
, Managing the development of large software systems, Proc. Westcon, 1970.
, OMT : Modélisation et conception orientées objet, pp.978-2225846847202, 1995.
, An aggregation method of markov graps for the reliability analysis of hybrid system. Reliability Engineering and System Safety, pp.137-148, 2006.
, Actionneurs intelligents, Hermes, 1994.
, La sécurité des machines automatisées. Collection Technique, 1996.
, BAYART : Models and languages for the interoperability of smart instruments, Automatica, pp.32-38, 1996.
, Brevet Resorail de l'exploitation ferroviaire en boucles de desserte. Institut National de la propriété industrielle, pp.2-817, 2002.
, Brevet Resorail du wagon porte-camions, pp.2-816, 2002.
, The safety philosophy behind the cenelec railway standards, ESREL 2002, European safety and reliability conference, 2002.
, Méthodologie outillée d'aide à la conception des systèmes embarqués sûrs de fonctionnement, Lambda Mu 13, 2002.
, Dependable distributed computer control systems : analysis of the design step activities. 13th IFAC Workshop on Distributed Control Systems, pp.119-124, 1995.
, The mathematical formulation for the event sequence diagram framework. Reliability Engineering and System Safety, pp.103-118, 1999.
, Réseaux locaux industriels -concepts, typologie, caractéristiques. Rapport technique, Techniques de l'ingénieur, S7574, 2004.
, COLLETI : La méthode MERISE -Tome 1 Principe et Outils. Editions d'organisation, 1983.
, HAASL : Fault tree handbook, Rapport technique, U.S. Nuclear Regulatory Commission, pp.978-0160055829, 1981.
, Sûreté de fonctionnement des systèmes industriels, 1988.
, Dependability management in mobile work machines, pp.200-201, 2001.
, Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile, Thèse de doctorat, 1996.
, Sûreté de fonctionnement des systèmes industriels complexes Rapport technique, Techniques de l'ingénieur, Traité Informatique Industriel, S- 8250, p.202, 1999.