A Generative Middleware for Heterogeneous and Distributed Services

International audienceModern software-based services increasingly rely on a highly heterogeneous and dynamic interconnection of platforms and devices offering a wide diversity of capabilities ranging from cloud server with virtually unlimited resources down to micro-controllers with only a few KB of RAM. This paper motivates the fact that no single software framework or software engineering approach is suited to span across this range, and proposes an approach which leverages the latest advances in model-driven engineering, generative techniques and models@runtime in order to tame this tremendous heterogeneity. This paper presents a set of languages dedicated to the integration, deployment and continuous operation of existing libraries and components already available and implemented in various languages. The proposed approach is validated on an industrial case study in the eHealth domain, implemented by an industrial partner that provide an qualitative evaluation of the approach. This case study involves a large number of sensors, devices and gateways based on Rasperry Pi, Intel Edison and Arduino

Projet OPTIMICE: une optimisation de la qualité des traductions de métadonnées par la collaboration entre acteurs du monde scientifique et traduction automatique (Le)

Le projet OPTIMICE, pour optimisation de la traduction automatique des métadonnées et de son insertion dans la chaîne éditoriale, vise à concevoir une méthode, transférable à d’autres revues et domaines disciplinaires, en combinant la traduction automatique neuronale (DeepL) et la post-édition humaine pour améliorer la qualité des métadonnées des articles (résumés, mots-clés, etc.) du français vers l’anglais dans le processus éditorial des revues. Une équipe de traducteurs-traductologues a travaillé sur quatre revues éditées par les Presses universitaires de Rennes (PUR), en collaboration avec les comités éditoriaux et la MSHB (Maison des sciences de l’Homme en Bretagne). La traduction des métadonnées d’articles par leurs auteurs et par la traduction automatique a été évaluée comparativement. Une enquête sur les pratiques de traduction des chercheurs en SHS a été menée, et des recommandations de rédaction et de traduction des métadonnées ont été formulées pour l’insertion concertée de la méthodologie au sein du processus éditorial

Unifying Runtime Adaptation and Design Evolution

International audienceThe increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems to monitor their execution platform and automatically adapt their configuration and/or architecture to adjust their quality of service (optimization, fault-handling). The later one requires new design decisions to be reflected on the fly on the running system to ensure the needed high availability (new requirements, corrective and preventive maintenance). However, design evolution and selfadaptation are not independent and reflecting a design evolution on a running self-adaptative system is not always safe. We propose to unify run-time adaptation and run-time evolution by monitoring both the run-time platform and the design models. Thus, it becomes possible to correlate those heterogeneous events and to use pattern matching on events to elaborate a pertinent decision for run-time adaptation. A flood prediction system deployed along the Ribble river (Yorkshire, England) is used to illustrate how to unify design evolution and run-time adaptation and to safely perform runtime evolution on adaptive systems

Méthode de modélisation et de raffinement pour les systèmes hétérogènes. Illustration avec le langage System C-AMS

Les systèmes sur puces intègrent aujourd hui sur le même substrat des parties analogiques et des unités de traitement numérique. Tandis que la complexité de ces systèmes s accroissait, leur temps de mise sur le marché se réduisait. Une conception descendante globale et coordonnée du système est devenue indispensable de façon à tenir compte des interactions entre les parties analogiques et les partis numériques dès le début du développement. Dans le but de répondre à ce besoin, cette thèse expose un processus de raffinement progressif et méthodique des parties analogiques, comparable à ce qui existe pour le raffinement des parties numériques. L'attention a été plus particulièrement portée sur la définition des niveaux analogiques les plus abstraits et à la mise en correspondance des niveaux d abstraction entre parties analogiques et numériques. La cohérence du raffinement analogique exige de détecter le niveau d abstraction à partir duquel l utilisation d un modèle trop idéalisé conduit à des comportements irréalistes et par conséquent d identifier l étape du raffinement à partir de laquelle les limitations et les non linéarités aux conséquences les plus fortes sur le comportement doivent être introduites. Cette étape peut être d un niveau d'abstraction élevé. Le choix du style de modélisation le mieux adapté à chaque niveau d'abstraction est crucial pour atteindre le meilleur compromis entre vitesse de simulation et précision. Les styles de modélisations possibles à chaque niveau ont été examinés de façon à évaluer leur impact sur la simulation. Les différents modèles de calcul de SystemC-AMS ont été catégorisés dans cet objectif. Les temps de simulation obtenus avec SystemC-AMS ont été comparés avec Matlab Simulink. L'interface entre les modèles issus de l'exploration d'architecture, encore assez abstraits, et les modèles plus fin requis pour l'implémentation, est une question qui reste entière. Une bibliothèque de composants électroniques complexes décrits en SystemC-AMS avec le modèle de calcul le plus précis (modélisation ELN) pourrait être une voie pour réussir une telle interface. Afin d illustrer ce que pourrait être un élément d une telle bibliothèque et ainsi démontrer la faisabilité du concept, un modèle d'amplificateur opérationnel a été élaboré de façon à être suffisamment détaillé pour prendre en compte la saturation de la tension de sortie et la vitesse de balayage finie, tout en gardant un niveau d'abstraction suffisamment élevé pour rester indépendant de toute hypothèse sur la structure interne de l'amplificateur ou la technologie à employer.Systems on Chip (SoC) embed in the same chip analogue parts and digital processing units. While their complexity is ever increasing, their time to market is becoming shorter. A global and coordinated top-down design approach of the whole system is becoming crucial in order to take into account the interactions between the analogue and digital parts since the beginning of the development. This thesis presents a systematic and gradual refinement process for the analogue parts comparable to what exists for the digital parts. A special attention has been paid to the definition of the highest abstracted analogue levels and to the correspondence between the analogue and the digital abstraction levels. The analogue refinement consistency requires to detect the abstraction level where a too idealised model leads to unrealistic behaviours. Then the refinement step consist in introducing for instance the limitations and non-linearities that have a strong impact on the behaviour. Such a step can be done at a relatively high level of abstraction. Correctly choosing a modelling style, that suits well an abstraction level, is crucial to obtain the best trade-off between the simulation speed and the accuracy. The modelling styles at each abstraction level have been examined to understand their impact on the simulation. The SystemC-AMS models of computation have been classified for this purpose. The SystemC-AMS simulation times have been compared to that obtained with Matlab Simulink. The interface between models arisen from the architectural exploration still rather abstracted and the more detailed models that are required for the implementation, is still an open question. A library of complex electronic components described with the most accurate model of computation of SystemC-AMS (ELN modelling) could be a way to achieve such an interface. In order to show what should be an element of such a library, and thus prove the concept, a model of an operational amplifier has been elaborated. It is enough detailed to take into account the output voltage saturation and the finite slew rate of the amplifier. Nevertheless, it remains sufficiently abstracted to stay independent from any architectural or technological assumption.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Specificity of Anti-Tau Antibodies when Analyzing Mice Models of Alzheimer's Disease: Problems and Solutions

