Bien qu'actuellement considérés comme non sécuritaires (les fonctions de sécurité étant assurées par d'autres sous-systèmes) les systèmes de supervision du trafic ferroviaire peuvent contribuer à la sécurité dans certains scénarios de crise où une décision adaptée d'un opérateur de supervision pourrait réduire notablement la gravité des scénarios d'accident. Il est donc de toute première importance d'identifier ce type de scénarios afin d'envisager les systèmes de supervision du futur dans la perspective d'améliorer encore la sécurité des circulations dans un contexte d'augmentation du trafic ferroviaire prévisible et souhaitable dans les années à venir. La supervision impliquant des décisions prises par l'homme, la prise en compte du facteur humain est indispensable, et ce dès la conception des futurs systèmes.<br /><br />L'étude se focalise sur l'évaluation de l'interaction opérateurs humains -- machines et son impact sur la sécurité. Cette démarche nécessite la coopération de spécialistes de l'ingénierie ferroviaire (composante technique), des sciences humaines et sociales (composante humaine et organisationnelle) et de la sûreté de fonctionnement pour la synthèse et l'évaluation de la sécurité. Ces disciplines ont des approches différentes et quelquefois opposées, la thèse vise à établir un pont entre ces différentes disciplines dans un objectif commun de l'évaluation de la sécurité.<br /><br />Des études spécifiques du facteur humain ont été réalisées sur une plateforme de supervision de trafic ferroviaire. Installée dans les locaux de l'\textsc{utc}, cette plateforme comprend un système de supervision couplé à un simulateur de trafic permettant de recréer en laboratoire les conditions de travail d'un opérateur de supervision de trafic ferroviaire. L'objectif des expérimentations est d'obtenir des informations sur les processus cognitifs généraux impliqués dans la gestion d'un environnement dynamique de circulation de mobiles et de contribuer ainsi à l'évaluation du système de supervision en situation d'utilisation par des opérateurs confrontés à la gestion d'une situation nominale, normale et dégradée.

aLes techniques utilisées pour la réalisation de systèmes électroniques destines au contrôle/commande d'applications critiques sont généralement basées sur le concept de la logique fail-safe conventionnelle. Bien qu'elles aient été largement éprouvées, ces techniques s'avèrent maintenant de plus en plus mal adaptées à la conception de systèmes de plus en plus complexes puisqu'elles font appel à des composants discrets spécifiques. C'est dans ce contexte que cette étude essaie d'évaluer la contribution des circuits intégrés autotestables, et plus spécialement les circuit self-checking (capables de détecter instantanément leurs propres erreurs), à la réalisation de systèmes intégrés à haute sureté de fonctionnement. Les travaux présentés dans cette thèse se proposent d'élargir la théorie des systèmes fail-safe aux circuits intégrés combinatoires. Comme application, nous étudions la faisabilité d'une interface autotestable hors-ligne capable de transformer les données des circuits autotestables en-ligne (self-checking) en signaux surs adaptes au pilotage d'éléments électrons mécaniques. Cette interface autorise la réalisation de circuits Vlsi strongly fail-safe qui sont susceptibles, dans les années à venir, de tenir une place de premier ordre dans le domaine des automatismes intégrés de sécurité. Toutes les considérations pratiques pour la conception de ces circuits sont basées sur des hypothèses de pannes analytiques liées à la technologie utilisée, ici le CMOS

L'objet de cette thèse est l'étude de deux méthodes de génération automatique de vecteurs de test pour les circuits intégrés digitaux. Après un rappel des problèmes actuels posés par le test des circuits VLSI (partie I), deux méthodes de génération automatique de vecteurs de test adressant deux types différents d'hypothèses de pannes sont présentées: une méthode heuristique de génération de vecteurs (partie II) et une méthode de test pseudo-exhaustif (partie III)

