Ce travail traite de l'extension du périmètre d'application de l'Ingénierie Système afin de couvrir l'ingénierie des systèmes de fabrication et sa coordination avec l'ingénierie des produits. Une méthode outillée est développée pour concourir à la maximisation du déploiement de cette démarche étendue, prise pour cible méthodologique par PSA Peugeot Citroën pour satisfaire l'amélioration requise de la performance de ses processus de développement. L'extension du référentiel d'Ingénierie Système Automobile est justifiée par l'état de l'art des méthodes d'ingénierie. La portée des résultats obtenus débouche sur la problématique de leur instrumentation logicielle, pour laquelle la modélisation et le raffinement des modèles est réalisée. La méthode outillée s'appuie sur une démarche d'interviews et sur l'analyse des processus d'ingénierie. Elle permet d'évaluer les pratiques actuelles et de réaliser des actions d'amélioration, en réponses aux besoins des métiers. Elle est validée en regard des pratiques du terrain par le cas d'étude présenté. En conclusion, la représentativité et le caractère générique des études réalisées justifient la valeur ajoutée de l'Ingénierie Système ici étendue et son utilité pour l'ingénierie de tout le cycle de vie d'un système ou encore pour d'autres domaines industriels. La principale perspective de ces travaux confirme l'intérêt, par tous les moyens développés dans ce travail, de la poursuite du déploiement de l'Ingénierie Système pour la branche recherche et développement du groupe PSA Peugeot Citroën.

Par rapport aux exigences de plus en plus importantes relatives au Maintien en Condition Opérationnelle d'un système industriel, le processus de maintenance joue un rôle fondamental pour l'amélioration de la disponibilité, de la productivité, etc. Pour essayer de contrôler au mieux ces performances, les responsables de maintenance doivent donc être capables de choisir les stratégies de maintenance et les ressources à mettre en œuvre les plus adaptées aux besoins. Dans un objectif d'aide à la prise de décisions en maintenance, les travaux présentés dans ce mémoire ont pour objet de proposer une méthodologie pour l'élaboration d'un modèle support permettant par simulation d'évaluer les différentes stratégies. La valeur ajoutée de la méthodologie réside dans l'unification, à base de modèles relationnels probabilistes (PRM), des différents types de connaissance nécessaires à la construction de ce modèle d'évaluation. Ce dernier est ainsi construit à partir de motifs génériques et modulables représentatifs des variables décisionnels du système industriel (système principal) et de son système de maintenance. Ces motifs, par instanciation, facilitent la construction des modèles d'applications spécifiques. Cette méthodologie, issue du projet ANR SKOOB, est testée sur le cas applicatif de la maintenance d'un système de production de ferment.

Ces dernières années, la conception de produit vise de plus en plus à remettre le client aucentre du processus de développement. De nouvelles méthodes et outils ont permis de formaliser nonseulement l'identification des besoins et des attentes du client mais également leur transformation enexigences. Cependant, malgré les progrès récemment apparus dans ce domaine, la notion de valeurperçue par le client qui est associée au produit reste faiblement considérée durant le développement duproduit alors que la perception de cette valeur par le client va jouer un rôle clé au moment du choix duproduit.Dans cette thèse, nous proposons une approche normative visant l'intégration de la notion devaleur du produit dans le processus d'établissement des exigences. Un état de l'art présente lesconcepts et les pratiques impliqués dans le déploiement de la fonction de qualité, étroitement liée auprocessus de spécification des exigences basé sur la valeur. Ces concepts sont relatifs aux notionsd'objectifs, de modèles de la valeur, de fonctions d'utilité multi attributs et de hiérarchie et de réseauxd'objectifs.Notre approche se déroule en 4 étapes : (1) identifier et structurer les objectifs à partir del'expression des attentes du client, (2) spécifier les attributs de la valeur perçue par le client etconstruire un modèle de la valeur client, (3) transformer les objectifs en exigences pour construire unmodèle global de la valeur produit et (4) dériver ce modèle global en un modèle de la valeur pourchaque composant du produit. Cette approche permet ainsi de prendre en compte explicitement lavaleur produit perçue par le client en l'intégrant dans les phases de développement, ce qui favorise uneconception proactive dirigée par la valeur.Nous l'illustrons sur un exemple d'avion de ligne développé en Vanguard Studio. Cet exemplea été élaboré par l'ensemble des partenaires au cours du projet Européen IST CRESCENDO et sert decas-test pour ce projet

