Actuellement, toutes les applications critiques mettant en jeu la vie humaine ne peuvent pas être assurées par des systèmes complexes utilisant des circuits intégrés répliques; il est nécessaire d'utiliser des composants discrets de sécurité intrinsèque, d'un encombrement et d'un cout prohibitifs. Pour relever ce défi, le micro-contrôleur maps qui doit gérer la signalisation ferroviaire, bénéficie de l'intégration d'un circuit logique autotestable, en-ligne (duplication duale+parité) et hors-ligne, suivant le principe de la technique ubist. Le maps dispose aussi d'une interface de sortie apte a produire des signaux de commande en fréquence, soit surs soit corrects. Il dispose également d'une interface d'entrée capable de n'accepter des signaux externes qu'après les avoir rendus surs ou corrects. Ces deux interfaces intégrées pour la première fois, sur la même puce que le circuit autotestable, sont strongly fail-safe. Seules les communications avec l'extérieur se font par échange de messages fortement codes sans qu'aucun matériel ne soit rajoute. En conséquence, l'étude que l'on présente permet d'apporter une nouvelle démarche de conception des systèmes hautement critiques, tout en assurant un degré de sécurité nettement plus élevé (détection de toutes pannes triples) que celui donne par les systèmes actuels, et ceci pour un volume et un cout plus faibles

L'évolution des critères de confort et d'espace passager dans les véhicules ferroviaires de nouvelle génération impose de regrouper les équipements en toiture. Des éléments dégageant d'importantes quantités de chaleur doivent alors cohabiter avec d'autres nécessitant une alimentation en air frais et ce dans un espace relativement confiné, éventuellement soumis à de fortes perturbations de l'écoulement. Ceci peut entraîner la dégradation des performances générales du véhicule, dont la conception doit donc être reconsidérée. La première phase de l'étude est consacrée aux aspects stationnaires et instationnaires de l'écoulement à l'échelle du train, puis des équipements. Le fonctionnement de ceux-ci est pris en compte lors de simulations numériques et expérimentales portant sur différents types de matériels caractéristiques du parc ferroviaire. Des essais en ligne viennent également valider les résultats numériques obtenus. Ces derniers permettent de définir un nouveau modèle numérique pour les équipements, basé sur une cavité tridimensionnelle. Une étude paramétrique de diverses grandeurs géométriques du modèle met alors en évidence plusieurs structures d'écoulement identifiables. L'influence de celles-ci sur les transferts thermiques locaux est démontrée, en particulier sur le coefficient d'échange moyen en surface du rhéostat de freinage. Une méthodologie de conception est finalement proposée. Alliant simplicité d'utilisation et efficacité, elle est applicable dès l'avant-projet et permet d'améliorer significativement les échanges thermiques en toiture en modifiant le positionnement et les dimensions des équipements.

Le bruit de roulement est la principale source de bruit des transports ferroviaires, pour un large intervalle de vitesses. Pour prédire le bruit de roulement, la SNCF utilise un outil de simulation, basé une approche fréquentielle. Bien que très efficace dans les cas de voies ballastées standard, en ligne droite et à vitesse constante, cette approche est limitée aux roues et aux rails sans défaut important. Une approche temporelle a donc été envisagée pour étendre la modélisation du bruit de roulement à celle du bruit d'impact dû aux irrégularités discrètes sur l'une et/ou l'autre des deux structures, telles que des joints sur le rail ou des méplats sur la roue. L'objectif principal de la thèse est donc de construire un outil de simulation, dans le domaine temporel, de l'interaction verticale entre la roue et le rail, pour la prédiction du bruit de roulement. Les données d'entrée du modèle d'interaction, le modèle de contact roue/rail et le modèle vibratoire de la roue ont d'abord été formulés. Les données d'entrée du modèle consistent à définir un déplacement vertical relatif entre la roue et le rail, appelé rugosité relative, à partir de données spatiales de rugosité. Le modèle de contact, non linéaire et autorisant des pertes de contact, est basé sur la théorie de Hertz. Un modèle masse-ressort-amortisseur est suffisant pour représenter le déplacement vertical de la roue, dans le contexte de la simulation des vibrations engendrées dans le rail dans la même direction. La seconde étape de l'outil de simulation est d'élaborer un modèle de voie ferrée, permettant de simuler une structure infinie à partir d'une représentation numérique finie, indispensable pour l'approche temporelle. Le rail est modélisé par une poutre de longueur finie, supportée périodiquement par des systèmes masse-ressort-amortisseur (décrivant le système des supports semelle-traverseballast). Les conditions aux limites de la poutre permettent d'absorber les réflexions des ondes aux bords de celle-ci. Des conditions aux limites absorbantes numériques ont donc été formulées. Le second objectif de cette thèse est de caractériser expérimentalement le bruit de roulement et le bruit d'impact, dans les cas de défauts importants sur la roue et/ou le rail. Un essai en situation réelle a donc été réalisé. Deux sites de mesures ont été installés ; le premier sur une zone équipée de Longs Rails Soudés (LRS) et le second sur une zone avec un joint de rail (JR). De plus, certains essieux du train d'essai ont été spécialement sélectionnés pour les défauts de surface sur les roues. Des mesures de caractérisation telles que la rugosité de surface des roues et du rail mais aussi les accélérances de la voie ont été réalisées. Les niveaux vibratoires du rail et des traverses ainsi que le bruit au passage du train d'essai ont été mesurés. L'utilité de ces mesures est double. D'une part, elles permettent de réaliser une caractérisation expérimentale du comportement acoustique et vibratoire du système roue/rail, dans différentes situations. Ces conclusions aboutissent à un cahier des charges pour l'élaboration d'un outil expérimental de détection de défauts de roue, à partir de mesures acoustique et vibratoire en bord de voie. La seconde utilité de ces mesures est de pouvoir à la fois alimenter le modèle temporel d'interaction roue/rail, développé pendant la thèse, et de quantifier ses performances. Le problème d'interaction roue / rail complet est résolu par la méthode des différences finies. L'évaluation des performances de ce modèle a été menée grâce à différentes comparaisons. L'efficacité des conditions aux limites absorbantes a d'abord été estimée. Une comparaison entre les résultats de simulation et ceux des mesures a ensuite été effectuée. Dans un premier temps, la capacité du modèle temporel à reproduire les caractéristiques dynamiques de la voie a été évaluée. Dans un second temps, la simulation des différentes situations mesurées pendant la campagne de mesure est réalisée. La comparaison entre les niveaux vibratoires simulés et mesurés au passage des roues avec différents états de surface est discutée.

