Aujourd'hui en France, l'évaluation de la performance de stratégies de sécurité à déployer pour mettre un bâtiment en sécurité vis-à-vis de l'incendie repose sur une étude d'ingénierie en sécurité incendie. Cette étude a pour objectif l'estimation du risque incendie pour différentes stratégies, et pour des scénarios d'incendies jugés pertinents. Pour parvenir à cette estimation, le Centre Scientifique et Technique du Bâtiment français (CSTB) a mis au point un outil de simulation appelé SCHEMA-SI. Cet outil utilise des réseaux de Petri prédicat-transition différentiels orientés objets et des simulations de Monte Carlo pour générer de multiples scénarios d'incendie. Ces scénarios sont ensuite utilisés pour évaluer le risque incendie encouru avec une stratégie de sécurité. La stratégie est alors jugée d'autant plus performante que le risque incendie est faible. L'objectif de la thèse consiste à contribuer au développement d'une méthode d'analyse de risque incendie utilisant l'outil de simulation SCHEMA-SI. La réflexion a débuté par la définition de ce que devrait être cette méthode. A ce stade, il est apparu que l'une des difficultés que la méthode doit surmonter est celle de la mise en donnés du problème par un groupe d'acteurs impliqués dans la sécurité incendie du bâtiment étudié. Pour résoudre cette difficulté, une méthode de modélisation spécifique a été construite. Cette méthode, baptisée ISI-Systema, repose sur deux fondements principaux : d'une part, un langage graphique de modélisation permettant au groupe d'acteurs de réfléchir à la mise en données du problème en s'appuyant sur une approche systémique ; d'autre part, une démarche de traduction des modèles graphiques obtenus avec le langage systémique en réseaux de Petri compatibles avec SCHEMA-SI.Enfin, une application pratique de cette méthode de modélisation est proposée.

Aujourd'hui en France, l'évaluation de la performance de stratégies de sécurité à déployer pour mettre un bâtiment en sécurité vis-à-vis de l'incendie repose sur une étude d'ingénierie en sécurité incendie. Cette étude a pour objectif l'estimation du risque incendie pour différentes stratégies, et pour des scénarios d'incendies jugés pertinents. Pour parvenir à cette estimation, le Centre Scientifique et Technique du Bâtiment français (CSTB) a mis au point un outil de simulation appelé SCHEMA-SI. Cet outil utilise des réseaux de Petri prédicat-transition différentiels orientés objets et des simulations de Monte Carlo pour générer de multiples scénarios d'incendie. Ces scénarios sont ensuite utilisés pour évaluer le risque incendie encouru avec une stratégie de sécurité. La stratégie est alors jugée d'autant plus performante que le risque incendie est faible. L'objectif de la thèse consiste à contribuer au développement d'une méthode d'analyse de risque incendie utilisant l'outil de simulation SCHEMA-SI. La réflexion a débuté par la définition de ce que devrait être cette méthode. A ce stade, il est apparu que l'une des difficultés que la méthode doit surmonter est celle de la mise en donnés du problème par un groupe d'acteurs impliqués dans la sécurité incendie du bâtiment étudié. Pour résoudre cette difficulté, une méthode de modélisation spécifique a été construite. Cette méthode, baptisée ISI-Systema, repose sur deux fondements principaux : d'une part, un langage graphique de modélisation permettant au groupe d'acteurs de réfléchir à la mise en données du problème en s'appuyant sur une approche systémique ; d'autre part, une démarche de traduction des modèles graphiques obtenus avec le langage systémique en réseaux de Petri compatibles avec SCHEMA-SI.Enfin, une application pratique de cette méthode de modélisation est proposée. / Nowadays in France, building fire safety strategy performance analysis relies on a fire engineering study. This kind of study aims at calculating fire risk for several strategies and for fire scenarios judged as relevant. In order to achieve risk calculation, the French Scientific and technical Building Center (CSTB) has developed a simulation tool called SCHEMA-SI. This tool is based on object-oriented differentiai predicate-transition Petri nets and on Monte Carlo simulations and is built to generate a large number of fire scenarios. Obtained scenarios are hence used to evaluate fire risk related to the strategy to evaluate. The lower the fire risk is obtained, the more efficient the strategy is considered. This thesis aims at contributing to the development of a SCHEMA-SI based fire risk assessment method. This thesis starts by a definition of what this method should be. At this stage, it appears that one of the difficulties to overcome is the one of the problem definition by a group of fire safety concerned people. In arder to solve this difficulty, a modeling method has been developed. This method, so-called ISI-Systema, relies on two main basements: in on hand, on a graphic modeling language created to allow a group of people to think about the problem definition by using a systemic approach ; on the other hand, on a SCHEMA-SI compatible Petri net - graphic model translation procedure. At last, a case study is proposed.