Lintégration progressive de lélectronique dans les secteurs automobile et avionique a amélioré le confort et les services rendus. Toutefois, cela a complexifié la conception des systèmes pilotés par calculateurs (systèmes mécatroniques, calculateurs de vol, etc.), ce qui rend difficile la maîtrise de leur fiabilité. Par ailleurs, la phase de conception doit être rapide et peu coûteuse (le moins de prototypes possible, le plus tard possible) avec un niveau de sécurité garantie. De plus, les ressources en moyens matériels étant limitées, pour des raisons de coûts et de mise en Suvre, les concepteurs évitent au maximum les redondances matérielles. Des études de Sûreté de Fonctionnement réalisées dès la phase de conception permettent une meilleure maîtrise des risques et de la fiabilité des systèmes conçus. En effet, les points faibles qui sont mis en évidence lors de lévaluation du niveau de sûreté des systèmes conçus permettent aux concepteurs de spécifier des stratégies de pilotage et des modes de reconfiguration avant les premiers essais sur un prototype réel. Les systèmes pilotés par calculateurs combinant des technologies mécaniques, hydrauliques, électroniques et informatiques sont hybrides: la dynamique continue est associée à la partie énergétique et la dynamique discrète est liée à la commande numérique et à lexistence dévénements discrets (défaillances, dépassements de seuils). Létude de la sûreté de fonctionnement de tels systèmes doit nécessairement tenir compte des interactions existantes entre leurs paramètres physiques (température, pression, vitesse&) et le dysfonctionnement de leurs composants. Les méthodes classiques de la sûreté de fonctionnement, comme les arbres de défaillances sont insuffisantes pour de tels systèmes complexes et hybrides car ils sont dynamiques. La sûreté de ces systèmes doit tenir compte du temps et de lordre dapparition des événements. La rareté de ces scénarios expose les méthodes basées seulement sur la simulation. au problème dexplosion combinatoire. Il existe en effet des techniques daccélération de la simulation, largement utilisées avec succès, dans lingénierie nucléaire notamment. Mes travaux de thèse sont placés dans le cadre de la fiabilité dynamique. Lobjectif est de réaliser une analyse qualitative de la sûreté de fonctionnement des systèmes pilotés par calculateurs pour extraire des scénarios menant à des états redoutés. Il sagit de caractériser ces scénarios au plus tôt dans la phase de conception, ce qui permet dévaluer leurs probabilités doccurrence pour valider larchitecture du système. Nous proposons une approche basée sur la logique linéaire et les Réseaux de Petri Prédicats Transitions Différentiels Stochastiques (RdP PTDS) qui garantissent le respect de la nature hybride de ces systèmes. Cette approche tient partiellement compte de laspect continu du système et plus particulièrement des seuils associés à certaines transitions dans le modèle RdP. Cela permet de déterminer plus précisément les conditions exactes de loccurrence de lévénement redouté : ce qui pousse le système à quitter son fonctionnement normal et à évoluer vers létat redouté. Loriginalité de notre approche est que lordre doccurrence des événements est pris en compte et les scénarios incohérents vis-à-vis de la dynamique continue du système sont éliminés. Notre approche est également orientée vers la vérification de certaines propriétés des systèmes pilotés par calculateur. Ces propriétés peuvent êtres de type temporel (la durée maximale dun scénario ou la durée entre deux commandes) ou de type accessibilité entre deux états. Lautomatisation de toutes les étapes de notre approche nous a paru indispensable dans le cas des systèmes complexes où le risque derreur humaine est très important. C'est pourquoi, j développé un outil ESA_PetriNet (Extraction & Scenarios Analyser by PetriNet model) qui permet dextraire les scénarios critiques qui mènent vers létat redouté à partir du n modèle Réseau de Petri temporel et de vérifier certaines propriétés des systèmes pilotés par calculateurs. null