L'étude ferroviaire présentée dans ce mémoire traite de trois types de dégradations de profils des roues et des rails en service. Comme tous les solides devant assurer une liaison par contact, les roues et les rails ferroviaires sont affectés par des dégradations telles que l'usure et la fatigue. Dans un premier temps, on s'intéresse à l'usure régulière des profils des roues et des rails. Ce type d'usure influence en particulier la stabilité des véhicules, donc le confort et la sécurité. Nous exposons notre modèle de simulation numérique de l'usure transverse des profils ; sa validation étant assurée par des applications à des profils mesurés sur le réseau S.N.C.F. Nous abordons ensuite le phénomène d'usure irrégulière longitudinale des roues à grande vitesse. Nous traitons cette partie avec de nouvelles hypothèses sur un mécanisme d'apparition d'ondulations. L'origine de ce phénomène est due au couplage, à travers le contact, de la dynamique transversale des bogies et de la torsion de l'axe des essieux. En nous appuyant sur deux modèles de simulations numériques, nous montrons la validité des hypothèses et nous mettons en évidence le mécanisme d'usure irrégulière longitudinale des roues. La dernière partie est consacrée à la fatigue des rails soumis au contact roulant, on y étudie une forme particulière appelée le Head Checking. Une première phase, basée sur l'étude des efforts de contact dus au comportement en courbes de certains véhicules ferroviaires, nous permet d'isoler les caractéristiques du système véhicule-voie les plus contraignantes. Une seconde étape consiste à étudier les conditions d'amorçage des fissures par deux approches : le critère de Dang Van et la mécanique de l'endommagement. Les résultats obtenus nous permettent de proposer des dispositions qui semblent appropriées à la lutte contre le Head Checking.

Cette thèse a cherché à démontrer les enjeux d'une politique de communication dans les transports publics interurbains de voyageurs. A partir de l'analyse des rôles et responsabilités des différents acteurs en jeu, tels qu'ils pourront s'exercer dans le cadre des nouvelles orientations de la loi des transports intérieurs du 30 décembre 1982, cette thèse s'est attachée à prouver la faisabilité technique, juridique et financière d'une politique continue et cohérente de communication, traitée à un niveau départemental.

Actuellement, la gestion des services de transport public change, passe d un niveau d échelle à un autre, se décentralise nationalement et s élargit localement. Ainsi, les Régions ont vu leurs compétences s élargir en termes d organisation des transports, créant ainsi de nouveaux problèmes de gestion. C est face à ces interrogations nouvelles que notre travail trouve sa place, en proposant une modélisation adaptée à la fois aux modifications permanentes de la mobilité quotidienne et aux nouvelles échelles d application de la gestion des transports. Nous nous sommes plus spécifiquement penché sur l étape de la génération de trafic, (ou modélisation du processus de choix à l origine du déplacement effectué par l individu), négligée jusqu ici dans son approche géographique. Traitée jusqu alors sous l angle de l économie des transports, la modélisation de la génération de trafic occultait un aspect géographique important de sa conception : le zonage de l aire d étude, dont dépend la quantification des déplacements. Nous nous proposons ici de réaliser dans sa totalité la modélisation de l étape de génération de trafic sur la Région de Franche-Comté. Il s agit tout d abord de comprendre et délimiter notre périmètre d étude ; puis d élaborer un zonage pertinent en fonction de notre problématique de gestion ; pour finalement quantifier les déplacements sur les zones créées.

