Le Consulat de Mer de Nice est une juridiction commerciale et maritime souveraine, composée de magistrats professionnels, qui a évolué dans le cadre politique des Etats de la Maison de Savoie de 1613 à 1855. A la Restauration, cette institution singulière, se trouve « à l'interface » de deux systèmes juridiques, le système pluraliste du jus commune d'un côté et de l'autre le système moniste français porté par la codification napoléonienne. Le rôle ambigü de cette vaste entreprise d'uniformisation, idée chère à l'Etat et au commerce international, est au cœur du travail jurisprudentiel des magistrats du Consulat de Mer de Nice de 1814 à 1843. A partir de cette date, il n'y a plus qu'une source du droit en matière commerciale, le Code de commerce sarde qui recopie à l'identique le Code de commerce français de 1807. Le statut accordé au droit français, droit à la fois « étranger », territorial et national, par les magistrats du Consulat, ministère public et juges, préfigure cette évolution globale vers l'unification, tant dans l'intérêt étatique que pour la faveur du commerce. / The Consulat de Mer de Nice is a commercial and maritime supreme court, made up of professional Magistrates. It developed within the Etats de Savoie's political sphere from 1613 to 1855. During the Restauration, this unique institution finds itself halfway between two different legal systems, the pluralist system of the jus commune on one side, and the French one tier system brought by Napoléon’s codifications on the other. From 1814 to 1843, the Consulat de Mer’s Magistrates have an ambiguous standardizing task, important both to the state and to international law. As from 1843, the Sardinian commercial Code, a copy of the French commercial Code of 1807, has become the only source of law. The value attached to french law, a foreign, territorial and national law all at the same time, foretells of the global evolution towards standardization, both in the state’s interest and to develop/ease trade.

Les systèmes à événements discrets sont des systèmes dynamiques particuliers. Ils changent d’état de fa¸con discrète et le terme événement est utilisé afin de représenter l’occurrence de changements discontinus. Ces systèmes sont principalement construits par l’homme et on les retrouve surtout dans les secteurs manufacturier, de la circu- lation automobile, des bases de données et des protocoles de communication. Cette thèse s’intéresse au contrôle des systèmes paramétrés à événements discrets où les spécifications sont exprimées à l’aide de prédicats et satisfont une condition de similarité. Des conditions sont données afin de déduire des propriétés, en observation partielle ou totale, pour un système composé de n processus similaires à partir d’un système com- posé de n0 processus, avec n ≥ n0. De plus, il est montré comment inférer des politiques de contrôle en présence de relations d’interconnexion entre les processus. Cette étude est principalement motivée par la faiblesse des méthodes actuelles de synthèse pour le traitement des problèmes industriels de taille réelle. / Discrete event systems are a special type of dynamic systems. The state of these systems changes only at discrete instants of time and the term event is used to represent the occurrence of discontinuous changes. These systems are mostly man-made and arise in the domains of manufacturing systems, traffic systems, database management systems and communication protocols. This thesis investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. For systems consisting of similar processes under total or partial observation, conditions are given to deduce properties of a system of n processes from properties of a system of n0 processes, with n ≥ n0. Furthermore, it is shown how to infer a control policy for the former from the latter’s, while taking into account interconnections between processes. This study is motivated by a weakness in current synthesis methods that do not scale well to huge systems.