Cette étude a pour objectifs la compréhension et la modélisation de certains effets importants du semis direct avec paillis de résidus (SDP) sur les bilans hydrique, thermique et azoté d'une culture de maïs pluvial. Elle a été menée dans le contexte d'un climat tropical semi-aride au Mexique. D'un point de vue méthodologique, le travail a consisté tout d'abord à identifier les phénomènes physiques et biologiques principaux qu'implique l'itinéraire technique SDP. En s'appuyant sur les résultats de la littérature et sur les acquis au niveau du terrain d'étude, nous avons retenu comme prédominants les effets du SDP sur i) l'évaporation et la température du sol, ii) la structure de surface du sol et l'infiltration, iii) le ruissellement, et iv) le cycle de l'azote et l'activité biologique des sols.<br />Ces effets identifiés, une lourde campagne de collecte de données de terrain a été réalisée de mai à octobre 1998, sur le site expérimental de la Tinaja (état de Jalisco, Mexique). Des mesures complémentaires ont été faites en juin et juillet 1999 sur le même site. Certaines mesures difficilement réalisables sur le terrain ont été effectuées en laboratoire, et sont venues renforcer les données du terrain. A l'issu de ce travail expérimental important, nous disposons d'une base de données relativement riche sur l'ensemble des phénomènes étudiés.<br />L'étude théorique des effets du SDP s'est déroulée en deux phases. La première s'appuie sur une stratégie d'atomisation de la problématique en volets élémentaires spécifiques, traitant les effets du SDP sur i), ii) et iii), en milieu contrôlé. Le premier volet vise à étudier et modéliser les flux d'eau et de chaleur dans le système sol-paillis-atmosphère (transferts turbulents et radiatifs au sein du paillis). Il permet de comprendre et de quantifier l'effet d'un paillis de résidus sur l'évaporation d'un sol et son amplitude thermique, en fonction du taux de couverture. Le deuxième volet consiste à caractériser les effets cumulatifs du SDP sur les propriétés hydrodynamiques d'un sol et donc sa capacité à l'infiltration. Le troisième volet est dédié à l'étude et la modélisation du ruissellement sur sol paillé éventuellement planté, en tenant compte de l'interception de l'eau de pluie, de la rétention de surface, de l'infiltration, de la canalisation du ruissellement et de son écoulement. La deuxième phase relève de la reconstruction par intégration et consiste en un volet unique. Dans ce volet les résultats des trois volets spécifiques précédents sont synthétisés et intégrés dans un modèle numérique de fonctionnement global. Ce dernier prend en compte à la fois les dynamiques de l'eau, de la chaleur et de l'azote. Il reproduit simultanément et de façon couplée tous les effets majeurs du SDP sur le système sol-paillis-plante-atmosphère.

Les modèles de fonctionnement de culture visent à simuler de façon mécaniste l'influence de l'environnement sur la croissance et le développement des végétaux cultivés. Destinés au raisonnement des systèmes de culture intensifs, les modèles usuels considèrent le couvert comme une entité homogène. L'évolution des pratiques agricoles vers une agriculture plus respectueuse de l'environnement conduit à considérer des systèmes plus complexes (multispécifiques) et plus hétérogènes, et appelle au renouvellement de ces modèles.<br />L'objectif de la thèse est d'élaborer une modélisation du couvert comme une population de plantes. Ceci nécessite de prendre en compte explicitement le développement de chaque individu au sein du couvert, et ses conséquences sur la croissance des plantes voisines. La thèse a pris pour objet la simulation des effets de la compétition pour la lumière sur la morphogenèse de l'appareil végétatif aérien du maïs (Zea mays L.).<br />Dans un premier temps, la plasticité morphologique du maïs est étudiée expérimentalement au champ, pour des situations contrastées de compétition pour la lumière. Une forte compétition conduit à une réduction globale de la taille des plantes. Elle a pour effet également d'accentuer au cours du temps la variabilité entre individus. L'analyse des dimensions individuelles des organes montre que la croissance en largeur et en diamètre suit précisément ce schéma. Par contre l'allongement des organes est d'abord stimulé par la compétition, puis subit une réduction dépendante de l'intensité de la compétition. <br />Ces observations ont justifié le choix du formalisme des L-systèmes ouverts pour l'implémentation du modèle. Cette approche permet une modélisation plante à plante, mais aussi d'intégrer et d'expliciter la croissance de chacun des organes. Le modèle couple des modèles microclimatiques préexistants (calcul de la température et de la distribution du rayonnement) à un modèle architectural et fonctionnel du développement végétatif, élaboré à partir de données bibliographiques. Un schéma de réduction de la croissance par le carbone disponible a été introduit et testé sur sa capacité à rendre compte des effets de la densité de peuplement. Le modèle simule la cinétique du développement à partir de données météorologiques mesurées en réseau et d'une paramétrisation génotypique réduite (5 paramètres). La structure géométrique de la plante est rendue de façon réaliste et simule convenablement l'évolution du taux de couverture du sol. Le modèle rend compte des variations de réduction de dimensions foliaires en fonction du numéro de phytomère, et permet de simuler le développement de l'hétérogénéité dans le couvert.<br />Ce premier axe de travail montre toutefois l'importance de disposer de formulations plus précises des cinétiques de croissances d'organes. L'allongement de la tige est particulièrement peu documenté dans la bibliographie. Nous avons mené l'étude expérimentale de la cinétique d'allongement des entre-nœuds, en considérant des situations contrastées de disponibilité en rayonnement. Les cinétiques de croissance diffèrent selon les traitements, mais montrent une même organisation. Durant une première période, l'allongement est un processus intégré à l'échelle de plusieurs entre-nœuds, stable au cours du développement. Dans une seconde période, la vitesse d'allongement devient très variable selon le rang et est fortement corrélée à la taille finale. La transition entre les deux périodes semble déclenchée par l'émergence de la gaine hors du cornet. L'évolution des dimensions du cornet au cours du temps pourrait donc être responsable des variations de longueur entre-nœuds entre phytomères.<br />Ce modèle ouvre des applications originales pour l'aide à l'interprétation d'expérimentation, car il permet de situer dans le temps les croissances de chaque organe et de la relier aux conditions environnementales locales. Le cadre de modélisation permet l'intégration des processus, de l'échelle de l'organe à celle du peuplement. Une meilleure compréhension du déterminisme des régulations des dimensions des organes reste toutefois nécessaire pour envisager l'application au raisonnement de pratiques agricoles. Les résultats obtenus suggèrent l'importance de signalisations environnementales, liées à l'exposition des organes à l'air ou à la lumière, dans ces régulations. Ces perspectives confortent l'intérêt d'une approche architecturale et fonctionnelle de la modélisation du développement.