Les développements des composants de l'électronique de puissance ont permis l'utilisation des associations onduleur de tension - machine asynchrone pour la traction ferroviaire et de ce fait un gain de performances important. Afin que l'accroissement des performances ne se fasse pas au détriment de la sécurité et de la fiabilité, une étude s'avère indispensable pour maîtriser les conséquences des éventuelles défaillances. L'accent est particulièrement mis sur la machine asynchrone car, assurant la conversion électromécanique, elle répercute le défaut vers la transmission mécanique, élément vital pour la sécurité. Ainsi, une étude par la méthode des éléments finis des courts-circuits triphasés d'un moteur de traction ferroviaire est menée. Elle conduit à des résultats remarquables: sursaturation du parcours des flux de fuite, déplacement de courant dans les barres, contraintes sur les barres de l'ordre de grandeur de la force centrifuge. Cette étude aboutit à la définition d'un schéma équivalent fin du moteur pour l'étude des régimes transitoires de grande amplitude et d'une formulation analytique extrêmement simple du court-:circuit triphasée faciliter l'interprétation physique. Enfin, une étude systématique des défauts de court-circuit des thyristors GTO de l'onduleur de tension est menée sur la base de la modélisation vectorielle de l'association, effectuant le lien entre l'état électromagnétique de la machine et les conditions du défaut. A chaque étape de l'étude, des procédures de validation expérimentale sont proposées. Finalement, de nombreuses avancées vers l'étude quantitative des régimes de défaut des associations onduleur de tension - machine asynchrone sont présentées dans ce mémoire.

Le secteur des transports ferroviaires en France est marqué par un dynamisme lié notamment à l'essor du réseau à grande vitesse et à la réimplantation du tramway dans de nombreuses agglomérations. Dans ce contexte, la réduction des nuisances sonores apparaît comme un enjeu majeur pour son développement. Afin d'agir efficacement à la source, il est indispensable d'identifier et d'étudier précisément les sources responsables de ces nuisances au passage des véhicules. Parmi les approches possibles, les antennes microphoniques et les traitements associés sont particulièrement adaptés à la caractérisation des sources ponctuelles mobiles, omnidirectionnelles et décorrélées.Pour les vitesses inférieures à 300 km/h, le bruit de roulement constitue la source principale du bruit ferroviaire ; il résulte du rayonnement acoustique des éléments tels que les roues, le rail et les traverses. Le rail, dont la contribution au bruit de roulement est prépondérante aux moyennes fréquences (entre 500 He et 1000 Hz environ), est une source étendue et cohérente pour laquelle les principes classiques de traitement d'antenne ne sont pas adaptés.La méthode de caractérisation proposée dans cette thèse est une méthode inverse d'optimisation paramétrique utilisant les signaux acoustiques issus d'une antenne microphonique. Les paramètres inconnus d'un modèle vibro-acoustique sont estimés par minimisation d'un critère des moindres carrés sur les matrices spectrales mesurée et modélisée au niveau de l'antenne. Dans le modèle vibro-acoustique, le rail est assimilé à un monopôle cylindrique dont la distribution longitudinale d'amplitude est liée à celle des vitesses vibratoires. Pour le calcul de ces vitesses, les différents modèles proposés mettent en évidence des ondes vibratoires se propageant dans le rail de part et d'autre de chaque excitation. Chacune de ces ondes est caractérisée par une amplitude au niveau de l'excitation, un nombre d'onde structural réel et une atténuation. Ces paramètres sont estimés par minimisation du critère, puis utilisés pour reconstruire le champ acoustique.Dans un premier temps, des simulations sont réalisées pour juger des performances de la méthode proposée, dans le cas d'excitations ponctuelles verticales. En particulier, sa robustesse est testée en présence de bruit ou d'incertitudes sur les paramètres supposés connus du modèle. Les effets de l'utilisation de modèles dégradés sont également étudiés. Concernant l'estimation des amplitudes, les résultats ont montré que la méthode est particulièrement robuste et efficace pour les excitations les plus proches de l'antenne. En revanche, pour l'estimation des autres paramètres, les performances sont supérieures pour les positions d'antenne excentrées. De manière générale, le nombre d'onde est correctement estimé sur l'ensemble des fréquences étudiées. Dans les cas à faible atténuation, un traitement classique par formation de voies en ondes planes suffit. En ce qui concerne l'estimation de l'atténuation, la faible sensibilité du critère limite l'efficacité de la méthode proposée.Enfin, certains résultats obtenus à partir des simulations ont été vérifiés lors de mesures in situ. L'excitation d'un rail expérimental par un marteau de chocs a tout d'abord permis de valider le modèle vibratoire pour la flexion verticale. Pour tester la méthode d'optimisation paramétrique, le rail a également été excité verticalement à l'aide d'un pot vibrant. Les principaux résultats des simulations ont été retrouvés, et des comportements particuliers relatifs à la présence de plusieurs ondes dans le rail ont été observés, ouvrant des perspectives de généralisation du modèle vibratoire utilisé.