Aujourd'hui en France, l'évaluation de la performance de stratégies de sécurité à déployer pour mettre un bâtiment en sécurité vis-à-vis de l'incendie repose sur une étude d'ingénierie en sécurité incendie. Cette étude a pour objectif l'estimation du risque incendie pour différentes stratégies, et pour des scénarios d'incendies jugés pertinents. Pour parvenir à cette estimation, le Centre Scientifique et Technique du Bâtiment français (CSTB) a mis au point un outil de simulation appelé SCHEMA-SI. Cet outil utilise des réseaux de Petri prédicat-transition différentiels orientés objets et des simulations de Monte Carlo pour générer de multiples scénarios d'incendie. Ces scénarios sont ensuite utilisés pour évaluer le risque incendie encouru avec une stratégie de sécurité. La stratégie est alors jugée d'autant plus performante que le risque incendie est faible. L'objectif de la thèse consiste à contribuer au développement d'une méthode d'analyse de risque incendie utilisant l'outil de simulation SCHEMA-SI. La réflexion a débuté par la définition de ce que devrait être cette méthode. A ce stade, il est apparu que l'une des difficultés que la méthode doit surmonter est celle de la mise en donnés du problème par un groupe d'acteurs impliqués dans la sécurité incendie du bâtiment étudié. Pour résoudre cette difficulté, une méthode de modélisation spécifique a été construite. Cette méthode, baptisée ISI-Systema, repose sur deux fondements principaux : - d'une part, un langage graphique de modélisation permettant au groupe d'acteurs de réfléchir à la mise en données du problème en s'appuyant sur une approche systémique ; - d'autre part, une démarche de traduction des modèles graphiques obtenus avec le langage systémique en réseaux de Petri compatibles avec SCHEMA-SI. Enfin, une application pratique de cette méthode de modélisation est proposée.

Les réseaux réflecteurs sont une alternative prometteuse aux antennes à réflecteurs pour la réalisation de diagrammes de rayonnement directifs ou de couvertures formées, notamment dans le spatial ou dans l'aéronautique. Constitués d'un grand nombre de cellules unitaires dont il faut optimiser la géométrie individuellement, ils restent toutefois difficiles à concevoir. Cette thèse traite de la synthèse des antennes réseau à réflecteur. Aujourd'hui les méthodes utilisées pour les concevoir exploitent, pour la majorité, les logiciels de simulation électromagnétique. Elles sont très coûteuses en temps de calcul et requièrent au final des hypothèses simplificatrices. L'objectif de cette thèse est de répondre à la question suivante : est-il possible de synthétiser de manière purement·analytique un réseau réflecteur? Nous avons répondu à cette question en exploitant la méthode de modélisation multimodale. Elle consiste à représenter la cellule unitaire sous la forme d'un circuit équivalent. Ses propriétés remarquables permettent de prédire analytiquement la phase en réflexion en fonction des dimensions de la cellule unitaire. Un réflecteur composé de cellules unitaires à motif 1 D de;type ruban métallique a tout d'abord été étudié et évalué dans le cadre de la synthèse analytique d'une structure simple. Cette étude a permis de valider la méthode de modélisation en vue de son utilisation dans la synthèse analytique de réseaux réflecteurs. Trois réseaux réflecteurs composés de cellules unitaires 2D de types patch et grille ont ensuite·été synthétisés sur la base de trois spécifications différentes, ceci afin de tester la synthèse analytique dans des configurations de plus en plus contraignantes. Finalement il s'est révélé que la méthode de modélisation multimodale et prometteuse mais que sa précision doit encore être améliorée pour permettre une synthèse complète de réseau réflecteur. / Reflectarrays antennas are a promising alternative to reflector antennas in order to produce focused and contoured beams especially for aeronautics and space applications. A reflectarray antenna is made up of ah array of unit cell that provide a pre-adjusted phasing to form the desired beam.The synthesis of a reflectarray consists in fixing the geometrical dimensions of each unit cell to generate the desired phase law. This thesis focuses on the synthesis of reflectarray. The current methods are mostly based on full­wave analysis and so they are time consuming.The purpose of this thesis is to answer at the following question: a reflectarray can be fully analytically synthesized? We answer it by using the multimodal method. The unit cell is then represented by an equivalent circuit. Using its remarkable properties, the reflected phase can be analytically predicted according to the geometrical dimensions of the unit cell. We used it firstly to synthesize a reflector where the unit cell is composed or a metallic strip. This study has validated this method in order to synthesize reflectarray, Then three reflectarrays have been synthesized based on three specifications. Finally, the multimodal method is promising but the precision has to be improving in order to fully synthesize a reflectarray.