L'enforcement à l'exécution est une technique efficace de vérification et de validation dont le but est de corriger les exécutions incorrectes d'un système, par rapport à un ensemble de propriétés désirées. En utilisant un moniteur d'enforcement, une exécution (possiblement incorrecte), vue comme une séquence d'événements, est passée en entrée du moniteur, puis corrigée en sortie par rapport à la propriété. Durant les dix dernières années, l'enforcement à l'exécution a été étudiée pour des propriétés non temporisées. Dans cette thèse, nous considérons l'enforcement à l'exécution pour des systèmes où le temps entre les actions du système influence les propriétés à valider. Les exécutions sont donc modélisées par des séquences d'événements composées d'actions avec leurs dates d'occurence (des mots temporisés). Nous considérons l'enforcement à l'exécution pour des spécifications régulières modélisées par des automates temporisés. Les moniteurs d'enforcement peuvent, soit retarder les actions, soit les supprimer lorsque retarder les actions ne permet pas de satisfaire la spécification, permettant ainsi à l'exécution de continuer. Pour faciliter leur conception et la preuve de leur correction, les mécanismes d'enforcement sont modélisés à différents niveaux d'abstraction : les fonctions d'enforcement qui spécifient le comportement attendu des mécanismes en termes d'entrées-sorties, les contraintes qui doivent être satisfaites par ces fonctions, les moniteurs d'enforcement qui décrivent les mécanismes de manière opérationnelle, et les algorithmes d'enforcement qui fournissent une implémentation des moniteurs d'enforcement. La faisabilité de l'enforcement à l'exécution pour des propriétés temporisées est validée en prototypant la synthèse des moniteurs d'enforcement à partir d'automates temporisés. Nous montrons également l'utilité de l'enforcement à l'exécution de spécifications temporisées pour plusieurs domaines d'application. / Runtime enforcement is a verification/validation technique aiming at correcting possibly incorrect executions of a system of interest. It is a powerful technique to ensure that a running system satisfies some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies with a property. Over the last decade, runtime enforcement has been mainly studied in the context of untimed properties. In this thesis, we consider enforcement monitoring for systems where the physical time elapsing between actions matters. Executions are thus modeled as sequences of events composed of actions with dates (called timed words). We consider runtime enforcement for timed specifications modeled as timed automata, in the general case of regular timed properties. The proposed enforcement mechanism has the power of both delaying events to match timing constraints, and suppressing events when no delaying is appropriate, thus allowing the enforcement mechanisms and systems to continue executing. To ease their design and correctness-proof, enforcement mechanisms are described at several levels: enforcement functions that specify the input-output behavior in terms of transformations of timed words, constraints that should be satisfied by such functions, enforcement monitors that describe the operational behavior of enforcement functions, and enforcement algorithms that describe the implementation of enforcement monitors. The feasibility of enforcement monitoring for timed properties is validated by prototyping the synthesis of enforcement monitors from timed automata. We also show the usefulness of enforcement monitoring of timed specifications for several application-domains.

Ces travaux s’intéressent à la coordination entre services au sein d’un hôpital. Il s’agit d’améliorer la prise en charge des patients en prenant une vision de leur parcours qui intègre toutes les unités impliquées. Nous nous sommes particulièrement intéressés au cas de la chimiothérapie ambulatoire, en partenariat avec l’hôpital Henri Mondor de Créteil. Trois questions sont traitées :1. Comment concevoir et mener un programme de changement dans un contexte multi-services à l’hôpital ?2. Comment améliorer la délivrance des chimiothérapies ambulatoires ?3. Pourquoi la planification stratégique dans les Centre Hospitalo-Universitaires donne-t-elle des résultats décevants, comparés aux contextes industriels où ces approches ont été appliquées avec succès ?Pour répondre, notre principale méthode d’investigation a été la recherche-action. Dans le cadre de projets de réorganisation à l’hôpital Henri Mondor, nous avons adapté et combiné des méthodes de recherche opérationnelle et de génie industriel pour prendre en compte les spécificités du contexte hospitalier. Nos travaux aboutissent à la proposition et à l’évaluation de méthodes de réorganisation centrées sur la coordination entre services, et sur une meilleure connaissance de l’environnement spécifique de l’hôpital, un contexte différent de ceux où s’est traditionnellement développé le génie industriel. / This dissertation addresses the challenge of coordinating hospital services. We take an integrated view on care delivery and the various units involved in a care process, with a case study in outpatient chemotherapy process at Henri Mondor hospital, Créteil, France. We tackle three research questions :1. How should a change program in a multi-department setting be designed and managed?2. How can one improve outpatient chemotherapy delivery?3. Why do strategic plans look so disconcerting and disappointing in public academic medical centers, compared to otherindustrial organizations, when similar methods are applied?Our main research method is action-research. During reorganization projects, we adapt and combine methods from operational research and industrial engineering in order to integrate hospitals’ specificities. We propose and evaluate reorganisation methods focused on interdepartmental coordination, and we contribute to a better knowledge of the specific environment of hospitals, which is quite different from the contexts in which industrial engineering traditionally developed.

