Search

International audience; The self-adaptation control of Internet of Things (IoT) systems ought to tackle uncertainties in the dynamic environment (application level), as well as the dynamic computation infrastructure (architecture level). While the control of those two levels is generally separated, they should coordinate to guarantee functionality and quality. This paper proposes a conceptual model for the separation of concerns in controlling the environment and infrastructure events. The approach is applied on a real case: Melle-Longchamp area's smart power transmission network (in France). A hierarchical architecture with a control mechanism formalized with constraint programming (CP) is modeled. The control system assesses the reconfigurations that enhance the quality of service (QoS) while considering the internal and external limitations. The CP considers the desired application level control modes and assesses their feasibility by computing the response time and availability using a Netflow algorithm. The outcomes of this research supported design decisions and provided architectural reconfiguration solutions to the French Power Transmission Company (RTE).

International audience; Cyber-Physical Systems (CPS) contain complex computational components that control physical entities. The design of these components must take into account the realtime and concurrent nature of these systems. Formulating requirements that describe CPS behaviors precisely, ruling out misunderstandings, is a crucial yet difficult endeavor. To increase trust in the requirements, formal methods can be used to check relevant properties of the requirements. We investigate a process algebra to capture real-time behaviors and concurrency in CPS requirements in order to automate their analysis. We use a structured natural language to first express CPS requirements: this takes into account current practice, indeed requirements should be easily writable as well as graspable by stakeholders with various points of view and ease communication among them. At the same time, requirements analysis using simulation or formal validation is possible by taking advantage of the requirements structure. We discuss translation from the structured requirements into the process algebra to automate the overall process. Our approach is implemented and is illustrated by an example issued from CPS4EU project.

International audience; Developmental processes have to be robust but also flexible enough to respond to genetic and environmental variations. Different mechanisms have been described to explain the apparent antagonistic nature of developmental robustness and plasticity. Here, we present a “self-sufficient” molecular model to explain the development of a particular flight organ that is under the control of the Hox gene Ultrabithorax ( Ubx ) in the fruit fly Drosophila melanogaster . Our model is based on a candidate RNAi screen and additional genetic analyses that all converge to an autonomous and cofactor-independent mode of action for Ubx. We postulate that this self-sufficient molecular mechanism is possible due to an unusually high expression level of the Hox protein. We propose that high dosage could constitute a so far poorly investigated molecular strategy for allowing Hox proteins to both innovate and stabilize new forms during evolution.

Face aux filières générales, les filières technologiques et professionnelles sont considérées, depuis longtemps, comme des voies où l’on relègue les moins bons élèves. La filière STMG (Sciences et Technologies du Management et Gestion) ne semble pas échapper à cette règle bien que la réforme des lycées de 2012 vise à donner à chaque parcours une voie d’excellence. Nous avons dans un premier temps cherché à savoir si une remédiation était possible. L’idée était d’analyser l’impact que des échanges avec des professionnels pouvaient avoir sur leur motivation, leurs choix d’orientation post-bac et leurs projets professionnels au regard de leurs représentations potentiellement négatives. Nous avons travaillé avec une classe de terminale dont les élèves sont majoritairement issus d’un milieu social défavorisé. Afin d’optimiser les chances d’obtenir des résultats positifs, nous avons choisi d’associer les élèves à l’organisation d’un forum des métiers dans leur lycée. Dans un second temps, notre étude a évolué pour s’attacher à une question de recherche centrée sur la pédagogie de projet en étudiant en quoi la mise en projet des élèves pouvait modifier leur adhésion à leur filière historiquement dévalorisée. Il ressort de l’analyse de que l’organisation du forum des métiers par les élèves a eu des effets positifs sur leurs représentations. Cela tient à plusieurs éléments, citons la fierté d’avoir mené à bien le projet, la nature de ce dernier dont le bénéfice dépasse la classe, la valorisation ressentie grâce à la reconnaissance de l’équipe éducative et de la direction, le développement du sentiment d’appartenance mais également le réinvestissement des compétences propres à la filière pour organiser le forum qui donne du sens à leurs enseignements. Les enseignements relatifs à la connaissance du fonctionnement des organisations professionnelles, les débouchés variés qui leurs permettent d’envisager positivement la suite de leur parcours scolaire font sens. Ils adhèrent aux formes de travail proposées : le travail de groupe, l’étude de situations réelles, l’utilisation d’outils numériques et l’accompagnement bienveillants des professeurs. La pédagogie de projet a permis d’introduire de nouvelles formes de travail très appréciées par les élèves : l’autonomie relative, les responsabilités confiées.