Avec l'apparition des différentes normes et règlementations telles que les normes ISO 14001, les préoccupations industrielles y compris ferroviaires sont de plus en plus orientés vers l'éco-conception. La problématique la plus importante dans l'éco-conception des produits ferroviaires est de réduire leurs impacts environnementaux tout en maintenant leurs performances fonctionnelles et en maitrisant le coût. La solution pour surmonter ce problème est de trouver un ensemble de compromis entre les deux objectifs (impacts et coût).L'éco-conception des produits ferroviaires présentent plusieurs difficultés parce que, d'une part, leur analyse de cycle de vie est très lourde. D'autre part, l'intégration de leurs impacts dans la phase de conception est délicate vu leur nombre. Enfin, ces composants ont parfois différents types de modèles à exploiter car ils présentent des compromis entre la précision et le temps de calcul. Pour surmonter ces problèmes nous avons présenté dans cette thèse une méthode qui consiste premièrement, à alléger l'ACV à l'aide d'un logiciel de gestion environnementale et d'en profiter pour construire un modèle malléable pour calculer les différents impacts. Deuxièmement, à agréger ces impacts pour obtenir un seul indice qui sera considéré comme notre critère environnemental. Pour exploiter les outils d'optimisation, le problème d'éco-conception est traduit par un problème d'optimisation. Les algorithmes d'optimisation sont capables de trouver l'ensemble de compromis optimaux entre le critère environnemental et la masse (coût) sous forme d'un graphe appelé front de Pareto. Certains algorithmes ont été adaptés pour mieux servir dans l'éco-conception

Le but de ce rapport est de présenter une méthode globale de développement à partir de spécifications informelles, depuis la modélisation graphique des exigences temporelles d'un système ferroviaire critique jusqu'à une implantation systématique au moyen de méthodes formelles. Nous proposons d'utiliser ici les réseaux de Petri temporels pour décrire le comportement attendu du logiciel de contrôle-commande à construire.Tout d'abord nous construisons un modèle des exigences p-temporel prenant en compte toutes les contraintes que doit vérifier le système. Nous proposons des outils et des méthodes capables de valider et de vérifier ce modèle. Ensuite, il s'agit de construire un modèle de processus solution en réseau de Petri t-temporel. Ce modèle illustre des exigences techniques relatives à un choix technologique ou architectural. L'objectif est double : tout d'abord il est nécessaire de vérifier la traçabilité des exigences ; ensuite, il faut vérifier que l'ensemble des exigences sources sont bien implémentées dans la solution préconisée et dans sa mise en oeuvre. Enfin, nous proposons une approche visant à transformer de façon systématique le modèle de processus en machine abstraite $B$ afin de poursuivre une procédure formelle $B$ classique. Finalement, le cas d'étude du passage à niveau, composant critique dans le domaine de la sécurité ferroviaire est décrit / The introduction of new European standards for railway safety, coupled with an increasing use of software technology changes the method of development of critical railway systems. Indeed, new systems have to be at least as good as the previous ones. Therefore the appropriate safety level of critical systems has to be proved in order to obtain the necessary approval from the authorities. Accordingly a high level of reliability and correctness must be reached by the use of mathematical proofs and then formal methods. We focus on the treatment of the temporal requirements in the level crossing case study which is modelled with p-time Petri nets, and on the translation of this model in a more formal way by using the B method. This paper introduces a methodology to analyse the safety of timed discrete event systems. First, our goal is to take out the forbidden state highlighted by a p-time Petri net modelling. This model deals with the requirements of the considered system and has to contain all the constraints that have to be respected. Then we aim at describing a process identified as a solution of the system functioning. This method consists in exploring all the possible behaviours of the system by means of the construction of state classes. Finally, we check if the proposed process corresponds to the requirements model previously built.Our case-study is the level crossing, a critical component for the safety of railway systems