Aggregates of hyperphosphorylated tau protein are found in a group of diseases called tauopathies, which includes Alzheimer's disease. The causes and consequences of tau hyperphosphorylation are routinely investigated in laboratory animals. Mice are the models of choice as they are easily amenable to transgenic technology; consequently, their tau phosphorylation levels are frequently monitored by Western blotting using a panel of monoclonal/polyclonal anti-tau antibodies. Given that mouse secondary antibodies can recognize endogenous mouse immunoglobulins (Igs) and the possible lack of specificity with some polyclonal antibodies, non-specific signals are commonly observed. Here, we characterized the profiles of commonly used anti-tau antibodies in four different mouse models: non-transgenic mice, tau knock-out (TKO) mice, 3xTg-AD mice, and hypothermic mice, the latter a positive control for tau hyperphosphorylation. We identified 3 tau monoclonal antibody categories: type 1, characterized by high non-specificity (AT8, AT180, MC1, MC6, TG-3), type 2, demonstrating low non-specificity (AT270, CP13, CP27, Tau12, TG5), and type 3, with no non-specific signal (DA9, PHF-1, Tau1, Tau46). For polyclonal anti-tau antibodies, some displayed non-specificity (pS262, pS409) while others did not (pS199, pT205, pS396, pS404, pS422, A0024). With monoclonal antibodies, most of the interfering signal was due to endogenous Igs and could be eliminated by different techniques: i) using secondary antibodies designed to bind only non-denatured Igs, ii) preparation of a heat-stable fraction, iii) clearing Igs from the homogenates, and iv) using secondary antibodies that only bind the light chain of Igs. All of these techniques removed the non-specific signal; however, the first and the last methods were easier and more reliable. Overall, our study demonstrates a high risk of artefactual signal when performing Western blotting with routinely used anti-tau antibodies, and proposes several solutions to avoid non-specific results. We strongly recommend the use of negative (i.e., TKO) and positive (i.e., hypothermic) controls in all experiments

Du contexte didactique aux pratiques professionnelles : proposition d’une grille multicritères pour l’évaluation de la qualité en traduction spécialisée