During evolution, animais have developed an astonishing morphological diversity, allowing them to adapt to a wide variety of environments. One of the most striking examples is the radiation of flight appendages in insects, starting from ancestors with two similar pairs of wings. Severa! studies showed the implication of a particular Hox gene, Ultrabithorax ( Ubx), in the formation of posterior flight organs. These organs correspond to the "halteres" in Diptera. Conversely, the formation of anterior flight organs is considered to be Hox independent.During my Ph.D work, we have questioned this mode!. We showed that the Hox protein Antennapedia (Antp) is produced in the wing primordium of the fruit fly Drosophi/a melanogaster and is required for the formation of forewings. Surprisingly, the express ion level of Antp is much lower than the level of Ubx in the haltere primordium, and the artificial increase of Antp level can transform the wing into a haltere. Conversely, the artificial decrease of the Ubx level can induce a haltere to wing transformation. These results show that this is not the type of the Hox protein, here Antp or Ubx, but the specific dose, which is important for the formation of a wing or a haltere in Drosophi/a. We also identified the transcription factor Homothorax (Hth) as an upstream regulator of Antp and Ubx in the wing and haltere primordia respectively. The observation of a correlation between Hox dose variation and wing morphology in other insect lineages supports a new mode! in which morphological diversification of flight organs during insect evolution could arise from changes in the Antp and Ubx expression level. How the Ubx protein could specify the haltere developmenta l program at the molecular level remains elusive. lt is expected that the dose-specific activity of Ubx in the haltere could rely on the interaction with other transcr iptiona l partners. 1 present two complementary approaches that 1 developed ta capture such cofactors. While one approach is still ongoing, the other led ta the identification of interesting putative Ubx-partners. This work also revea led a surpr ising robustness in the Ubx transcr iptional program that may expia in why halteres diverged very little during insect evolution.; Au cours de l'évolution, les êtres vivants ont développé une étonnante diversité morphologique leur permettant de s'adapter à des environnements très variés. L'un des exemples les plus frappants est la radiation des appendices de vol chez les insectes à partir d'ancêtres possédant deux paires d'ailes très similaires. Plusieurs travaux montrent l'importance d'un gène Hox particulier, Ultrabithorax ( Ubx), pour la formation des organes de vol postérieurs. Ceux-ci correspondent à des organes balanciers appelés « haltères » chez les diptères. A l'inverse, la formation des organes de vol antérieurs est considérée comme indépendante des gènes Hox. Au cours de mes travaux de thèse, nous avons remis en question ce modèle, et montré que la protéine Hox Antennapedia (Antp) est non seulement produite da ns le primordium de l'a ile mais éga lement nécessaire à la formation des ailes antér ieures chez la mouche des fruits Drosophila melanogaster. De manière surprenante, la dose de Antp est bien en deçà de celle observée pour Ubx dans le primordium d'haltère, et l'augmentat ion artificielle de cette dose suffit à transformer l'aile en haltère. À l'inverse, la diminution contrôlée de la dose de Ubx induit une transformation de l'haltère en aile. Ces résultats montrent ainsi que ce n'est pas le type de protéine Hox, ici Antp ou Ubx, mais leur dose, qui contrôle le programme développemental de type a ile ou haltère chez la drosophile. L'analyse du rôle du facteur de transcription Homothorax (Hth) montre également que celui-ci est nécessaire respectivement à l'activation de Antp et à la répression de Ubx dans les primordia d'aile et d'haltère, permettant de mettre en place un profil d'expression spécifique. L'observation d'une corrélation entre variation de dose Hox et formation d'ailes identiques ou différentes dans d'autres lignages d'insectes permet de proposer un nouveau modèle dans lequel les modifications du niveau d'expression des gènes Antp et Ubx pourraient être plus largement responsables de la diversification morphologique des organes de vol au cours de l'évolution des insectes. Comment la protéine Ubx parvient à spécifier le programme développemental des haltères chez la drosophile reste encore mal compris au niveau moléculaire. En particulier, il est attendu que son activité dose-dépendante puisse reposer sur l'interaction avec d'autres partenaires transcriptionnels. J'ai donc initié deux approches complémentaires originales pour identifier de nouveaux cofacteurs de Ubx. Si l'une des approches n'a pu aboutir à son terme, l'autre a permis d'identifier un certain nombre de nouveaux partenaires et de révéler une stabilité surprenante du programme développemental de l'haltère.

This protocol defines the procedure to conduct a systematic literature review on adaptive middleware support for the Internet of Things (IoT) and Cyber-physical Systems (CPS). The mentioned concepts deal with smart interactive objects which provide a set of services, but they look into the problem from various perspectives. We especially look into middleware design decisions for reactive/proactive adaptations. Following a systematic literature review (SLR) in the selection procedure, we selected 62 papers among 4,274 candidate studies. To this end, we applied the classification and extraction framework to select and analyze the most influential domain-related information. In addition to the academic database, we took advantage of the use-cases provided by our industrial partners within the CPS4EU 2 project. This document clarifies the primary studies' selection process. The analysis of the studies, discussion, and solution proposals will be presented separately in a journal article.