Dans cette thèse, nous présentons les problèmes d’échange de documents d'affaires et proposons une méthode pour y remédier. Nous proposons une méthodologie pour adapter les standards d’affaires basés sur XML aux technologies du Web sémantique en utilisant la transformation des documents définis en DTD ou XML Schema vers une représentation ontologique en OWL 2. Ensuite, nous proposons une approche basée sur l'analyse formelle de concept pour regrouper les classes de l'ontologie partageant une certaine sémantique dans le but d'améliorer la qualité, la lisibilité et la représentation de l'ontologie. Enfin, nous proposons l’alignement d'ontologies pour déterminer les liens sémantiques entre les ontologies d'affaires hétérogènes générés par le processus de transformation pour aider les entreprises à communiquer fructueusement. / In this thesis, we present the problems of business document exchanges. We propose a methodology to adapt the XML-based business standards for the Semantic Web technologies by mapping documents defined on DTD or XML Schema to an ontological representation in OWL 2. Next, we propose an approach based on formal concept analysis techniques to regroup the ontology classes sharing some semantics to improve the quality, readability and the representation of the ontology. Finally, we propose ontology alignment to determine the semantic links between heterogeneous business ontologies generated by the transformation process to help entreprises to communicate fruitfully.

Les réseaux maillés sans fil (RMSF), grâce à leurs caractéristiques avantageuses, sont considérés comme une solution efficace pour le support des services de voix, vidéo et de données dans les réseaux de prochaine génération. Le standard IEEE 802.16-d a spécifié pour les RMSF, à travers son mode maillé, deux mécanismes de planifications de transmission de données; à savoir la planification centralisée et la planification distribuée. Dans ce travail, on a évalué le support de la qualité de service (QdS) du standard en se focalisant sur la planification distribuée. Les problèmes du système dans le support du trafic de voix ont été identifiés. Pour résoudre ces problèmes, on a proposé un protocole pour le support de VoIP (AVSP) en tant qu’extension au standard original pour permettre le support de QdS au VoIP. Nos résultats préliminaires de simulation montrent qu’AVSP offre une bonne amélioration au support de VoIP. / Wireless mesh networks (WMNs), because of their advantageous characteristics, are considered as an effective solution to support voice services, video and data in next generation networks. The IEEE 802.16-d specified for WMNs, through its mesh mode, two mechanisms of scheduling data transmissions; namely centralized scheduling and distributed scheduling. In this work, we evaluated the support of the quality of service (QoS) of the standard by focusing on distributed scheduling. System problems in the support of voice traffic have been identified. To solve these problems, we proposed a protocol for supporting VoIP, called Assisted VoIP Scheduling Protocol (AVSP), as an extension to the original standard to support high QoS to VoIP. Our preliminary simulation results show that AVSP provides a good improvement to support VoIP.