Une description précise de la structure mésoscopique des réseaux complexes permet de modéliser efficacement les processus de propagation sur réseaux ainsi que la croissance de ces derniers. Cette structure s’exprime en termes d’une décomposition en communautés (ou groupes denses de noeuds structurellement rapprochés), de sorte que l’identification d’une organisation optimale constitue un problème de décision de classe NP-difficile. Plusieurs algorithmes récents permettent d’obtenir des solutions approchées dans un temps polynomial. Toutefois, la nature ad hoc de ces algorithmes rend difficile l’évaluation de leurs qualités et de leurs faiblesses. Cet ouvrage fait état d’un formalisme analytique unifiant la théorie de la détection communautaire via une description matricielle. Dans un premier temps, on démontre qu’une grande classe d’algorithmes de détection est équivalente à un problème d’optimisation dont la solution approximative peut être obtenue par la décomposition spectrale de matrices de coût, fonction de la structure du réseau à l’étude. Ces développements établissent un cadre théorique permettant l’étude rigoureuse d’algorithmes ad hoc, et mènent également à un algorithme de détection original, basé sur des principes fondamentaux d’optimisation continue. Dans un deuxième temps, il est démontré par le biais de la théorie des matrices aléatoires que, pour une classe particulière de réseaux, la structure communautaire (ici a priori connue) laisse une empreinte aisément identifiable dans le spectre des matrices de coût associées. Ces deux points de vue complémentaires, optimisation spectrale et théorie des matrices aléatoires, donnent accès à de nouvelles observations importantes qu’une simple étude numérique ne peut expliquer, tel l’apparition d’une limite de détection intrinsèque. Ces développements analytiques restent toutefois confinés à des modèles de réseaux simples. Pour des problèmes plus complexes, une approche numérique est préconisée. On introduit donc une méthode heuristique de détection permettant d’améliorer les performances de tout algorithme imparfait. Dans la perspective de calibrer cette méthode, on présente également un processus de croissance local polyvalent qui produit des réseaux réalistes possédant une structure communautaire connue. / A precise description of the mesoscopic structure of complex systems is necessary to improve models of the dynamical processes on and of networks. However, knowledge of this structure comes at great cost, since finding a optimal decomposition in communities is a problem that belongs to the NP hard complexity class. Multiple recent algorithms yield approximate solutions in polynomial time. Most of these algorithms are collections of ad hoc methods, such that only extensive numerical studies lead to insightful comparisons. In this thesis, we present the basis of a unified theory of community detection, which builds upon recent advances of the spectral theory of complex networks. First, we prove that a large class of detection algorithm is equivalent to an optimization problem that can be solved approximately though the spectral decomposition of a very general cost matrix. Within this framework, otherwise ad hoc algorithms can be studied analytically and rigorously. This point of view also leads to a new, original and first-principled spectral detection algorithm. Second, using random matrix theory, we generalize existing results and prove that the spectrum of a class of modular networks contains valuable information on their mesoscopic structure. These complementary approaches, spectral optimization and random matrix theory, give powerful insights into the spectral theory of complex networks, and their relevance to community structure. These analytical results are unfortunately not yet generalizable to arbitrary networks. For complex cases, we prefer a purely numerical approach. Hence, we introduce a heuristic method that drastically improves the efficiency of existing, imperfect algorithms. To test this method, we also present a local growth process that produces realistic modular networks with known community structure. These networks can then be used as versatile benchmarks.

La présente étude porte sur la gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire. Les systèmes ERP, ou progiciels de gestion intégrée, sont des systèmes informatiques qui tendent à unifier dans une certaine mesure la gestion des activités d'une organisation. Initialement conçus pour le milieu industriel, ces systèmes ont conquis d'autres organisations telles que les administrations publiques et les institutions académiques. Un nombre de plus en plus croissant d'universités se tourne vers les systèmes ERP pour remplacer des systèmes informatiques hétéroclites et vieillissants. Mais cette transition vers les systèmes ERP ne se fait pas sans accroc, comme en témoigne le taux d'échec élevé au niveau de la mise en oeuvre de ces systèmes. En effet, l'espace du projet ERP est un environnement d'une extrême complexité qui comprend divers acteurs, diverses technologies et diverses données. Cette complexité représente un défi du point de vue de la gestion du projet de mise en oeuvre. La présente thèse analyse la fonction de gestion des projets ERP en milieu universitaire sous trois angles : (i) les défis et les problèmes liés à la mise en oeuvre ; (ii) les tactiques d'acquisition et de gestion des ressources humaines ; (iii) le parrainage du projet par un administrateur de l'institution. L'étude a pour objectif d'analyser la gestion de projet en milieu universitaire sous les angles mentionnés ci-dessus afin de faire des suggestions dans le sens de l'amélioration de la gestion de projet. La thèse qui s'est appuyée sur treize projets a permis de collecter des données, de les analyser et de pouvoir relever les aspects positifs et les défis de la gestion des projets ERP afin de tirer des leçons, de faire des suggestions pouvant contribuer à améliorer la gestion des projets ERP en milieu universitaire. À travers l'article (i), l'auteur a analysé les défis majeurs -du point de vue du chef de projet- dans le cadre de chaque projet et l'impact de ces défis sur le processus de mise en oeuvre du projet. Cela a permis de dégager des leçons pouvant contribuer à la sélection, à la formation de futurs chefs de projet, à la planification et à la gestion d'autres projets dans le futur. L'article (ii) a donné l'occasion d'analyser les questions liées à l'acquisition et à la gestion des ressources humaines dans le cadre des projets ERP en milieu universitaire. Cette étude a permis de relever les stratégies d'acquisition de ces ressources humaines, les difficultés inhérentes à cette activité et la gestion quotidienne de ces ressources. À travers l'article (iii), l'auteur a analysé le concept et le rôle du parrainage du projet (par un administrateur de l'institution) afin d'en apprécier l'opportunité et la portée sur la réussite du projet. Les leçons tirées de cette étude permettent de traiter cet aspect du projet ERP dans le cadre d'autres projets dans le futur. La présente thèse représente une contribution à la gestion des projets ERP de façon générale et plus particulièrement à la mise en oeuvre des projets en milieu universitaire.