Dans le double cadre de la conservation des écosystèmes soumis à l'exploitation et du développement durable d'une pêcherie, cette étude intégrée d'écologie benthique concerne la structure, le fonctionnement et l'évolution des communautés benthiques du plateau continental Nord Gascogne. Deux communautés distinctes ont été mises en évidence : une première dans la partie centrale de la Grande Vasière et une autre au niveau de la marge externe. Les divergences structurelles au sein de ces communautés traduisent un fonctionnement différent de ces deux écosystèmes contraints par des apports trophiques, des relations biotiques et des régimes de perturbations très différents. Des différences remarquables, notamment sur l'épifaune, ont été détectées en relation avec les perturbations engendrées par le passage des engins traînants. La comparaison des communautés à 35 ans d'intervalle révèle une évolution à long terme des entités biosédimentaires. La structure du réseau d'interactions trophiques a été précisée, en termes de niveaux trophiques et d'origine de la nourriture. Les apports trophiques par sédimentation ont été quantifiés. Aux échelles spatio-temporelles considérées, ils montrent une forte variabilité traduisant le rôle majeur des forçages physiques. Les données acquises au cours de cette étude ont été utilisées pour développer un modèle de réseau trophique à l'état stable de l'écosystème bentho-démersal de la Grande Vasière. A l'échelle annuelle, ce modèle révèle que la majeure partie des apports trophiques par sédimentation n'est pas consommée, que la pression de prédation exercée sur les consommateurs primaires benthiques est forte et que l'incidence des rejets de pêche dans le fonctionnement trophique de cet écosystème est faible. La définition de stratégies de gestion des pêcheries en terme de préservation des écosystèmes soumis à l'exploitation et de développement durable de ces activités doit prendre en compte l'ampleur et les rythmes de ces modifications.

Les travaux présentés dans la thèse portent sur la conception d'amplificateurs de puissance reconfigurables dans la technologie SiGe BiCMOS7RF de STMicroelectronics. Les applications visées sont les terminaux multi-standards de communications mobiles GSM/DCS/UMTS. Ces amplificateurs doivent être capables de modifier dynamiquement leurs propriétés en fonction à la fois du standard utilisé à un moment donné et du niveau de la puissance d'entrée afin de travailler à rendement optimum et préserver les batteries des terminaux. Pour cela, nous avons du faire face aux principaux points de divergence de ces standards: le rendement pour le GSM et le DCS afin de diminuer la puissance consommée et la linéarité pour l'UMTS qui utilise une modulation à enveloppe non-constante. L'amplificateur de puissance reconfigurable doit donc faire face à cette contradiction. Nous proposons une architecture capable d'adapter ses caractéristiques en fonction du standard choisi, en décrivant des méthodes permettant de modifier les caractéristiques principales de l'amplificateur : la classe de fonctionnement, le point de compression à 1 dB et le gain de la structure, le but étant de travailler à rendement optimum. Tous ces points de contrôles sont autant de leviers qui permettent de modifier les paramètres de l'amplificateur et de privilégier les critères de linéarité et de rendement l'un par rapport à l'autre, afin que l'amplificateur réponde aux spécifications du standard utilisé à un moment donné. La réalisation d'un amplificateur de puissance reconfigurable nous a permis de valider la fonctionnalité de la technique proposée. Mots-clés : multi-standard, circuits RF BiCMOS, amplificateur de puissance reconfigurable, classes de fonctionnement, variation du CP1, compromis linéarité-rendement, rendement optimum.