Ce travail s‟intéresse à la gestion d‟informations techniques sur l‟ensemble du cycle de vie du produit et à travers l‟ensemble de l‟entreprise étendue. Il a pour champ d‟application le domaine des systèmes d‟informations supports au PLM dans les PME mécaniciennes. L‟objectif est de faciliter la mise en œuvre de système PLM par l‟apport d‟une part d‟une méthode de modélisation et d‟autre part d‟un cadre de modélisation. Pour ce faire, nous avons mis en place une méthode inductive de modélisation d‟entreprise basée sur les besoins. Cette méthode prend en compte les besoins de l‟entreprise, les processus à mettre en œuvre pour réaliser ces besoins et le modèle de données à implémenter. Elle a été utilisée dans trois entreprises pilotes correspondant à trois domaines distincts de l‟industrie mécanique chez les PME. Un cadre de modélisation a été conçu pour faciliter la mise en œuvre de cette méthode. Il inclut une carte des besoins PLM, un modèle de processus de développement produit et un modèle de données générique. Chacun de ces livrables a trois niveaux de généricité distincts : un niveau générique, englobant tous les objets d‟entreprise, un niveau partiel, regroupant les objets d‟un domaine d‟activité donné, et le niveau particulier, contenant les objets spécifiques à une entreprise particulière. L‟apport principal de cette étude réside dans l‟aspect inductif de la méthode de modélisation qui permet d‟expliciter les besoins implicites, et le cadre de modélisation proposant une spécialisation poussée du modèle de données, tout en en garantissant l‟interopérabilité. L‟application de cette méthodologie au travers d‟un système d‟informations supportant notre approche a été testée dans différents cas d‟études.

Le développement et l’application des langages formels sont un défi à long terme pour la science informatique. Un enjeu particulier est l’acceptation par l’industrie. Cette thèse présente une approche pour la modélisation et la vérification des postes d’aiguillage français. La première question est la modélisation du système d’enclenchement par les réseaux de Petri colorés (RdPC). Un cadre de modélisation générique et compact est introduit, dans lequel les règles d’enclenchement sont modélisées dans une structure hiérarchique, tandis que les installations sont modélisées dans une perspective géographique. Ensuite, un patron de modèle est présenté. C’est un modèle paramétré qui intègre les règles nationales françaises qui peut être appliquée pour différentes gares. Puis, un concept basé sur l’événement est présenté dans le processus de modélisation des parties basses des postes d’aiguillage. La deuxième question est la transformation des RdPCs en machines B, qui va aider les concepteurs sur la route de l’analyse à application. Tout d’abord, une méthodologie détaillée, s’appuyant sur une table de correspondance, du RdPCs non-hiérarchiques vers les notations B est présentée. Ensuite, la hiérarchie et la priorité des transitions du RdPC sont successivement intégrées dans le processus de mapping, afin d’enrichir les possibilités de types de modèles en entrées de la transformation. Les machines B produites par la transformation permettent la preuve automatique intégrale par l’Atelier B. L’ensemble de ces travaux, chacun à leur niveau, contribuent à renforcer l’efficacité d’un cadre global d’analyse sécuritaire / Development and application of formal languages are a long-standing challenge within the computer science domain. One particular challenge is the acceptance of industry. This thesis presents some model-based methodologies for modelling and verification of the French railway interlocking systems (RIS). The first issue is the modellization of interlocking system by coloured Petri nets (CPNs). A generic and compact modelling framework is introduced, in which the interlocking rules are modelled in a hierarchical structure while the railway layout is modelled in a geographical perspective. Then, a modelling pattern is presented, which is a parameterized model respecting the French national rules. It is a reusable solution that can be applied in different stations. Then, an event-based concept is brought into the modelling process of low-level part of RIS to better describe internal interactions of relay-based logic. The second issue is the transformation of coloured Petri nets into B machines, which can help designers on the way from analysis to implementation. Firstly, a detailed mapping methodology from non-hierarchical CPNs to abstract B machine notations is presented. Then the hierarchy and the transition priority of CPNs are successively integrated into the mapping process, in order to enrich the adaptability of the transformation. This transformation is compatible with various types of colour sets and the transformed B machines can be automatically proved by Atelier B. All these works at different levels contribute towards a global safe analysis framework