L'avènement de la VoIP (Voice over IP) a déclenché une période de profonds changements dans le marché des télécommunications. En particulier, dans le secteur de la téléphonie résidentielle, cette technologie s'est consolidée, rapidement et pour de nombreuses raisons, comme l'évolution de la téléphonie traditionnelle. Dès les tous débuts, et afin d'établir une base de compatibilité permettant l'interconnexion de plusieurs réseaux téléphoniques et la convergence entre les systèmes traditionnels analogiques et leur évolution numérique, l'industrie a demandé l'établissement de cadres normatifs. En réponse à ces besoins, plusieurs standards et protocoles, avec de successives modifications et corrections, ont été publiés dans une période relativement brève. Parmi les plus populaires, SIP (Session Initiation Protocol), un protocole de signalisation, et RTP (Real-Time Transport Protocol), un protocole de transport de flots temps réel, se démarquent et ils sont au coeur de la majorité des applications conçues actuellement. Bien que, aujourd'hui, SIP et RTP sont liés fortement à la téléphonie sur IP, leur portée et leurs possibilités sont beaucoup plus vastes, ce qui déclenche un grand intérêt et justifie l'effort mis dans la conception des implémentations plus performantes et orientées plus spécifiquement à divers serveurs mandataires UA (User Agent). Dans ce contexte, le but du présent projet de maîtrise est de concevoir des piles de protocoles SIP et RTP orientées vers des applications de téléphonie sur IP, dans un environnement embarqué. Des conditions additionnelles sont que les piles doivent être codées en langage C et s'appuyer sur le système d'exploitation en temps réel MicroC/OS-II. Afin de faciliter la portabilité, il doit se prévoir des couches d'abstraction du matériel et du système d'exploitation. Même si les applications ciblées pour le projet sont, principalement, celles de VoIP, la pile SIP doit viser d'autres domaines, notamment des applications de domotique et de contrôle à distance. Cette dernière condition impose, de façon indirecte, d'autres conditions sur la taille du code et la puissance de calcul demandée, car le matériel pour ces types d'applications est d'habitude plus simple et moins puissant que les ordinateurs qui sont souvent utilisés dans les applications professionnelles de communication. Ce mémoire, qui décrit le travail effectué, est organisé en deux parties. La première fait une introduction théorique à la téléphonie sur IP, et sert de fondement à la deuxième partie, où la mise en oeuvre des protocoles SIP et RTP est décrite en détail.L'accent a été mis sur les justifications des décisions prises pendant toute la conception afin d'aider à mieux comprendre la logique appliquée et de permettre sa reconsidération et analyse dans de futures itérations. Comme résultat des contraintes et limitations imposées dans le cadre de ce projet, les piles de protocoles conçues se sont révélées très compactes et performantes, ce que justifie pleinement la continuité du travail dans l'avenir.