Depuis 2001 j'ai développé au sein de l'équipe Oasis des travaux de recherche sur la sémantique des applications à base d'objets distribués, appliquant dans le contexte d'un vrai langage, et d'applications de taille réelle, mes recherches précédentes dans le domaine des algèbres de processus. Les différents aspects de ce travail touchent naturellement à la sémantique comportementale, et à la définition de procédures de génération de modèles prenant en compte les différentes facettes de la programmation d'applications distribuées, mais aussi, en amont, à l'analyse statique de code et aux techniques d'abstraction de modèles, et en aval aux outils de vérification de propriétés comportementales. Je montre dans ce mémoire la complexité de ces recherches et la grande variété des techniques requises. Nous avons mis en place une méthode cohérente basée sur un modèle sémantique très flexible, le modèle pNets (parameterized Networks of automata), qui nous offre un bon compromis entre décidabilité, complexité, et utilisabilité. Cette approche nous a permis de définir une sémantique comportementale pour différents aspects des applications à base d'objets ou de composants distribués, mais aussi une notion d'abstraction vers des modèles abstraits finis, permettant d'utiliser des outils de vérification de type " model-checking ". L'ensemble de ces aspects a donné lieu à la réalisation de prototypes, dans la plateforme VerCors, et à des cas d'étude de grande taille.

L'étude de l'écologie des communautés et de la ségrégation écologique revêt une importance particulière, notamment pour ses apports en biologie évolutive mais aussi pour ses applications dans le domaine de la conservation. La présente étude s'intéresse à la ségrégation écologique des delphinidés de l'île de Mayotte (Canal de Mozambique, sud-ouest de l'océan Indien) à deux échelles : la communauté d'espèces (approche interspécifique) et les communautés d'individus (approche intra-spécifique). Autour de cette île, une communauté diversifiée de delphinidés se partage l'espace et les ressources, et ce à de très faibles échelles spatiales. Sur treize espèces observées, au moins cinq sont observées régulièrement et ont donc été étudiées : le grand dauphin de l'Indo-Pacifique (Tursiops aduncus), le dauphin à long bec (Stenella longirostris), le dauphin tacheté pantropical (Stenella attenuata), le péponocéphale (Peponocephala electra) et le dauphin de Fraser (Lagenodelphis hosei). Chez les espèces vivant en sympatrie, des mécanismes de ségrégation devraient s'observer selon les trois dimensions principales de la niche écologique : l'espace, la ressource et le temps. A l'échelle interspécifique, les analyses de l'habitat défini par les caractères physiographiques associés à chaque observation, de l'utilisation des ressources exprimée par les isotopes stables du carbone et de l'azote et des budgets d'activités montrent que les delphinidés occupent des niches écologiques distinctes. Parallèlement, certaines espèces jumelles peuvent constituer des associations poly-spécifiques, les mettant apparemment en situation de compétition pour les ressources et les habitats. Il a été montré que ces associations, notamment chez les delphinidés du genre Stenella, n'avaient pas de signification trophique, mais constituaient plutôt une stratégie de vigilance contre les prédateurs. Le dernier volet de l'étude s'intéresse à la ségrégation intra-spécifique et à la structure de population à fine échelle, notamment chez le grand dauphin de l'Indo-Pacifique, la principale espèce de delphinidé à vivre dans les eaux intérieures du lagon. La combinaison d'approches dont les échelles sont emboitées : de l'échelle évolutive populationnelle (structure génétique) à l'échelle de la vie de l'individu (domaine vital), a permis de démontrer que l'unique groupe panmictique de Mayotte se segmentait en communautés (définies par des ensembles d'individus ayant un domaine vital commun). Au moins deux communautés ont été identifiées, utilisant des domaines distincts, formant des groupes sociaux stables mais non constitués d'individus apparentés. L'ensemble de l'étude montre que la ségrégation écologique s'observe aux échelles inter- et intra-spécifiques chez les delphinidés, et que celle-ci ne peut être mis en évidence que par des approches multi-échelles et transdisciplinaires.