Une entreprise doit être capable de décrire et de demeurer réactive face à un événement endogène ou exogène. Une telle flexibilité peut s'obtenir par la gestion des processus d'entreprise (Business Process Management - BPM). Lors d'une démarche BPM, différentes transformations interviennent sur les modèles de processus développés par l'analyste métier et l'expert en technologies de l'information. Un non-alignement se crée entre ces modèles hétérogènes lors de leurs manipulations : il s'agit du "fossé métier-TI" tel que décrit dans la littérature. L'objectif de notre travail est de proposer un cadre méthodologique permettant un meilleur pilotage des processus métier, afin de tendre vers un alignement systématique de leur modélisation à leur implémentation au sein du système cible. A l'aide de concepts issus de l'ingénierie d'Entreprise et des Systèmes d'Informations dirigée par les modèles et des TI, nous définissons une démarche générique assurant une cohérence intermodèle. Son rôle est de conserver et de fournir toutes les informations liées à la structure et à la sémantique des modèles. En permettant la restitution intégrale d'un modèle transformé au sens de l'ingénierie inverse, notre plateforme permet une synchronisation entre modèle d'analyse et modèle d'implémentation. Le manuscrit présente également l'adéquation possible entre l'ingénierie des procédés et le BPM à travers un point de vue multi-échelle. / A company must be able to describe and to remain responsive against endogenous or exogenous events. Such flexibility can be obtained with the Business Process Management (BPM). Through a BPM approach, different transformations operate on process models, developed by the business analyst and IT expert. A non-alignment is created between these heterogeneous models during their manipulation: this is the "business-IT gap" as described in the literature. The objective of our work is to propose a methodological framework for a better management of business processes in order to reach a systematic alignment from their modelling to their implementation within the target system. Using concepts from Model-driven Enterprise and Information System engineering, we define a generic approach ensuring an intermodal consistency. Its role is to maintain and provide all information related to the model structure and semantics. By allowing a full restitution of a transformed model, in the sense of reverse engineering, our platform enables synchronization between analysis model and implementation model. The manuscript also presents the possible match between process engineering and BPM through a multi- erspective scale.

L'utilisation de nouvelles technologies au sein des systèmes relatifs à la sécurité soulève des problèmes en termes de maîtrise des risques technologiques, et il est nécessaire de disposer d'outils d'évaluation probabiliste adaptés à la complexité accrue de ces systèmes. Les travaux présentés dans ce mémoire apportent des contributions à l'évaluation de la sûreté de fonctionnement des systèmes de sécurité, et en particulier des capteurs-transmetteurs à fonctionnalités numériques qui combinent l'acquisition de données avec des fonctions avancées de traitement et de transmission de l'information. L'objectif est d'étendre les méthodes de modélisation de la sûreté de fonctionnement, afin de mieux prendre en compte les diverses interactions et les comportements dynamiques mis en jeu par ces systèmes. Le premier modèle proposé permet de représenter les aspects fonctionnels et matériels d'un système de sécurité, les défauts et défaillances, ainsi que les diverses relations entre éléments. Cette modélisation sert de support à des analyses de fiabilité et à des analyses d'incertitudes liées aux paramètres et au modèle. Une seconde contribution considère les capteurs-transmetteurs comme éléments de systèmes de contrôle-commande et vise à modéliser les interactions entre ces capteurs-transmetteurs, celles avec d'autres éléments du système, ainsi qu'avec le processus contrôlé, dans une approche de fiabilité dynamique.

Les réseaux maillés sans fil (RMSF), grâce à leurs caractéristiques avantageuses, sont considérés comme une solution efficace pour le support des services de voix, vidéo et de données dans les réseaux de prochaine génération. Le standard IEEE 802.16-d a spécifié pour les RMSF, à travers son mode maillé, deux mécanismes de planifications de transmission de données; à savoir la planification centralisée et la planification distribuée. Dans ce travail, on a évalué le support de la qualité de service (QdS) du standard en se focalisant sur la planification distribuée. Les problèmes du système dans le support du trafic de voix ont été identifiés. Pour résoudre ces problèmes, on a proposé un protocole pour le support de VoIP (AVSP) en tant qu’extension au standard original pour permettre le support de QdS au VoIP. Nos résultats préliminaires de simulation montrent qu’AVSP offre une bonne amélioration au support de VoIP. / Wireless mesh networks (WMNs), because of their advantageous characteristics, are considered as an effective solution to support voice services, video and data in next generation networks. The IEEE 802.16-d specified for WMNs, through its mesh mode, two mechanisms of scheduling data transmissions; namely centralized scheduling and distributed scheduling. In this work, we evaluated the support of the quality of service (QoS) of the standard by focusing on distributed scheduling. System problems in the support of voice traffic have been identified. To solve these problems, we proposed a protocol for supporting VoIP, called Assisted VoIP Scheduling Protocol (AVSP), as an extension to the original standard to support high QoS to VoIP. Our preliminary simulation results show that AVSP provides a good improvement to support VoIP.