Dans la majeure partie des travaux effectués dans le domaine de la surveillance des systèmes, les outils servant à la détection et à la localisation des défauts sont synthétisés à partir d'une représentation en boucle ouverte du système. Or, la réalité des applications industrielles fait que les systèmes sont majoritairement insérés dans une boucle de régulation ou d'asservissement. Dans ce contexte, la tâche de diagnostic s'avère particulièrement délicate pour différentes raisons. D'une part, le contrôleur peut atténuer l'effet des défauts ce qui rend difficile leur détection. D'autre part, les entrées du système étant corrélées avec les sorties à cause du bouclage cela engendre une difficulté pour la localisation. Les travaux présentés dans cette thèse se scindent en deux parties: la première porte sur l'analyse systématique de la sensibilité des différents signaux de la boucle de régulation par rapport aux défauts (paramétriques et non paramétriques). L'objectif est de sélectionner ceux qui contiennent le plus d'information sur les défauts pour être exploités par la procédure du diagnostic. La deuxième propose une méthode de détection et de localisation de défauts des systèmes linéaires en boucle fermée soumis à des défauts additifs. Le principe de la méthode consiste à découpler les défauts des sorties afin que chaque défaut affecte une seule sortie ce qui facilite leur localisation / In most of the works concerning system supervision, the methods developed for fault detection and isolation are synthesized from an open-loop representation of the system. But considering real industrial applications, it appears that , most of the times, the system is inserted in a control loop with output feedback. In this context, the task of diagnosis is tedious for several reasons. Firstly, the controller is designed in order to attenuate the effect of the faults, consequently their detection becomes challenging. Secondly, due to the output feedback, the system inputs are correlated with the system outputs, which can complicate the fault isolation. The works presented in the present thesis can be divided into two parts. The first one focuses on the systematic analysis of the sensitivity of the several signals of the control loop with respect to the faults (both additive and parametric faults have been considered). The sensitivity analysis is carried out to select the signal encompassing most information on fault in order to be used for fault diagnosis. In the second one, a fault detection and isolation method based on input-output decoupling is presented for closed-loop linear systems with additive faults. The point is to compute an output feedback such that each fault affects only one output, and thus ease the diagnosis