Notre article part du constat des lacunes existantes dans l’évaluation professionnelle des traductions spécialisées comme dans l’évaluation universitaire. De multiples modèles existent : purement quantitatifs pour l’évaluation de la traduction automatique (basée sur le nombre et l’ordre des mots du texte cible) ; basés sur des totaux d’erreurs en localisation (erreurs/gravité) et dans la formation (nombre de points-fautes) ; parfois ouvertement subjectifs et empiriques (utilisable/inutilisable) dans les recherches sur la fonctionnalité des traductions. Même si ces modèles posent souvent leurs propres seuils d’acceptabilité, aucun ne permet d’évaluer une traduction en fonction de critères adaptables à différents genres, types de documents, spécialités ou situations de traduction. Notre grille quantitative et qualitative s’appuie sur l’identification des « erreurs » de traduction telle qu’elle est pratiquée en traduction spécialisée professionnelle, en y ajoutant l’effet de l’erreur sur le document traduit. Elle est dynamique en ce qu’elle permet de corréler ou non le type d’erreur, l’effet que l’erreur produit sur la qualité du document livré et le degré d’impact de cet effet sur l’utilisateur final de la traduction. Elle dépasse ainsi la simple étude des outils et méthodes de traduction pour se concentrer sur le produit traduit et mieux révéler les failles et les points forts de chaque traducteur en fonction de la méthode utilisée. Utilisée et éprouvée dans le cadre de l’évaluation scientifique de traductions effectuées par des étudiants de dernière année de master appliquant différentes méthodes (traduction sans outil, avec outil de TAO, de reconnaissance vocale, en post-édition de traduction automatique), la grille peut être partiellement automatisée et s’adapter à divers contextes professionnels ou universitaires par un système de pondération des critères d’acceptabilité.This article posits that current translation quality assessment methods applied to specialized translation, be it in a professional context or in an academic environment, remain unsatisfactory. There are currently a number of such methods, ranging from purely quantitative approaches applied to machine translation (on the basis of target text word number and order), to error and criticality criteria applied by the localization industry and in the classroom (points-based systems) and to purely subjective (satisfactory/unsatisfactory) end-user assessments in target text usability research. While all these methods often adopt their own acceptability thresholds, none really offers a way to assess a translation using a flexible set of criteria adaptable to any kind of genre, source document type, domain or situation. Our assessment grid is designed to measure both quantitative and qualitative aspects of translation quality through commonly accepted professional error-based quality criteria, while also taking into account the effect of the error on target text functionality. The grid is designed to be dynamic by allowing error type, effect on translation quality and criticality to be assessed independently or in correlation. It aims to go beyond a simple study of tools and methods by concentrating on how the end product reveals each translator’s weak or strong points according to the method used. The grid has been tried and tested in assessing the quality of technical translations carried out in strictly controlled conditions by final year Master’s degree students using different translation tools and methods (i.e. simple word processing, a translation memory system, a speech recognition tool and MT post-editing). Data entry can be partly automated and each parameter can be weighted to take into account different translation situations and acceptability thresholds

Security-Driven Model-Based Dynamic Adaptation

International audienceSecurity is a key-challenge for software engineering, especially when considering access control and software evolutions. No satisfying solution exists for maintaining the alignment of access control policies with the business logic. Current implementations of access control rely on the separation between the policy and the application code. In practice, this separation is not so strict and some rules are hard-coded within the application, making the evolution of the policy difficult. We propose a new methodology for implementing security-driven applications. From a policy defined by a security expert, we generate an architectural model, reflecting the access control policy. We leverage the advances in the models@runtime domain to keep this model synchronized with the running system. When the policy is updated, the architectural model is updated, which in turn reconfigures the running system. As a proof of concept, we apply the approach to the development of a library management system

Artificios pasados. Nociones del Derecho medieval

En la larga historia de Occidente, el derecho fue y sigue siendo el medio por excelencia para la construcción institucional. A partir de montajes hechos de palabras, proferidas por quien tiene el poder para hacerlo, el derecho tiene la singularidad de promover existencia a lo que ellas enuncian. Esta capacidad de artificio que contiene el discurso jurídico se remonta a la tradición latina, romana y medieval, que designaba al derecho como un arte, un saber sistemático y técnico que movilizaba su interpretación al servicio de la práctica. A partir de relevar la construcción técnica e histórica de ciertos artificios y operaciones jurídicas que tuvieron un lugar clave en el derecho europeo medieval y moderno y, que, en la actualidad, o bien ya no existen bajo forma jurídica o han cambiado radicalmente su sentido, proponemos una reflexión sobre la capacidad de intervención y producción de efectos del discurso jurídico. Focalizar en estos artificios del pasado nos ofrece una saludable distancia que hace más visibles las operaciones técnicas presentes en los textos a la vez que entrena la mirada para abordar las intervenciones del presente por fuera de todo efecto de naturalización.Entre el museo y el taller: recorriendo itinerarios jurídicos del pasado / Eleonora Dell’Elicine, Paola Miceli, Alejandro Morin (pp.11-17). -- Tyrannus. Usurpador y rey injusto en época visigoda / Céline Martin (pp. 19-36). -- Nota sobre la dignidad del hombre en el derecho romano medieval / Marta Madero (pp. 37-56). -- Las categorías doctrinales del proceso y la efectividad de la justicia penal en el tardomedioevo / Massimo Meccarelli (pp. 57-82). -- Atrocitas/Enormitas. Esbozo para una historia de la categoría de “enormidad” o “crimen enorme” de la Edad Media a la época moderna / Julien Théry (pp. 83-150). -- El eterno “renacer” de la costumbre / Paola Miceli (pp. 151-179). -- El nacimiento de la noción canónica de consanguinitas y su recepción en el derecho civil / Franck Roumy (pp. 181-208). -- Sicut cancer, amplius serperet in occulto. La herejía oculta en el derecho bajomedieval y tempranomoderno / Alejandro Morin (pp. 209-244). -- Propter vitandum scandalum. Historia de una categoría jurídica (siglos XII-XV) / Arnaud Fossier (pp. 245-307)