Contexte : Malgré l’amélioration des techniques d’imagerie et l’enrichissement de l’arsenal thérapeutique, le retard diagnostique moyen des spondyloarthrites reste toujours une problématique suggérant une insuffisance de diagnostic précoce. L’orientation entre une pathologie dégénérative mécanique et un rhumatisme inflammatoire chronique pose des difficultés aux médecins de soins primaires par le manque de test diagnostic validé à intégrer dans leur pratique clinique.Objectif : L’objectif principal de ce travail est d’évaluer l’apport des tests de provocation des sacro-iliaques à identifier une sacro-iliite documentée à l’IRM. L’objectif secondaire est de déterminer si la réalisation d’une échographie des sacro-iliaques améliore la performance diagnostique de l’examen clinique.Méthodes : Cette étude monocentrique au Centre Hospitalier Universitaire de Nice a inclus de manière prospective des patients ayant une lombalgie chronique suspecte de spondyloarthrite. Ces patients ont bénéficié d’un examen clinique incluant les tests de provocation, une échographie et une IRM des sacro-iliaques.Résultats : 53 patients ont été inclus dans l’étude. La présence d’au moins 2 tests positifs sur 3 tests réalisés avait une sensibilité de 78%, spécificité 82%, VPP 71%, VPN 88% et un ratio de vraisemblance positif de 4,33. La présence d’au moins 3 tests positifs sur 5 tests réalisés avait une sensibilité de 68%, spécificité 85%, VPP 72%, VPN 82% et un ratio de vraisemblance positif de 4,53. L’échographie avait une mauvaise performance diagnostique (sensibilité 42%, spécificité 84%, VPP 47%, VPN 69%) et n’améliorait pas les résultats de l’examen clinique.Conclusion : Les tests de provocation des sacro-iliaques sont performants pour suspecter une sacro-iliite active chez un patient lombalgique chronique. Ces tests sont à intégrer dans une démarche diagnostique globale en les corrélant avec l’anamnèse du patient, ses antécédents personnels et familiaux et les données de la biologie (recherche du HLA-B27). L’échographie des sacro-iliaques n’améliore pas la performance de l’examen clinique mais son intérêt dans le suivi de la maladie peut être évalué par des études complémentaires.

The transcription factors FLI-1 and SPI-1/PU.1 belong to the ETS family and recognize the same DNA motif GGAA. Their activation is recurrently observed in murine erythroleukemia induced by Friend virus. These observations suggest a crucial role of these two factors in erythroid lineage transformation potentielly by deregulating common target genes. My thesis work consisted of testing both factors contribution to the phenotype of erythroleukemia cells and of searching for common direct target genes.We showed that FLI-1 and SPI-1/PU.1 have additive contributions to the phenotype of erythroleukemia cells overexpressing both factors. By a transcriptomic approach, we identified a high proportion of common direct target genes of FLI-1 and SPI-1/PU.1 involved in ribosome biogenesis at different levels. The déplétion of these factors induced a decrease of ribosome number which doesn’t induce a ribosomal stress leading to the p53 stabilization. However, we highlighted a specific contribution of RPL11, an essential ribosomal stress médiator, in erythroleukemia cell differentiation induced by depletion of both factors. In parallel, we mapped at whole génome scale by ChIP-Seq the recruitment site of FLI-1 and SPI-1/PU.1 in 3 independent erythroleukemia cell lines. This strategy allowed us to show that the common recruitment régions are the conséquence of a very close association of clearly distinct and specific consensus binding sites for FLI-1 and SPI-1/PU.1 and that each of those factor sis recruited to its own consensus., Les facteurs de transcription FLI-1 et SPI-1/PU.1 appartiennent à la famille ETS et reconnaissent le même motif sur l’ADN GGAA. Leur activation est observée de manière récurrente dans les érythroleucémies murines induites par le virus de Friend. Ces observations suggèrent un rôle crucial de ces deux facteurs dans la transformation de la lignée érythrocytaire potentiellement par la dérégulation de gènes cibles communs. Mon travail de thèse a consisté à tester la contribution de ces deux facteurs au phénotype des cellules érythroleucémiques et à rechercher les gènes cibles directs communs.Nous avons pu montrer que FLI-1 et SPI-1/PU.1 ont des contributions additives au phénotype des cellules érythroleucémiques surexprimant les deux facteurs. Par une approche transcriptomique, nous avons identifié une grande proportion de gènes cibles directs communs à FLI-1 et à SPI-1/PU.1 impliqués dans différentes étapes de la biogenèse des ribosomes. Ladéplétion de ces facteurs induit une réduction de la biogenèse des ribosomes qui n’induit pas de stress ribosomique stabilisant p53. Néanmoins, nous avons mis en évidence une contribution spécifique de RPL11, un médiateur essentiel du stress ribosomique, à la différenciation des cellules érythroleucémiques induites par l’absence de ces facteurs.Nous avons mené en parallèle l’inventaire par ChIP-Seq des sites de recrutement de FLI-1 et de SPI-1/PU.1 sur le génome entier de 3 lignées érythroleucémiques indépendantes. Cette stratégie nous a permis de montrer que les régions de recrutement communes sont la conséquence de la proximité de consensus spécifiques et distincts et du recrutement de FLI-1 et de SPI-1/PU.1 sur leur propre consensus.