Cette thèse traite de l'ordonnancement dans les systèmes distribués. L'objectif est d'étudier l'impact de l'incertitude sur les ordonnancements et de proposer des techniques pour en réduire les effets sur les critères à optimiser. Nous distinguons plusieurs aspects de l'incertitude en considérant celle liée aux limites des méthodes employées (e.g., modèle imparfait) et celle concernant la variabilité aléatoire qui est inhérente aux phénomènes physiques (e.g., panne matérielle). Nous considérons aussi les incertitudes qui se rapportent à l'ignorance portée sur les mécanismes en jeu dans un système donné (e.g., soumission de tâches en ligne dans une machine parallèle). En toute généralité, l'ordonnancement est l'étape qui réalise une association ordonnée entre des requêtes (dans notre cas, des tâches) et des ressources (dans notre cas, des processeurs). L'objectif est de réaliser cette association de manière à optimiser des critères d'efficacité (e.g., temps total consacré à l'exécution d'un application) tout en respectant les contraintes définies. Examiner l'effet de l'incertitude sur les ordonnancements nous amène à considérer les aspects probabilistes et multicritères qui sont traités dans la première partie. La seconde partie repose sur l'analyse de problèmes représentatifs de différentes modalités en terme d'ordonnancement et d'incertitude (comme l'étude de la robustesse ou de la fiabilité des ordonnancements) / This thesis consists in revisiting traditional scheduling problematics in computational environments, and considering the adjunction of uncertainty in the models. We adopt here a wide definition of uncertainty that encompasses the intrinsic stochastic nature of some phenomena (e.g., processor failures that follow a Poissonian distribution) and the imperfection of model characteristics (e.g., inaccuracy of the costs in a model due to a bias in measurements). We also consider uncertainties that stem from indeterminations such as the user behaviors that are uncontrolled although being deterministic. Scheduling, in its general form, is the operation that assigns requests to resources in some specific way. In distributed environments, we are concerned by a workload (i.e., a set of tasks) that needs to be executed onto a computational platform (i.e., a set of processors). Therefore, our objective is to specify how tasks are mapped onto processors. Produced schedules can be evaluated through many different metrics (e.g., processing time of the workload, resource usage, etc) and finding an optimal schedule relatively to some metric constitutes a challenging issue. Probabilistic tools and multi-objectives optimization techniques are first proposed for tackling new metrics that arise from the uncertainty. In a second part, we study several uncertainty-related criteria such as the robustness (stability in presence of input variations) or the reliability (probability of success) of a schedule

L'accession a l'éducation d'un nombre toujours plus grand d'individus a conduit a considérer la performance des systèmes de formation comme un véritable facteur de développement économique. C'est dans ce contexte que s'inscrivent nos travaux de thèse qui ont visé au développement de méthodes et outils pour l'aide à la conception de la partie opérationnelle d'un système de formation et notamment tout le système de transformation permettant l'accroissements de compétences chez les apprenants. Après avoir présenté un bilan des systèmes de formation en définissant leur périmètre puis leur fonctionnement et résultats, nous précisons alors les facteurs qui nous ont conduits a nous préoccuper des processus opérationnels des systèmes de formation. Dans un deuxième chapitre, nous précisons la démarche que nous avons choisi d'adopter et déclinons ainsi l'ensemble de notre méthode, associée a des outils spécifiques, qui vise à l'aide a la conception et la mise en oeuvre des formations. Nous nous éloignons de la logique de l'offre pour migrer vers une logique de la demande. Nous proposons une identification contraintes subies par un système de formation (ressources à capacité finie, cohérence pédagogique, indisponibilité de ressources, compétences et aptitudes des ressources, etc.) - - Dans une troisième partie, nous illustrons notre propos en appliquant les méthodes et outils développes a un cas pratique. Enfin, nous concluons sur l'apport scientifique constitué par ces travaux et ouvrons la voie vers de nombreuses perspectives, le domaine de l'ingénierie de la formation étant encore à ses balbutiements / The accession with the education of a number increasingly larger indivlduals resulted in regarding the performance of the systems of formation as a true factor of economic development. It is in ths context that our work of thesis is registered which aimed to the development of methods and tools for the assistance with the design of the operational part of an education system and in particular al the transformation s y s t v leading to the increase of students competences. After having presented an assessment of the education systems by defining their perimeter, their operation and results, we specify the factors whch led us to worry us about operational processes of the education systems. In a second chapter, we specifi the steps whch we chose to adopt and we decline the whole of our method, associated to specific tools, which aims to the assistance to the design and the setting of formations. We move away from the logic of supply to migrate towards logic of demand. We propose an identification of constraints in education systems (resources with limited capaciîy, teachmg coherence, unavailability of resources, competences and aptitudes of the resources, etc.) In a third part, we illustrate our concept by applying methods and tools developed with a practical case. Lastly, we conclude on the scientific contribution made up by t h work and open the way towards rnany prospects, the field of the engineering of the formation being still to its beginnings

La commande événementielle offre une alternative prometteuse à la commande périodique classique, qui est considérée comme peu économe vis-à-vis des ressources. Contrairement à la commande classique, la commande événementielle propose de passer d'une loi de commande en temps continu à une loi de commande numérique à travers un échantillonnage non-uniforme. Dans ce cas, une nouvelle valeur de la loi de commande n'est calculée que lorsque la réponse du système est inadmissible. En revanche, la valeur de la loi de commande est maintenue constante si la réponse est satisfaisante. Dans cette thèse, nous explorons des moyens de réduire le nombre de mise à jour de la loi de commande, et de rallonger les intervalles de temps entre les mises à jour.Dans le cas des systèmes linéaires, nous présentons un algorithme de stabilisation dans lequel nous relaxons les conditions de stabilité sur la fonction de Lyapunov du système. Pour induire moins d'échantillons, on requiert uniquement que cette fonction soit maintenue sous un seuil décroissant. Le calcul des paramètres optimaux du seuil est transformé en problème de valeurs propres généralisées. Ensuite, cette approche est étendue aux systèmes dits switched, et une version self-triggered est proposée. Nous traitons également le problème de suivi de trajectoire par une commande événementielle. Enfin, dans le cas du contrôle des systèmes non-linéaires, nous proposons d'utiliser une analyse de contraction des trajectoires, et ce à cause de la difficulté de trouver une fonction de Lyapunov pour ces systèmes. / Event-triggered control offers a promising alternative to the classical, resource-consuming, periodic control. It suggests to replace the periodic, high frequency sampling used in the continuous-to-discrete transformations of control signals with aperiodic sampling. A new value of the event-triggered control law is computed only when the system's response is unsatisfactory. The control value is kept constant otherwise. In this thesis, we explore ways to induce fewer updates, and to have longer intervals between two samples. We also seek to make the algorithms that we design more detailed, by describing how to choose or compute the optimal parameters.In the linear case, we present a stabilizing algorithm in which we relax the stability conditions on the system's Lyapunov function to produce fewer, sparser updates of the control law. Stability is ensured by maintaining the Lyapunov function below a certain decreasing threshold. The optimal threshold function is derived by solving a maximum generalized eigenvalue problem. This approach is then extended to switched linear systems. We also present a self-triggered version of this algorithm using Newton methods for optimization and root-finding. The reference tracking problem is treated in the event-triggered control framework as well. Finally, in the nonlinear case, due to the difficulty of finding a Lyapunov function, we explore the use of contraction analysis. This approach allows us to describe the nonlinear event-triggered control algorithm more thoroughly than if we had used Lyapunov techniques.

Ces dernières années, le monde des systèmes critiques a connu un véritable essor en matière de demande de logiciels. Dans une optique majeure de réduction des coûts de développement, les grands acteurs du monde critique comme ceux de l’avionique et de l’automobile s’orientent de plus en plus vers l’ingénierie dirigée par les modèles. Par contre les acteurs du domaine ferroviaire, pour des raisons stratégiques et organisationnelles restent encore fidèles à des méthodes conventionnelles qui leur permettent de tirer au maximum profit de leurs compétences. Cependant, ces approches conventionnelles souffrent d’un manque d’abstraction pour la traçabilité des préoccupations et la vérification formelle, qui sont fortement recommandées dans le développement des logiciels critiques dans le domaine ferroviaire. Pour faire face à ces limitations, nous présentons dans cette thèse une approche systématique basée sur l’ingénierie dirigée par les modèles à base de composants, de façon à maîtriser au mieux la complexité des logiciels et la traçabilité des préoccupations. Nous proposons notamment trois contributions essentielles. En premier lieu, nous fournissons un ensemble uniformisé de méta-modèles permettant de décrire les préoccupations des exigences logicielles, les composants logiciels, et la traçabilité entre les préoccupations et ces composants logiciels. Avec la deuxième contribution, nous proposons un support formel de notre modèle pour en permettre la vérification formelle. Finalement, la dernière contribution propose une approche de développement et de vérification à base de composants logiciels, nommée SARA pour "SAfety-critical RAilway control applications". Nous avons validé notre approche avec quelques cas d’études du nouveau système européen de contrôle de train, ERTMS/ETCS. / In recent years, the development of critical systems demands more and more software. In order to reduce their costs of development and verification, actors in critical domains, such as avionics and automotive domains, are moving more and more towards model-driven engineering. In contrast, in the railway domain, for strategic and organizational reasons, actors remain faithful to traditional methods that allow them to take advantage of their knowledge. However, these conventional approaches suffer from a lack of abstraction and do not provide supports for traceability of concerns and formal verification, which are highly recommended for the development of railway safety-critical software. To address these shortcomings, we present in this thesis a systematic approach based on model driven engineering and component-based model, in order to better manage software complexity and traceability of concerns. In this dissertation, we provide in particular three major contributions. First, we provide an integrated set of meta-models for describing the concerns of software requirements, software components, and traceability between the concerns and software components. With the second contribution, we propose a formal support of our model to allow formal verification of temporal properties. Finally, with the last contribution, we propose a software component-based development and verification approach, called SARA, and included in V-lifecycle widely used in the railway domain. Experiments we conducted to validate our approach through a few case studies of the new European train control system ERTMS/ETCS, show that by using component model that explicitly include requirement traceability, we are able to provide a practical, scalable and reliable approach.